fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, graded PWG-3 from receipts - #127

fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, graded PWG-3 from receipts#127

hyperpolymath merged 5 commits into

mainhyperpolymath/proof-burrower:mainfrom

claude/zen-brahmagupta-opqqlehyperpolymath/proof-burrower:claude/zen-brahmagupta-opqqleCopy head branch name to clipboard