Skip to content

docs(proofs): reconcile PROOF-NEEDS and the proof-debt ledger with the tree - #163

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/bold-dijkstra-jbt52l
Oct 26, 2026
Merged

docs(proofs): reconcile PROOF-NEEDS and the proof-debt ledger with the tree#163
hyperpolymath merged 1 commit into
mainfrom
claude/bold-dijkstra-jbt52l

Commits

  1. Commits on Oct 26, 2026