Module evidence 

A task’s evidence as rows: its verdict and what established it, read from the signed statements on its commit and the report — never re-derived, so what an interface shows is what a reviewer can verify with attest verify. Every interface renders these rows; none computes its own.

Structs

Row

One row: Acceptance red → green: 1 failing before, 2 passing after.

Functions

account_of

The model’s account of run, turn by turn, read from the project’s journal: its reasoning and its words — a claim, shown beside the evidence, never as it.

banner

The banner: the verdict’s mark and its words, which never blur.

rows

The rows for task, from its commit’s statements and, in a hosted run, the run’s own report.

statements

The statements of a commit’s note, decoded.