Proof-state board
M1→M4→M7 soundness chain
show archived
archive run
#
experiment
verdict
summary
provenance
state
Verdict
pass
fail
inconclusive
no blessed verdict
State
fresh
⚠ stale
(stale-commit · archive-mismatch · unknown-provenance)
run report
Click a proven row to load its run Markdown (verdict + provenance + records summary) here.