Repository navigation

proof: Stage 2 core — verifier soundness (2.2) + hex codec soundness (2.3) - #52

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/dazzling-noether-hkgAV

Jun 18, 2026

Commits on Jun 18, 2026
- proof(hex): Stage 2.3 — hex codec structural soundness (parsePairs inverts bytesToHexChars)
  claude
  committed
  34cdb24
- proof(verify): Stage 2.2 — verifier soundness (acceptance ⇒ refs match the filesystem)
  claude
  committed
  fa64527