update properties catalog and dashboard

Author: williamdemeo

build-tools/scripts/property-tracking/properties.yaml

@@ -455,6 +455,16 @@ properties:
     issues: []
     notes: "Port of conway-epoch-expired-dreps."
 
+  - id: dijkstra-gov-pov
+    title: "GOV preserve value"
+    era: dijkstra
+    sts: GOV
+    module: Ledger.Dijkstra.Specification.Gov.Properties.PoV
+    anchor: sec:gov-properties-pov
+    defs: [rmOrphanDRepVotes-coinFromGovDeposit, GOVS-coinFromGovDeposit]
+    issues: [1276]
+    notes: ""
+
   - id: dijkstra-certs-pov
     title: "CERT and CERTS preserve value"
     era: dijkstra

build-tools/static/mkdocs/docs/ledger-properties-dashboard.md

@@ -21,7 +21,7 @@ _Generated by `build-tools/scripts/property-tracking/scan_properties.py` from th
 | Era | proved | stated | planned | idea | total |
 | --- | ---: | ---: | ---: | ---: | ---: |
 | conway | 15 | 5 | 0 | 2 | 22 |
-| dijkstra | 4 | 0 | 0 | 14 | 18 |
+| dijkstra | 5 | 0 | 0 | 14 | 19 |
 
 ### Conway
 
@@ -55,6 +55,7 @@ _Generated by `build-tools/scripts/property-tracking/scan_properties.py` from th
 | Status | Property | STS | Agda module | Issue(s) |
 | --- | --- | --- | --- | --- |
 | ✅ proved | CERT and CERTS preserve value | CERTS | [`Ledger.Dijkstra.Specification.Certs.Properties.PoV`](Ledger.Dijkstra.Specification.Certs.Properties.PoV.md) | [#1185](https://github.com/intersectmbo/formal-ledger-specifications/issues/1185) |
+| ✅ proved | GOV preserve value | GOV | [`Ledger.Dijkstra.Specification.Gov.Properties.PoV`](Ledger.Dijkstra.Specification.Gov.Properties.PoV.md) | [#1276](https://github.com/intersectmbo/formal-ledger-specifications/issues/1276) |
 | ✅ proved | LEDGER preserves value | LEDGER | [`Ledger.Dijkstra.Specification.Ledger.Properties.PoV`](Ledger.Dijkstra.Specification.Ledger.Properties.PoV.md) | [#1187](https://github.com/intersectmbo/formal-ledger-specifications/issues/1187) |
 | ✅ proved | UTXO preserves value | UTXO | [`Ledger.Dijkstra.Specification.Utxo.Properties.PoV`](Ledger.Dijkstra.Specification.Utxo.Properties.PoV.md) | [#1186](https://github.com/intersectmbo/formal-ledger-specifications/issues/1186) |
 | ✅ proved | UTXOW preserves value | UTXOW | [`Ledger.Dijkstra.Specification.Utxow.Properties.PoV`](Ledger.Dijkstra.Specification.Utxow.Properties.PoV.md) | [#1186](https://github.com/intersectmbo/formal-ledger-specifications/issues/1186) |