Repository navigation

Audit estate routing and preserve the typed ECHIDNA receipt boundary - #191

Merged

hyperpolymath merged 2 commits into

mainfrom

arena/68c18146-echidnabot

Nov 3, 2026

Merged

Audit estate routing and preserve the typed ECHIDNA receipt boundary#191
hyperpolymath merged 2 commits into
mainfrom
arena/68c18146-echidnabot

Commits on Nov 1, 2026
- Audit estate routing and add explicit receipt adapter and proof obligations
  
  hyperpolymath
  and
  arena-agent
  committed
  8201dd8
- docs(receipts): Document VeriSim adapter methods and Lean and Rocq soundness proofs
  coderabbitai[bot]
  committed
  e84a1de