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

Commits

  1. Commits on Nov 9, 2026