Cardano Updates

cabal.project SRP + flake input cardano-node-clients tag
5707836b → 9db6672a (merge commit of upstream PR #113,
"fix: evaluate exunits after balancing").

Resolves #112: spawnShip submission no longer rejected with
"PlutusV3 script failed: overspending the budget". The asteria
AddNewShip validator's three list.filter outputs passes are now
evaluated against the post-balance TxInfo (which includes the
change output balanceTx adds), so the patched ExUnits cover the
real cpu cost.

Locally validated on testnets/asteria_game/ compose:
  - cold bootstrap: asteria_bootstrap_asteria_created (success)
  - player pass id=1: asteria_player_ship_spawned_1 (success, was
    asteria_player_ship_spawn_failed_1 before the bump)
  - ship_counter advances 0 → 1 in sdk.jsonl

Subsequent spawn attempts now fail with BalanceFailed
InsufficientFee — a separate wallet-UTxO selection concern on
follow-up txs, not the validator budget bug.

Tracks:
  - cardano-foundation/cardano-node-antithesis#112 (closed by this commit)
  - lambdasistemi/cardano-node-clients#112 / #113 (upstream root cause)

Gate the tx-generator section on `tx-generator` appearing in the
resolved compose services. Keeps full probe coverage when the daemon
is in the cluster (current behaviour, or when the disabled override is
layered in) and turns the probes into a no-op for testnets that have
parked the service.

Comment out the service block in docker-compose.yaml and park the
original definition in tx-generator.disabled.yaml as a compose
override fragment so it can be re-enabled with `-f`.

Do not merge: Remove `makeShelleyTransactionBody` and accompanying functions

This fixes the large number of "'pie' hardening flag" errors during
evaluation

This avoids redundant evaluations and store paths

Bump cardano-api to 11.0.0.0

Drop everything from cardano.rs except the wire surface workers
actually consume:

  TxOutput { address, coin, assets }
  Tx       { inputs, outputs, fee, hash }
  TxInput  { tx_hash, output_index, as_output }
  Multiasset, Asset (output_coin only)

Tags absent from these structs (datum, script, certificates,
withdrawals, mint, witnesses, validity, auxiliary, proposals, ...) are
deliberately dropped — workers needing them must extend the schema and
the converter explicitly. This shrinks balius-proto from ~5400 LOC of
generated cardano + 14k LOC of pbjson serde to 181 LOC total.

Block/BlockBody/BlockHeader move out of balius-proto since they never
cross WIT. The runtime's Block enum reverts to wrapping
utxorpc::spec::cardano::Block; per-Tx conversion happens at apply_block
/ undo_block via the fallible Block::txs() accessor.

PParams gone too: the SDK txbuilder now defines a minimal
PParams { coins_per_utxo_byte: u64 } locally, and the runtime's
read-params emits a matching minimal JSON shape.

asteria-tracker example trimmed to use only multiasset fields (datum-
derived position is dropped since the datum tag is gone).

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

cardano-api 11.0.0.0 (IntersectMBO/cardano-api#1181) makes
`makeUnsignedTx` error when Plutus scripts are present but protocol
parameters are missing, instead of silently omitting `script_data_hash`.
Two existing tests built Plutus txs without `--protocol-params-file` and
so now fail. Point both at the existing offline-protocol-params-preview.json
fixture used by the other tests in the same module.

Decouple the WASM ABI from the upstream utxorpc spec. The runtime
previously shipped utxorpc::spec::cardano::* prost-encoded bytes across
the WIT boundary as cbor; that implicitly made the upstream u5c spec the
WASM ABI, so the 0.17 -> 0.18 BigInt break propagated to every existing
worker.

balius-proto owns a frozen schema (mirrors utxorpc-spec 0.17.0 wire
format). The runtime converts upstream u5c types into this schema once
at chainsync ingress and at ledger reads. BigInt -> u64/i64 is fallible
and halts the worker on overflow. Workers built against the pre-BigInt
SDK keep decoding cleanly because the new bytes are wire-identical to
what they expect.

balius-sdk drops the utxorpc-spec dep in favor of balius-proto;
Utxo<D>::coin() and PParams field access become plain integers.

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

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>