AdeAtlas
Invariants / CN-LEDGER-07

CN-LEDGER-07

CN true declared

UTxO and asset conservation must hold for every accepted transition, except where protocol rules explicitly authorize mint, burn, rewards, or treasury effects

Source

classification_table.md §B

Enforcement trace

Code

no enforcing code — gap

Tests 1

  • conway_conservation_full

CI 0

no CI script — gap

Cross-references

T-CONSERV-01DC-TXV-06DC-TXV-07DC-LEDGER-08DC-LEDGER-09

Strengthened in

PHASE4-B3

Attack rationale

Prevents inflation and accounting bugs.

Evidence notes

Fundamental accounting law. Evidence: validateValueNotConservedUTxO in cardano-ledger enforces consumed == produced.