Repository navigation

feat(proofs): complete XP-1 Rocq & Lean 4 recheck witnesses (Grade 2i) and harden proof gates - #133

Merged

hyperpolymath merged 8 commits into

mainfrom

arena/b974ff80-nextgen-typing

Nov 3, 2026

Merged

feat(proofs): complete XP-1 Rocq & Lean 4 recheck witnesses (Grade 2i) and harden proof gates#133
hyperpolymath merged 8 commits into
mainfrom
arena/b974ff80-nextgen-typing

Commits on Nov 2, 2026
Commits on Nov 3, 2026
- Update scripts/check-proofs.sh
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  3919516
- docs(proofs): document EchoTyping definitions and clarify proof scanner behavior
  coderabbitai[bot]
  committed
  b30e40d