Repository navigation

audit(echidna): reconcile ledger topology; land receipt/warrant semantics at Grade 3 - #122

Merged

hyperpolymath merged 6 commits into

mainfrom

arena/4fb489bc-proof-burrower

Nov 3, 2026

Merged

audit(echidna): reconcile ledger topology; land receipt/warrant semantics at Grade 3#122
hyperpolymath merged 6 commits into
mainfrom
arena/4fb489bc-proof-burrower

Commits on Nov 1, 2026
- audit(echidna): reconcile integration and ledger topology with estate invariants
  
  Arena Agent
  and
  arena-agent
  committed
  d292b6b
- proof(agda): land the receipt/warrant semantics at Grade 3
  
  Arena Agent
  and
  arena-agent
  committed
  6c98c2e
- audit: correct the src/interface/abi claim; it exists as Abi
  
  Arena Agent
  and
  arena-agent
  committed
  ceabd82
- Update docs/ECHIDNA-INTEGRATION.adoc
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  ca4bca3
- audit: match the corrected single-write-point framing
  
  Arena Agent
  and
  arena-agent
  committed
  a0e6c2d
- audit: record what CI did verify, and the Isabelle mirror fragility (T-10)
  
  Arena Agent
  and
  arena-agent
  committed
  f9f20c9