Roadmap: consolidated proof-debt ledger (full-repo audit 2026-05-18)#49

Merged

hyperpolymath merged 7 commits into

mainfrom

roadmap/proof-debt-ledger-2026-05-18

May 18, 2026

Commits on May 18, 2026

docs+comments: reframe to mechanised truth (retraction R-2026-05-18)

hyperpolymath
and
claude
committed
echo-types: add Nix flake devShell for `use flake`

hyperpolymath
and
claude
committed
earn-back-plan: consolidated proof-debt ledger (full-repo audit 2026-05-18)

hyperpolymath
and
claude
committed
[WIP draft] F1 spike checkpoint — genuine graded comonad (feasibility positive, coassoc open) (#48)

hyperpolymath
and
claude
authored
Merge reframe/retraction-2026-05-18 into proof-debt-ledger: union changelog

hyperpolymath
and
claude
committed
docs(earn-back-plan): F1 header — F1 gates only graded-comonad/F3; F2/F4 independent

hyperpolymath
and
claude
committed
Merge remote-tracking branch 'origin/main' into pr49-resolve
hyperpolymath
committed