Skip to content

proofs: write the receipt under the new PROOF-POLICY 8.5 and add APP-1 to APP-4 - #90

Merged
hyperpolymath merged 7 commits into
mainfrom
claude/mathesis-stage-3-reanchoring-s2qr20
Nov 14, 2026
Merged

proofs: write the receipt under the new PROOF-POLICY 8.5 and add APP-1 to APP-4#90
hyperpolymath merged 7 commits into
mainfrom
claude/mathesis-stage-3-reanchoring-s2qr20

fix(registry): check the canon reader digest before the checker runs it

3e763f4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar