Skip to content

feat(verification): canonical machine proof ledger; PROOF-STATUS table rendered from it - #1029

Merged
hyperpolymath merged 4 commits into
mainfrom
claude/eager-wright-zwwbe2-proof-ledger
Nov 9, 2026
Merged

feat(verification): canonical machine proof ledger; PROOF-STATUS table rendered from it#1029
hyperpolymath merged 4 commits into
mainfrom
claude/eager-wright-zwwbe2-proof-ledger

fix(proof-ledger): compute grades from legs; pin PROOF-POLICY; close …

b2b23e5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar