Cardano Updates

Tasks: T011

Tasks: T000

Branch-only activation so the finally_->eventually_ composer change can
be validated by a 3h Antithesis run before merge. Builds the two
component images from c04a171 (this branch's scripts commit). The pin
must be re-bumped to the main merge sha at merge time.

At Antithesis config version cfg=56 the cardano_node_master runs began
failing the built-in "All commands were run to completion at least
once" property. Counterexample: the three finally_ commands
(asteria-game/finally_alive, asteria-game/finally_asteria_consistency,
tx-generator/finally_pressure_summary) are started but never run to
completion in any timeline.

Root cause is category-wide, not script-specific: every finally_
command fails while every eventually_ command passes, and even the
~11 s finally_alive fails identically to the 42 s consistency script —
so it is not a script-duration problem. Per-command events show
Antithesis assigning the finally_ set weight 0 (`masked_for_rollout`)
at cfg=56; at cfg=54/55 (identical script and driver code) the property
passed. The masking is upstream/platform-side, but eventually_ commands
complete reliably on this testnet, so the fix is to stop depending on
the finally_ category for the checks we care about.

- Delete asteria-game/finally_alive.sh — redundant with
  eventually_alive.sh (its own header said "same shape"; passes every
  run, 257 examples).
- asteria-game/finally_asteria_consistency.sh -> eventually_asteria_-
  consistency.sh. Same one-shot invariant check (ship_counter == SHIP*
  token count); budget tightened from 42 s to 19 s worst case to fit
  the eventually_ per-command cap (tighter than finally_'s ~54 s,
  undocumented; eventually_alive uses ~11 s). The invariant binary
  returns in a few seconds in the healthy post-fault window, and the
  property only needs one completing timeline.
- tx-generator/finally_pressure_summary.sh -> eventually_pressure_-
  summary.sh (diagnostic dump; fast control-socket round trip). Nix
  wrapper in tx-generator/nix/docker-image.nix renamed to match.
- Living docs updated. Historical run-result tables and the phase-1
  spec keep the old names as a record of what ran then.

The SUT is healthy — all cardano-node assertions pass; this only
clears the composer-coverage finding. Behavior must be confirmed by a
3 h scheduled-default run after merge.

Not sure if this is better, but the upstream module has a smaller API
surface now.

Not sure if this is better, but the upstream module has a smaller API
surface now.

This follows the pattern of other cardano-base types.

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

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

Bumps [webpack-dev-server](https://github.com/webpack/webpack-dev-server) from 3.10.3 to 5.2.5.
- [Release notes](https://github.com/webpack/webpack-dev-server/releases)
- [Changelog](https://github.com/webpack/webpack-dev-server/blob/main/CHANGELOG.md)
- [Commits](https://github.com/webpack/webpack-dev-server/compare/v3.10.3...v5.2.5)

---
updated-dependencies:
- dependency-name: webpack-dev-server
  dependency-version: 5.2.5
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>