From agent prompts to verifiable engineering

ATOMICMore than another chat.

Atomic can turn agent work from a conversation into an inspectable, resumable system—and, in verifiable workflows, require evidence before calling it done.

The model still proposes and reasons. The runtime owns the process around it: context, coordination, checkpoints, verification, and human control.

System equation
1
RuntimeSessions · tools · models · state
+
Workflow engineLoops · graphs · checkpoints
+
VerificationTests · artifacts · gates
=
AtomicA verifiable coding-agent runtime
EDITORIAL SYNTHESIS // Done is a system state, not a model sentence.
SUBSCRIBE MLearning.substack
01

Escape the prompt treadmill.

The problem is not simply model intelligence. Long engineering tasks can fail when the surrounding execution system cannot preserve intent, coordinate work, recover state, or prove completion.

Typical coding-agent loop

Conversation carries the process.

Prompt→Wait→“Done”→Find gaps
  • One long context accumulates instructions and noise.
  • The procedure is interpreted probabilistically from prose.
  • The same model often produces and judges the work.
  • A crash, limit, or wrong turn sends recovery back to the human.
Atomic runtime

The system carries the process.

Mission→Workflow→Evidence→Decision
  • Stages receive purpose-built context and explicit handoffs.
  • The process is encoded as executable control flow.
  • Checks and independent reviewers create inspectable evidence.
  • Checkpointed runs can pause, repair, resume, or stop on budget.
01

Prompt

Ask a model for one result.

02

Skill

Give the model reusable instructions and domain practices.

03

Workflow

Turn “first this, then that” into executable stages and gates.

04

Graph

Coordinate dependencies, contexts, evidence, and control. The runtime executes the graph and preserves state.

The engineering question changes from “What should I ask next?” to “What process proves the result?”

SUBSCRIBE MLearning.substack
02

The runtime is the control plane.

Atomic is described as the environment in which agent work executes. It owns the moving parts that a single model conversation cannot reliably manage by itself.

Memory

Sessions + context

Fresh, forked, cloned, or resumed contexts with explicit handoffs.

Atomic runtime

Turns intent into a live, inspectable execution system.

Capability

Tools + extensions

Shells, tests, browsers, custom tools, hooks, and human-input UI.

Compute

Models + routing

Different models can implement, review, or synthesize; fallbacks can handle provider errors and rate limits.

Continuity

State + checkpoints

Completed work survives interruption at both graph and session level.

Coordination

Workflow graph

Stages, dependencies, parallel branches, joins, loops, and stop conditions.

Trust

Evidence + gates

Tests, artifacts, structured outputs, reviewers, and approval points.

AgentGenerates variable work
RuntimeKeeps control explicit
EngineerDefines and judges the system
SUBSCRIBE MLearning.substack
03

One mission, end to end.

In a verifiable workflow, a long run begins with a precise mission, materializes as a graph, and finishes only when its decision policy accepts the evidence—or reaches a human or budget boundary.

Mission control // live run
Status: active
Evidence: attached
Human: available
GoalWhat outcome must exist?
ConstraintsWhat may not change?
CriteriaHow is “done” measured?
EvidenceWhat proof must be produced?
BudgetWhen must the loop stop?
01

Specify

Clarify intent and acceptance criteria.

02

Research

Find the relevant code and constraints.

Implement Parallel
Worker A · isolated context
Worker B · isolated worktree
Worker C · specialized task
Verify Fresh
Tests + types + build
Independent code review
Behavioral artifacts
05

Decide

Accept, repair, defer, or stop.

PASSAttach evidence and accept the result.
REPAIRReturn findings to the relevant branch.
HUMANAsk for judgment, clarification, or approval.
STOPFail safely or stop when the budget is reached.
↖ BOUNDED FEEDBACK LOOP // failed evidence returns to implementation; passed branches remain complete
Define the mission. Execute the graph. Prove the result.Editorial synthesis of both transcripts
SUBSCRIBE MLearning.substack
04

Reliability is a control loop.

Atomic maps agent work to control theory: compare what happened with what was wanted, then correct the next move under explicit limits.

Set point

Acceptance criteria

The desired, measurable state: tests pass, behavior works, constraints hold.

Controller

Workflow policy

Defines stages, routing, retry rules, gates, caps, and stop conditions.

Actuator

Agent + tools

Reasons, edits, runs tools, and changes the working system.

Plant

Codebase

The system being changed, including its real dependencies and state.

Sensors

Checks + review

Tests, lint, types, builds, browser flows, and independent evaluation.

PASS
REPAIR
FAIL
BUDGET STOP
“The output varies, but the control stays explicit.”Atomic transcript // framing credits Dexory and the HumanLayer team
SUBSCRIBE MLearning.substack
05

A graph coordinates the work.

A transcript shows what was said. A graph shows what depends on what, what is running, where evidence lives, and which branch needs repair.

Transcript

A linear record

User: implement the change.
Agent: exploring files…
Agent: tests look good.
Agent: done. But what proves it?
Live DAG

An execution topology

Plan
→
Security audit branch evidence
Migration audit branch evidence
User-impact test branch evidence
Deployment plan branch evidence
→
Decision gate
01Dependency

What must finish before another stage can begin?

02Readiness

What is active, blocked, done, or waiting for a human?

03Evidence

What proof stays attached to the branch that produced it?

04Control

What can be paused, resumed, steered, repaired, or stopped?

“A transcript records the work. A graph coordinates the work.”Atomic transcript // graphs for coordinating agent work
SUBSCRIBE MLearning.substack
06

“Done” becomes inspectable.

Verification turns an execution graph into a feedback loop. The system separates proposing a result from measuring, reviewing, and deciding whether to accept it.

1

Propose

The model writes a change. Its own completion claim is treated as a proposal—not proof.

  • Patch or output
  • Declared result
  • Expected artifacts
2

Measure

Run real checks against the goal and the system that was changed.

  • Tests, types, lint, builds
  • Browser or CLI flows
  • Screenshots and recordings
3

Review

An independent verifier receives the relevant files and evidence, without inheriting the implementer’s full trace.

Fresh context
4

Decide

Accept, repair within a bounded loop, defer to a human, or stop safely.

  • Explicit outcome
  • Evidence attached
  • Budget enforced
Test resultsType checksBuild outputTool logsScreenshotsRecordingsStructured outputsReview reportsHuman approvalCheckpoints

Typed schemas validate shape. Executable checks probe behavior.

SUBSCRIBE MLearning.substack
07

Long runs need memory and recovery.

Multi-hour and multi-day work can fail if every stage sees everything, useful details are compressed away, or an interruption destroys completed progress.

Context engineering

Fresh when judging. Forked when continuing.

Choose what each stage is allowed to see. Independent reviewers need clean inputs; implementers often need their earlier decisions.

Fresh contextPrompt + relevant files + evidence. Best for independent review.
Forked contextEarlier decisions and trace. Best for continuing or repairing work.
Worker→ FILES + EVIDENCE →Reviewer
Verbatim compaction

Keep resolution. Remove noise.

Instead of summarizing the entire past, retain valuable message blocks verbatim and prune information that no longer helps the task.

Failing test + exact errorKEEP VERBATIM
Passing test + old chatterPRUNE

“Summaries lose resolution; verbatim compaction retains resolution.”

Durability

Checkpoint at two levels.

Atomic describes two coordinated recovery levels, so interrupted work can continue without throwing away completed branches or confusing a partially edited stage.

Graph checkpointCurrent node and dependency state
Session checkpointExact position inside the stage’s active work
ResumeContinue from the saved system state
Human participation

Observe. Steer. Control.

Autonomous execution does not remove the engineer. It changes intervention from constant reprompting to targeted judgment and control.

ObserveAskPauseApproveInterruptResumeSteerQuitRelease

Humans remain the judgment filter for what reaches production.

SUBSCRIBE MLearning.substack
08

Reusable shapes for agent work.

Atomic’s built-in patterns are not magic prompts. They are repeatable execution topologies that can be inspected, combined, bounded, and adapted to a codebase.

WORK→CHECK↺
Core pattern 01

Loop until done

Implement, check, fix, and repeat until CI is green—or the iteration or budget cap is reached.

TASK→ABC→JOIN
Core pattern 02

Fan out + synthesize

Split independent work across parallel stages, wait at a barrier, then combine their outputs.

PATCH→QUALITYTESTSPERF→DECIDE
Core pattern 03

Adversarial verification

Independent reviewers test different failure modes; a reducer decides whether to accept or repair.

SPEC→RESEARCH→BUILD→2× REVIEW
Core pattern 04

RALF

Prompt engineering, codebase research, orchestration, implementation, parallel reviewers, then pass or repeat.

Built-in or custom. Atomic can draft TypeScript workflows from natural language; workflows can compose subworkflows and use skills or extensions inside stages. Generated definitions are a starting point and still need engineering review and refinement.

Classify + ActRoute a task to the right specialized path.
Generate + FilterCreate alternatives, then keep the best candidates.
TournamentCompare attempts through a bracket of judges.
GoalRun a structured verification process against an objective.
SUBSCRIBE MLearning.substack
09

Scale assurance with consequence.

Not every edit needs a graph. The design question is how much evidence the risk justifies—and how much time, cost, concurrency, and iteration the run is allowed to consume.

Low consequence

Quick exploration

Use the base agent or a light workflow when the work is easy to inspect and cheap to redo.

  • Small scope
  • Short budget
  • Simple checks
Moderate consequence

Team change

Use explicit stages, repository-specific checks, independent review, and attached artifacts.

  • Isolated worktree
  • Bounded repair loop
  • Reviewer context
High consequence

Production / high risk

Spend more verification budget on parallel checks, adversarial review, human gates, and recovery.

  • Objective evidence
  • Critical-path review
  • Release authority stays human
More consequence → more evidence, stronger gates, longer verification budget
Atomic is not AGI.It is an engineering framework for stronger control, evidence, recovery, and repeatability.
Criteria can be wrong.

A precise system can still verify the wrong target if the mission is misaligned.

Reviewers can fail.

LM judges improve separation but remain fallible; objective tools are stronger where available.

Graphs add overhead.

Use them when coordination or assurance earns back the added structure.

Judgment remains human.

Generated workflows are a starting point; production responsibility does not transfer to the model.

SUBSCRIBE MLearning.substack

THE
WHOLE
IDEA.

01 // DEFINEMake the mission measurable.Goal, constraints, acceptance criteria, evidence, budget.
02 // EXECUTELet the graph carry the process.Stages, contexts, branches, handoffs, checkpoints, controls.
03 // PROVEAccept evidence, not confidence.Measure, review, repair, decide—and keep a human accountable.
SUBSCRIBE MLearning.substack