Skip to content

[Dijkstra] LEDGER-pov: complete the proof — gov re-derivation; Certs/Utxo/Utxow facts as parameters#1223

Merged
williamdemeo merged 9 commits into
1187-dijkstra-NEW-ENTITIES-ledger-povfrom
claude/gifted-bardeen-iiix4j
Jun 25, 2026
Merged

[Dijkstra] LEDGER-pov: complete the proof — gov re-derivation; Certs/Utxo/Utxow facts as parameters#1223
williamdemeo merged 9 commits into
1187-dijkstra-NEW-ENTITIES-ledger-povfrom
claude/gifted-bardeen-iiix4j

Commits

Commits on Jun 23, 2026