Find the record
behind a claim.
Use the archive to inspect provenance, versions and executions. Start with Foundations or a research programme when you want the explanation.
Trace a claim to its source.
Source registry
Search preserved source text, downloads, hashes and scope.
Dependency explorer
Inspect the frozen finite proof graph and premise-change scenarios.
Corrections & dispositions
See how source assertions were qualified, corrected or superseded.
Coefficient ledger
Read the later 448-row ledger with its original bins and next gates.
Inspect calculations and research returns.
Capture register
Search the pinned repository snapshot, public reports and execution receipts.
Observation source edition
Read the finite-model session and its 26-source original compilation.
A captured report, merged pull request or deployment receipt records custody. Each scientific result retains its own verification and review scope.
Return something reviewable.
Choose an exact claim or package version. State what you checked, your independence, the input hashes and the scope of any pass, failure or open finding.