Skip to content

docs(proofs): bring PROOF-STATUS up to PROOF-POLICY §1.2, §6 and §8 - #474

Open
hyperpolymath wants to merge 7 commits into
mainfrom
claude/stoic-brown-26h7xi
Open

docs(proofs): bring PROOF-STATUS up to PROOF-POLICY §1.2, §6 and §8#474
hyperpolymath wants to merge 7 commits into
mainfrom
claude/stoic-brown-26h7xi

Commits

  1. Commits on Nov 9, 2026