Cardano Updates

* mithril-end-to-end from `0.4.126` to `0.4.127`

Co-authored-by: Pablo Lamela <[email protected]>

This commit adds a missing strictness annotation in the PerasVotingView
record.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit implements a model-based test suite for the Peras
certificate inclusion rules. This follows the same approach used to test
the Peras voting rules.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

* client-cardano-block from `0.1.0` to `0.1.1`
 name = "client-cardano-database-v2" -version = "0.0.18" +version = "0.0.19" * client-cardano-stake-distribution from `0.1.17` to `0.1.18`
 name = "client-cardano-transaction-v2" -version = "0.1.0" +version = "0.1.1" * client-cardano-transaction from `0.1.26` to `0.1.27`
* client-mithril-stake-distribution from `0.2.15` to `0.2.16`
* mithril-aggregator from `0.8.39` to `0.8.40`
* mithril-client-cli from `0.13.1` to `0.13.2`
* mithril-client-wasm from `0.10.1` to `0.10.2`
* mithril-client from `0.14.1` to `0.14.2`
* mithril-relay from `0.2.4` to `0.2.5`
* mithril-signer from `0.3.26` to `0.3.27`
* mithril-end-to-end from `0.4.126` to `0.4.127`
* [js] mithril-client-wasm from `0.10.1` to `0.10.2`

`mithril-client` now activate `reqwest/system-proxy` which add
additional system dependencies on windows.

As their last versions switched to reqwest 0.13 and they were the last
dependencies that we had that used [email protected]

+ use the default feature in CI instead (which use `rustls`)

+ adapt `mithril-client` lib re-exported reqwest features to the new
  reqwest features set

this update include the fix to its upstream dependency that always
enabled `reqwest` default features

implement cardano blocks and transaction in client CLI

:construction_worker_man: - Fix head getting permanently stuck when
CommitFinalized or DecommitFinalized bumps the snapshot version while a
ReqSn echo is still in-flight — only blocks re-request when AckSns are
actively collecting (isCollectingAcks), not during RequestedSnapshot.
:construction_worker_man: - Fix deposit activated while a snapshot is
in-flight being silently dropped — the next chained snapshot picks it up
via selectNextDeposit, and DepositActivated now sets currentDepositTxId
if unset.
:construction_worker_man: - Fix deposits from other heads being selected
for ReqSn in ReqTx, OnDecrementTx, and rollback repost handlers —
depositsForHead is now applied consistently in all head-level handlers.
:construction_worker_man: - Guard deposit aggregate cases by headId to
prevent one head's deposits from corrupting another head's state when
multiple heads share the same network.
:construction_worker_man: - Fix Plutus script evaluation on
mainnet/testnet: L2 ledger Globals now uses era-aware EpochInfo (queried
from chain) instead of fixedEpochInfo, ensuring correct POSIXTime values
in Plutus ScriptContext for time-sensitive scripts.
:construction_worker_man: - Fix Preproduction node not syncing due to
missing peer-snapshot.json bootstrap and stale config paths.
:construction_worker_man: - Remove the hard-coded 100 ADA commit limit
on mainnet.
:construction_worker_man: - Remove the GET /head-initialization
endpoint.


---

<!-- Consider each and tick it off one way or the other -->
* [x] CHANGELOG updated or not needed
* [x] Documentation updated or not needed
* [x] Haddocks updated or not needed
* [x] No new TODOs introduced or explained herafter

fix(tests): flaky `e2e_websocket` test