Property: ChangePParams proposals have a non-empty update group
- Catalog id:
conway-gov-changepp-hasgroup
- Era: conway · STS: GOV
- Agda module:
Ledger.Conway.Specification.Gov.Properties.ChangePPGroup (anchor: clm:ChangePPGroup)
- Key definitions:
ChangePPHasGroup
- Status (derived from the Agda): stated
Tracked in docs/notes/properties.yaml; see ADR docs/notes/0001-ledger-property-tracking.md and the roadmap docs/notes/ledger-properties-roadmap.md.
Part of the properties roadmap (umbrella #45).
Property: ChangePParams proposals have a non-empty update group
conway-gov-changepp-hasgroupLedger.Conway.Specification.Gov.Properties.ChangePPGroup(anchor:clm:ChangePPGroup)ChangePPHasGroupTracked in
docs/notes/properties.yaml; see ADRdocs/notes/0001-ledger-property-tracking.mdand the roadmapdocs/notes/ledger-properties-roadmap.md.Part of the properties roadmap (umbrella #45).