Skip to content

P1-0 (B): claims ledger — run every TESTED row, reconcile test/proof counts - #146

Merged
hyperpolymath merged 4 commits into
mainfrom
feat/claims-ledger
Oct 2, 2026
Merged

hyperpolymath merged 4 commits into
mainfrom
feat/claims-ledger

docs(readiness): say tests are declared, not passing

274883a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar