Invariants / CN-LEDGER-10

CN-LEDGER-10

CN derived declared

Conway governance and certificate transitions must occur only through explicit legal state transitions

Source: classification_table.md §B

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Attack rationale

Prevents malformed governance or delegation actions from mutating state incorrectly.

Evidence notes

Cardano-specific: Conway governance is a Cardano protocol feature. Evidence: Conway/Rules/Ratify.hs, Enact.hs define Conway-specific governance state machine.