[Dijkstra] Properties of the ledger (tracking)

Umbrella tracking issue for **dijkstra**-era ledger properties.

Dijkstra currently has only `Computational` (executability) properties. The porting targets — restating and reproving the Conway properties against the Dijkstra modules (which differ: Account/Entities model, reorganised Gov) — are catalogued in `docs/notes/properties.yaml` (all currently derive as status **idea**). Porting sub-issues will be filed under this umbrella as each port begins.

See ADR `docs/notes/0001-ledger-property-tracking.md` and the [properties roadmap](https://github.com/IntersectMBO/formal-ledger-specifications/blob/master/docs/notes/ledger-properties-roadmap.md). This is the Dijkstra counterpart of the Conway umbrella #45.

Start with docs/notes/properties.yaml, docs/notes/0001-ledger-property-tracking.md, and the ledger properties roadmap. This is an umbrella issue rather than a standalone task; follow a Dijkstra porting sub-issue when one is filed. Done means the selected Conway property is restated and reproved against the Dijkstra modules.

Written by the indexing model from the issue text.