formal-ledger-specifications
formal-ledger-specifications copied to clipboard
Property: `EnactState` only changes when governance actions are enacted
This should be a property of CHAIN
. There are multiple options to state this:
- If
EnactState
changes, we runEPOCH
- If
EnactState
changes, there is a governance action that's being removed from the state