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

Commits on Oct 2, 2026

fix(ci): make Rust Build + rust-ci able to go green, and unmask clippy/fmt

hyperpolymath
and
claude
committed
08b4a78
fix(ci): give every e2e.yml Rust job a toolchain; aspect docs accept .adoc

hyperpolymath
and
claude
committed
e6fee67
feat(dashboard-check): claims ledger, run every TESTED row, reconcile counts

hyperpolymath
and
claude
committed
6f31e89
docs(readiness): say tests are declared, not passing

hyperpolymath
and
claude
committed
274883a