Cardano Updates

  Remove utxoHash/alphaUTxOHash/omegaUTxOHash from ClosedDatum, all
  Close/Contest redeemers, and the snapshot signing tuple. The BLS
  accumulator already commits to the full UTxO set (utxo ∪ alpha ∪
  omega), making the three separate SHA256 hashes redundant.

  Full fanout now verifies outputs via a KZG membership proof (same as
  partial fanout) rather than hash comparison. The Fanout redeemer gains
  proof and crsRef fields; the three output-count fields are dropped.

  Snapshot signing shrinks from a 7-tuple to a 4-tuple
  (headId, version, snapshotNumber, accumulatorHash).

Signed-off-by: Sasha Bogicevic <[email protected]>

Previously use_tcp was hardcoded to false on every LinkConfiguration.
Now RawParameters::tcp_congestion_control (default true) is propagated
to all links during SimConfiguration::build, so users can disable the
TCP congestion-window model via yaml with `tcp-congestion-control: false`.

Update config.schema.json to reflect Rust support and add default: true.

Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

Port the Haskell `Chan/TCP.hs` channel abstraction to Rust.

`TcpConnection<TMessage>` models one direction of a full-duplex TCP link
using `forecast_tcp_msg_send` for timing. Key design decisions:

- Backpressure via `send_cursor`: the effective send time is
  `max(now, send_cursor)`, so overlapping sends queue behind their
  predecessor — the same role the one-slot `TMVar` plays in Haskell.
- Idle reset (RFC 6298 RTO): when the link has been quiet for longer
  than `max(1 s, RTT)` and all in-flight ACKs have returned, the
  congestion window is reset to the initial value.
- Messages are queued with arrival time = `recv_trailing_edge` (the
  receiver needs the complete message, not just the leading edge).

Integration:
- `ConnectionKind<TP, TM>` enum wraps both `Connection` (bandwidth-
  sharing) and `TcpConnection` with a uniform interface so the rest of
  the network layer is unchanged.
- `LinkConfiguration` and `EdgeConfig` gain a `use_tcp: bool` flag
  (default `false`); both the actor and sequential engines route through
  `ConnectionKind::from_config`.
- `TcpState::all_acks_arrived` added to support the idle-reset check.

Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

Port the Haskell `ModelTCP` module to Rust as `sim-core/src/tcp.rs`.

The model forecasts send timing for a stream of messages over a single
TCP connection, accounting for serialisation delay, one-way propagation
latency, and the congestion window (slow-start through to steady state).

Key design points:
- `forecast_tcp_msg_send` is a pure function: takes props + state + now
  + message size, returns the overall forecast, per-fragment forecasts,
  and the updated state.  No IO, easy to test.
- ACKs are anchored to the *receive leading edge* ("strategic cheat"):
  approximates per-segment ACK pipelining without modelling individual
  segments, preventing the model from understating throughput.
- `merge_adjacent_fragments` collapses contiguous window-fill chunks so
  the fragment count stays bounded across long sends.
- Six unit tests cover: small message timing, per-fragment invariants,
  large-message fragmentation, fragment merging, and the trace helper.

Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

* mithril-aggregator from `0.8.52` to `0.8.53`
* mithril-client-cli from `0.13.11` to `0.13.12`
* mithril-client-wasm from `0.10.4` to `0.10.5`
* mithril-client from `0.14.9` to `0.14.10`
* mithril-signer from `1.0.2` to `1.0.3`
* mithril-stm from `0.10.22` to `0.10.23`
* mithril-end-to-end from `0.4.134` to `0.4.135`
* [js] mithril-client-wasm from `0.10.4` to `0.10.5`
* mithril-test-lab/mithril-devnet/VERSION from `0.4.33` to `0.4.34`

feat(stm): implement `SnarkVerifierSetup` in helpers

* feat(sqlite): Made changes to run planner stats before API backfill and added ANALYZE maintenance after Mithril import and on backfill resume.

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

* feat(sqlite): Removed the stop and re-enable of PRAGMA change. I kept it simple for running of sqlite planner stats before api backfill after utxo import

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

---------

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

* feat(prometheus): Made changes to add diagnostics secondary view

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

* feat(prometheus): Fixed the lint errors

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

* feat(prometheus): Fixed the bottom line info log printing as stderr while TUI was running

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

* feat(prometheus): Addressed most of the bot comments in peers and newly added metrics as well

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

* feat(prometheus): Fixed the lint error

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

---------

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

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

* Add FromJSON (TxOut era) as EraTxOut superclass constraint
* Add FromJSON t as Val t superclass constraint
* Add ToJSON/FromJSON for Datum era
* Add FromJSON for ShelleyTxOut, AlonzoTxOut, BabbageTxOut
* Add FromJSON for MaryValue; fix FromJSON/FromJSONKey for AssetName to hex-decode
* Add round-trip JSON property test for TxOut era