IntersectMBO / IntersectMBO/formal-ledger-specifications
Property: `EnactState` only changes when governance actions are enacted
Open
era: conway
property
status:stated
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
This should be a property of `CHAIN`. There are multiple options to state this:
- If `EnactState` changes, we run `EPOCH`
- If `EnactState` changes, there is a governance action that's being removed from the state
Contributor guide
Assessment
This issue has not been assessed yet.