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

docs(proofs): clarify ledger helpers and Idris proof docstrings

ea6fd6a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar