soundness chain
Proof-state board
prior→dependence→posterior soundness chain
primary config only
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
Select a proven row to load its run report — verdict, provenance, and record tables.