Skip to content

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

audit: record what CI did verify, and the Isabelle mirror fragility (…

f9f20c9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar