Skip to content

docs: proof review against PROOF-POLICY; proof ledger; plan correction - #787

Open
hyperpolymath wants to merge 4 commits into
mainfrom
claude/funny-faraday-rp3su1
Open

docs: proof review against PROOF-POLICY; proof ledger; plan correction#787
hyperpolymath wants to merge 4 commits into
mainfrom
claude/funny-faraday-rp3su1

Commits

  1. Commits on Nov 9, 2026