Skip to content

fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips - #126

Open
hyperpolymath wants to merge 4 commits into
mainfrom
claude/new-session-th4e9w-proof-honesty
Open

fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips#126
hyperpolymath wants to merge 4 commits into
mainfrom
claude/new-session-th4e9w-proof-honesty

Commits

  1. Commits on Nov 9, 2026