Module verify 

Deterministic verification: the verify tool + the pure render/parse of its machine-greppable VERIFY_RESULT: sentinel.

Format (the LAST line of the whole output is always the overall verdict, so it survives in the goal judge’s transcript tail):

$ cargo test --workspace
exit_code=0
--- output (tail, 3000 of 8123 bytes) ---
<tail of combined stdout+stderr>
VERIFY_RESULT: PASS exit_code=0 command=cargo test --workspace

Structs

VerifyCommandTool

The verify tool: runs the harness-configured verification command(s) in the workspace and reports a structured, gate-able PASS/FAIL. Its two reasons to exist over raw bash: (1) the command is configured by the harness (the agent never guesses what “passing” means), and (2) the result is a machine-greppable VERIFY_SENTINEL the goal judge / a deterministic gate can key on. Commands run sequentially and fail-fast (stop at the first non-zero exit), so the final sentinel is the overall verdict.

VerifyOutcome

The parsed verdict of one verification command. passed == (exit_code == 0) (borrowed from claw-code’s TestCommandProvenance::passed, but wired).

Constants

VERIFY_SENTINEL

The machine-greppable sentinel prefix. A deterministic completion gate (or the goal judge) keys on the LAST occurrence of this in the transcript.

Functions

parse_latest_verify

Find the LAST canonical VERIFY_RESULT: sentinel in transcript and parse it. Returns None if none is present. This is the deterministic-gate seam.

render_verify_result

Render one verify command’s result block, ending with the sentinel line.