cardano-testnet: Dijkstra hard fork and nested transaction swap tests

[Jimbo4350]

Description

Two cardano-testnet integration tests for Dijkstra, plus the config change they need.

Hard fork to Dijkstra starts the default three-node cluster in Conway at protocol version 10 and hard forks it through governance, the way mainnet will: a HardForkInitiation action to PV 11.0 (voted for by the three default DReps and the default SPO, ratified, enacted), then a chained HardForkInitiation action to PV 12.0. It then asserts that the node reports the Dijkstra era over node-to-client, that the ledger state served by the node is a Dijkstra NewEpochState, and that the node keeps producing blocks.

Nested transaction swap additionally mints 100 TokenA to Alice in Conway and funds Bob, then, once in Dijkstra, settles a multi-asset swap with a Dijkstra nested transaction built with cardano-cli dijkstra transaction sub-transaction (IntersectMBO/cardano-cli#1453, via CARDANO_CLI): Alice's sub-transaction gives 100 TokenA for 53 ADA, Bob's gives 60 ADA for the 100 TokenA plus 7 ADA change, the batcher's top-level transaction embeds both and pays the fee. Each party signs only its own sub-transaction. Proof is read back from query utxo: Bob holds the tokens, Alice gained exactly 50 ADA, Bob lost exactly 50 ADA, the batcher paid the fee.

Testnet/Defaults.hs now sets ExperimentalHardForksEnabled: true for every era. Without it the node declares PV11 as its maximum and, once PV12 is enacted, rejects its own blocks with ObsoleteNode and the chain stalls. Golden config updated.

Status

Based on #6721 (js/koslambrou/prepare-11.2), which moves the node to ouroboros-consensus 5.0.0.0, cardano-ledger-core 1.22.0.0 and cardano-ledger-dijkstra 0.4.0.0 from CHaP. Those carry everything the tests need:

• consensus 5.0 can hard fork into Dijkstra (Allow hardfork into Dijkstra ouroboros-consensus#2167);
• cardano-api master converts Dijkstra ledger events (Add support for Dijkstra ledger events cardano-api#1362), so the EpochStateView fold follows the chain into Dijkstra and the tests use it throughout;
• ledger-dijkstra 0.4 makes allInputsTxBodyF look into sub-transactions (Switch allInputsTxBodyF to look into sub-transactions cardano-ledger#6129), which is what previously made the nested transaction fail with SubBadInputsUTxO.

On top of #6721's cabal.project this PR repoints two SRPs:

• cardano-api / cardano-rpc at IntersectMBO/cardano-api@c9943eb3, master after Update ouroboros-consensus, cardano-ledger dependencies for node 11.2 cardano-api#1328 (consensus 5.0) and Add Dijkstra fields to experimental TxBodyContent and draft SubTx type cardano-api#1361 (sub-transaction API), instead of the input-output-hk fork;
• cardano-cli at IntersectMBO/cardano-cli@c5062645, the head of Add transaction sub-transaction commands (Dijkstra) cardano-cli#1453 on top of the 11.2 bounds update, so the cardano-cli in the build plan has the dijkstra transaction sub-transaction commands. This pin is temporary until Replace address shell tests with hedgehog tests #1453 is released.

Both tests pass locally on this base with no environment overrides (about 136s each). The "Check git dependencies" CI job fails while the cardano-cli pin points at a PR branch. Rebase onto master once #6721 lands.

Earlier revisions of this PR carried the same two SRPs as #6716 (consensus 4.2.1.0 + #2167, cardano-api 11.7.0.0 + #1362); with those the hard fork test passed and the swap was rejected with SubBadInputsUTxO.

Run with:

DISABLE_RETRIES=1 cabal test cardano-testnet-test --test-options '-p "/Hard fork to Dijkstra/"'
DISABLE_RETRIES=1 cabal test cardano-testnet-test --test-options '-p "/Nested transaction swap/"'

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated.
• Any changes are noted in the CHANGELOG.md for affected package (changelog fragment in cardano-testnet/.changes/)
• The version bounds in .cabal files are updated
• CI passes.
• Self-reviewed the diff

🤖 Generated with Claude Code