Skip to content

chore(spec): register the eleven unregistered dogfood proof tags, and propose their ledger bindings - #10934

Merged
os-elon merged 1 commit into
mainfrom
claude/issue-10773-proof-registry-tags
Aug 21, 2026
Merged

chore(spec): register the eleven unregistered dogfood proof tags, and propose their ledger bindings#10934
os-elon merged 1 commit into
mainfrom
claude/issue-10773-proof-registry-tags