Skip to content

feat(verification): derive proof-ledger statuses from CI receipts; fail on over- and underclaim - #1034

Open
hyperpolymath wants to merge 17 commits into
mainfrom
claude/eager-wright-zwwbe2-ledger-derive
Open

feat(verification): derive proof-ledger statuses from CI receipts; fail on over- and underclaim#1034
hyperpolymath wants to merge 17 commits into
mainfrom
claude/eager-wright-zwwbe2-ledger-derive

Commits

  1. Commits on Nov 9, 2026