Property: govDepsMatch is an EPOCH invariant
- Catalog id:
conway-epoch-govdepsmatch
- Era: conway · STS: EPOCH
- Agda module:
Ledger.Conway.Specification.Epoch.Properties.GovDepsMatch (anchor: lem:EpochGovDepsMatch)
- Status (derived from the Agda): proved
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: govDepsMatch is an EPOCH invariant
conway-epoch-govdepsmatchLedger.Conway.Specification.Epoch.Properties.GovDepsMatch(anchor:lem:EpochGovDepsMatch)Tracked 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).