Cardano Updates

Restore producer-local FIFO ordering in bitmap mempool simulator

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Roland Kuhn <[email protected]>

Adds an optional host-m2 build stage to the api and yaci-indexer
Dockerfiles. During the mvn step we bind-mount the stage and copy
com/bloxbean/cardano artifacts into the cache, then build with -nsu
so Maven does not try to re-resolve snapshots from remote repos.

The host-m2 context is wired into the api, indexer, and
integration-test-indexer compose files via additional_contexts,
defaulting to $HOME/.m2/repository. Regular builds without the
context are unaffected because the default stage is empty scratch.

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>

Bump cardano-node-clients to a37cbd6 which provides:
- balanceFeeLoop (conservation-aware fee convergence)
- computeScriptIntegrity (parameterized by Language)
- spendingIndex
- placeholderExUnits

Remove local ConservationBalance.hs and inline definitions.

Bump cardano-node-clients to a37cbd6 which provides:
- balanceFeeLoop (conservation-aware fee convergence)
- computeScriptIntegrity (parameterized by Language)
- spendingIndex
- placeholderExUnits

Remove local ConservationBalance.hs and inline definitions.

balanceFeeLoop finds the fee fixed point for transactions where output
values depend on the fee (conservation equation). Unlike balanceTx, it
does not add inputs or change outputs — the caller provides a function
Coin -> outputs that recomputes outputs for each candidate fee.

Two-phase approach:
1. Evaluate scripts with a fee overestimate to get real ExUnits
2. Patch ExUnits, then run the fee loop with real redeemer sizes

Eliminates the hardcoded 600K fee overestimate. The fee converges
exactly in 2-3 rounds, with excess going to treasury.

Also extracts buildConservationTx to deduplicate ~200 lines between
buildModifyTx and buildRejectTx.

balanceFeeLoop finds the fee fixed point for transactions where output
values depend on the fee (conservation equation). Unlike balanceTx, it
does not add inputs or change outputs — the caller provides a function
Coin -> outputs that recomputes outputs for each candidate fee.

Two-phase approach:
1. Evaluate scripts with a fee overestimate to get real ExUnits
2. Patch ExUnits, then run the fee loop with real redeemer sizes

Eliminates the hardcoded 600K fee overestimate. The fee converges
exactly in 2-3 rounds, with excess going to treasury.

Also extracts buildConservationTx to deduplicate ~200 lines between
buildModifyTx and buildRejectTx.

Extend `Test.Cardano.Ledger.Babbage.TxInfoSpec` with a property test for
Babbage TxInfo translation across PlutusV1/V2/V3/V4:
* correctly translate tx with babbage-era features

Validation checks that the current protocol version is within the era's bounds

Signed-off-by: Eric Torreborre <[email protected]>