Invariants / T-CONSERV-01
T-CONSERV-01
T true enforcedUTxO and asset conservation must hold for every accepted transition, except where protocol rules explicitly authorize mint, burn, rewards, or treasury effects
- Source
Project constitution §2, audit #13
- Cluster
- CL-LEDGER-VERDICT
- Authority surface
- conservation across all 7 eras plus epoch boundary reward/MIR flows
Enforcement trace
Tests 4
- all_eras_replay_summary
- byron_replay_all_1500
- shelley_replay_all_1500
- conway_conservation_full