Cardano Updates

After the first spawn, the genesis wallet has two UTxOs at its
address: a small change output (~9.5 ADA) and the original genesis
UTxO. The previous "first UTxO" selection picked the change one
on subsequent passes, and the spawn tx then failed
@BalanceFailed InsufficientFee@ because the change output's
lovelace was below the required fee + outputs.

New rank: pure-ada UTxOs first (so balanceTx's change doesn't
have to carry token dust), then by descending lovelace. With this,
back-to-back spawn passes now both succeed and ship_counter
advances 1 → 2 in sdk.jsonl on the local cluster.

(Concurrent passes within the same slot can still race on
ConwayMempoolFailure "All inputs are spent" — that's a pacing
artifact of the local-test cadence, not a problem under the
Antithesis composer's natural per-driver gap.)

* fix: add tombstone record during prune actions

Signed-off-by: Chris Guiney <[email protected]>

* fix(bark): add bark iterator to intercept tombstoned values

Signed-off-by: Chris Guiney <[email protected]>

---------

Signed-off-by: Chris Guiney <[email protected]>

Signed-off-by: Chris Gianelloni <[email protected]>

Nixpkgs expects to drop support for intel macs in 26.11.

Add golden tests for `queryConstitution`

added:
* github:input-output-hk/mithril/7783c68a9efacea8aa75e46801b0b9b3eaf3e911#mithril-client-cli
* github:input-output-hk/mithril/7783c68a9efacea8aa75e46801b0b9b3eaf3e911#mithril-signer
removed:
* github:input-output-hk/mithril/0393cfadb53c98cb60501fee0c451f0c90c929f7#mithril-client-cli
* github:input-output-hk/mithril/0393cfadb53c98cb60501fee0c451f0c90c929f7#mithril-signer

In `conwayGovTransition`, we remove the condition on `hardforkConwayBootstrapPhase` for checking `ZeroTreasuryWithdrawals`.

We then replayed the preview, preprod and mainnet public chains with
this change which guarentees there were no empty treasury withdrawals
pre-Conway era.

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`.

Signed-off-by: Chris Gianelloni <[email protected]>

Signed-off-by: Zaid <[email protected]>

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]>