dijkstra: hard-fork readiness tracking (PV12)

[wolf31o2]

Master tracker for Dijkstra (Protocol Version 12) hard-fork readiness across the Blink Go stack: [dingo], [gouroboros], [plutigo], and [ouroboros-mock].

Dijkstra is a thin, low-risk hard fork: a small set of complete features, governance friction fixes, and structural block-body groundwork so future upgrades (Peras, Leios) can be activated via intra-era hard forks without another protocol-version bump. Scope reference: IntersectMBO product-website docs/hardfork-planning/dijkstra.md.

Working assumption: all dependencies land. Features are built behind flags that can be toggled on or off, so groundwork can ship now and each feature is switched on (or off) intra-era as it's ready. Nothing below is treated as a hard blocker — only as a build-order dependency.

Legend: ✅ done · 🔨 gap (issue filed) · 🔀 depends on upstream — build behind a feature flag (on/off) · 🧪 test/integration · 🏛 governance (non-code)

Nested Transactions (CIP-118) — primary feature

• 🔨 gouroboros: validate sub-transactions — dijkstra: validate sub-transactions (CIP-118) gouroboros#1880
• 🔨 gouroboros: type nested-tx account fields — dijkstra: type nested-tx account fields (required_top_level_guards, account_balance_intervals) gouroboros#1881
• 🔨 dingo: nested-tx mempool & UTxO-application handling — dijkstra: nested-transaction (CIP-118) mempool and UTxO-application handling #2846
• 🧪 gouroboros: GenTx decode parity vs upstream fixtures — Dijkstra GenTx decoding to match ouroboros-mock upstream fixtures gouroboros#1707
• 🧪 ouroboros-mock: Dijkstra transaction fixture builders — Add Dijkstra transaction fixture builders ouroboros-mock#208

Observe / Guard Scripts (CIP-112)

• ✅ gouroboros: guard/observe validation implemented — remaining round-trip tests ledger: implement CIP-0112 Observe script purpose gouroboros#1700
• 🔨 plutigo: Observing script purpose — script context: add Observing purpose for CIP-0112 plutigo#285

PlutusV4 Script Context

• 🔨 gouroboros: PlutusV4 script context (TxInfoV4/ScriptContextV4) — dijkstra: add PlutusV4 script context (TxInfoV4/ScriptContextV4) gouroboros#1882
• 🔨 plutigo: V4 cost model — dijkstra: full Plutus V4 cost model implementation plutigo#274 · V4 builtins — dijkstra: implement new Plutus V4 builtins plutigo#275 · V4 conformance — dijkstra: V4 conformance test suite plutigo#276
• 🔨 plutigo: off-chain V4 builder variant (ownership decision) — script context: add PlutusV4 builder variant for Dijkstra structures plutigo#344
• 🔨 dingo: integrate V4 cost model & builtins — dijkstra: integrate Plutus V4 cost model and new builtins #1936

Account Address Enhancement, Phase 1 (CIP-159)

• 🔨 gouroboros: first-class account-address type + validation — dijkstra: first-class CIP-159 account address type + validation gouroboros#1884
• 🔀 dingo: account-address ledger-state handling (confirm Phase-1 needs node state) — dijkstra: CIP-159 account-address ledger-state handling #2849
• 🔀 ouroboros-mock: account-address builder — address: add CIP-159 account-address builder support ouroboros-mock#229

Remove isValid (CIP-167)

• ✅ Implemented at block + mempool level in gouroboros. Research issue ledger: research CIP-0167 isValid removal (future hard fork) gouroboros#1701 superseded (closed).

Non-segregated Block Body (CIP-176)

• ✅ gouroboros codec + blake2b256(block_body); dingo forge path
• 🔨 ouroboros-mock: Dijkstra block builder (non-seg body, Leios/Peras cert slots, producer id) — blocks: add Dijkstra block builder (non-segregated body, Leios/Peras cert slots, producer id) ouroboros-mock#227
• 🧪 reception-path reconciliation tracked by dijkstra: integrate IOG conformance test vectors #1944 / dijkstra: end-to-end integration testing on Dijkstra testnet #1945

Fee Function Update — Reference Inputs

• 🔨 gouroboros: apply reference-input fee function — dijkstra: apply reference-input fee function (refScriptCostStride/Multiplier) gouroboros#1883
• 🔨 dingo: carry tiered reference-script fee into ValidateTxDijkstra — folded into dijkstra: ledger rule updates (tx body, validation predicates, fee calc) #1942
• 🔀 ouroboros-mock: map ref-script/fee pparams — fixtures: map Dijkstra ref-script/fee protocol parameters once gouroboros models them ouroboros-mock#230

Reference Script Pricing & Limits

• ✅ gouroboros: per-tx rule + per-block size limit implemented (dijkstra: enforce reference-script size limits gouroboros#1797 closed)
• 🔨 dingo: enforce MaxRefScriptSizePerBlock at block validation + consume genesis stride/multiplier — folded into dijkstra: parse, apply, and enforce new protocol parameters #1937
• 🏛 Constitution update to make parameters governance-updatable (non-code)

Remove DRep Requirement for Reward Withdrawals (CIP-181)

• ✅ Already satisfied — gouroboros never enforces a DRep-delegation requirement on withdrawals. No code change required.

Block-body building blocks (structural groundwork + full activation behind a flag)

Peras (CIP-140)

• ✅/🔨 gouroboros: vote/cert type stubs — peras: draft CBOR type stubs for vote and certificate types (CIP-0140) gouroboros#1717 · vote-diffusion mini-protocol number — peras: reserve vote-diffusion mini-protocol number (CIP-0140) gouroboros#1716
• 🔨 dingo: scaffold consensus/peras/ — peras: scaffold consensus/peras/ package skeleton #2100 · conformance vector loader stub — peras: conformance test vector loader stub #2101
• 🔀 dingo: full Peras consensus integration with Praos (flag on/off) — peras: full consensus integration with Praos (CIP-140) #2848

Leios (CIP-164)

• 🔨 gouroboros: BLS voting key registration/rotation — leios: track BLS voting key registration and rotation types gouroboros#1784 · stake-committee param keys — leios: track on-chain update keys for stake committee parameters gouroboros#1789 · leiosnotify not-found — leiosfetch: add MsgNoBlock/MsgNoBlockTxs for graceful not-found responses gouroboros#1849
• 🔨 dingo: full consensus integration — leios: full consensus integration with Praos #1946 · endorser-block forging/serving — leios: verify endorser block forging and serving end to end as a block producer #2630, leios: complete a partially-fetched endorser block's tail on relay re-offer #2629 · BLS key wiring — leios: wire BLS voting key registration and rotation into node state #2425 · plus in-flight fixes (leios: NtC chainsync serves a raw CertRB with empty transactions when the certified endorser block closure is not yet available #2817, leios: from-genesis catch-up stalls for minutes when a relay is slow to serve a referenced endorser block; add per-request fetch deadline and failover #2819, leios: block producer forges empty blocks on v0.64.0 — committee never forms ("leios committee stake coverage is not configured"), 0 endorser blocks certified #2836, leios: block producer stuck in a chainsync rollback loop with its relay — pinned ~60 blocks behind tip, thrashes the connection every ~15ms (v0.62.0, Musashi prototype-2026w27) #2790, peergov: exempt leios-fetch not-available errors from short-lived connection backoff #2707)
• 🔨 ouroboros-mock: Leios mini-protocol conversation builders — protocol: add Leios mini-protocol conversation builders and scenarios ouroboros-mock#228

Producer identification (CIP-180)

• 🔀 gouroboros: reserve optional 32-byte header field — dijkstra: reserve CIP-180 producer-identification header field gouroboros#1885
• 🔀 dingo: forge/validate/serve the field — dijkstra: producer-identification (CIP-180) field handling in forge/validate/serve #2847

Deferred to intra-era hard fork

• 🔀 gouroboros: define CIP-23 Fair Min Fees protocol parameter (activation deferred) — dijkstra: define CIP-23 Fair Min Fees protocol parameter (activation deferred) gouroboros#1886

Protocol Version 12 plumbing & era transition

• ✅ handshake (NtN 15 / NtC 20), era dispatch, HFC scaffolding
• 🔨 gouroboros: add shared common.ProtocolVersionDijkstra = 12 constant — ledger: add common.ProtocolVersionDijkstra = 12 constant gouroboros#1887
• 🔨 dingo: parse/apply/enforce new protocol parameters — dijkstra: parse, apply, and enforce new protocol parameters #1937 · ledger rule updates — dijkstra: ledger rule updates (tx body, validation predicates, fee calc) #1942 · hard-fork combinator (Conway→Dijkstra) — dijkstra: hard fork combinator (Conway → Dijkstra era transition) #1943

Testing & integration

• 🧪 dingo: integrate IOG conformance test vectors — dijkstra: integrate IOG conformance test vectors #1944 · end-to-end on Dijkstra testnet — dijkstra: end-to-end integration testing on Dijkstra testnet #1945 · combined Dijkstra+Leios hard-fork testing — dijkstra+leios: combined hard fork testing #1947

---

Filed from a scope-vs-code gap analysis (2026-07-15). "Considered but not included" CIPs (CIP-50, CPS-0023, CIP-156, CIP-160, CIP-163, CIP-173, CIP-175) and wishlist items are intentionally excluded.