🧰 Toolbox

πŸ“œ Reading a run page

Every run has a report page (the Chronicle lists them all). It replays the full transcript β€” prompts, responses, commands, diffs β€” live while the run happens and forever after. The row types:

State rows and their basis badges

A staterow records the machine moving from one stage to the next. Each one must answer β€œwhat earned this?” with a badge:

proof Β· command

Real recorded evidence earned the transition β€” the badge names its kind (an ai verdict, a command run, an agent diff, a check) and the detail points at the evidence.

runner policy

A step the pipeline advances by policy because there is no evidence to have (for example, your ask itself is the sensing evidence). Declared, not disguised.

unproven

An honest admission: the stage was promoted despite a failed gate so the walk could finish. The claim is explicitly not proven.

no recorded basis

The transcript predates evidence-bound transitions β€” old runs admit they carry no proof rather than borrowing any.

Check rows

check βœ“ / check βœ— rows are the turn contracts firing: every agent input and output is validated (empty input, malformed output, and model refusals all fail). A βœ— is a recorded failure β€” and a wipe. Only an explicit pass renders as one.

Command rows and test counts

Command rows show the actual command, its exit code, and β€” for test runs β€” how many tests executed. That count is load-bearing: a run with exit 0 but 0 tests ran is not green, and the report flags it. Output (stdout/stderr) is expandable under each row.

Everything expands

  • Model-call rows open to the verbatim prompt and response, with token counts.
  • Agent rows show the coding agent’s duration and its real diff.
  • The stage ladder across the top tracks progress left to right β€” click any reached stage to jump to its evidence.