Property: The last vote is applied at the CHAIN level
- Catalog id:
conway-chain-last-vote-applied
- Era: conway · STS: CHAIN
- Agda module: (none yet)
- Key definitions: —
- Status (derived from the Agda): idea
CHAIN-level lift envisioned by #417; GOV and LEDGER levels are proved.
Tracked in build-tools/properties.yaml; see the "Tracking Properties of the Ledger" section of CONTRIBUTING.md and the dashboard build-tools/static/mkdocs/docs/ledger-properties-dashboard.md.
Part of the ledger-properties tracking (umbrella #45).
Property: The last vote is applied at the CHAIN level
conway-chain-last-vote-appliedCHAIN-level lift envisioned by #417; GOV and LEDGER levels are proved.
Tracked in
build-tools/properties.yaml; see the "Tracking Properties of the Ledger" section of CONTRIBUTING.md and the dashboardbuild-tools/static/mkdocs/docs/ledger-properties-dashboard.md.Part of the ledger-properties tracking (umbrella #45).