Repository navigation

fix(proofs): reconcile the proof ledger with PROOF-POLICY; make the gates check what they claim - #181

Closed

hyperpolymath wants to merge 2 commits into

mainfrom

claude/admiring-meitner-8qkxac

Closed

fix(proofs): reconcile the proof ledger with PROOF-POLICY; make the gates check what they claim#181
hyperpolymath wants to merge 2 commits into
mainfrom
claude/admiring-meitner-8qkxac

Commits on Nov 9, 2026
- fix(proofs): reconcile the proof ledger with PROOF-POLICY; make the gates check what they claim
  claude
  committed
  a11e82d
- ci(provenance-model): fetch TLC over HTTPS only and check its digest in the fetch step
  claude
  committed
  66fb64d