Cardano Updates

Signed-off-by: Francisco Javier Ribo Labrador <[email protected]>

* mithril-aggregator from `0.9.6` to `0.9.7`

Signed-off-by: Yurii Shynbuiev <[email protected]>

Signed-off-by: A-Chronicle <[email protected]>

Signed-off-by: Yurii Shynbuiev <[email protected]>

This tackles a weird corner case in a test run, checkout the commit before this
one and run `ChainDB q-s-m.sequential` with `--quickcheck-replay="(SMGen
15718721082101496336 1793087168948606521,99)"` to observe it.

In short, in the tests we don't copy blocks when we snapshot (which we do on
production, see TODO(geo2a) in ChainDB.StateMachine). Normally we would be
guarded by the fact that the snapshot would have a higher slot than the
immutable db tip but when the tip is exactly at an EBB this is not the case and
we reach the exception case.

With this fix, we instead discard the snapshot in this extremely rare situation.

* mithril-stm from `0.10.33` to `0.10.34`

<!-- Describe your change here -->

---

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

With `yarn upgrade --latest`

The bound was too tight and sometimes we could not fulfill the contract that the
Dynamo was honest. The cause for re-download is now noted and in case the dynamo
is adversarial we allow for some more re-downloads.

The bound was too tight and sometimes we could not fulfill the contract that the
Dynamo was honest. The cause for re-download is now noted and in case the dynamo
is adversarial we allow for some more re-downloads.

Add AGENTS.md as the cross-tool entry point and
skills/cardano-balance-transaction-guide/SKILL.md (agentskills.io
layout) with repository map, build/test commands, code-navigation
pointers, balanceTx usage, and an answering-questions section. All
commands and module/symbol references are verified against the source.

- Restructure into the standard section order (What is this,
  Architecture, Install, Quickstart, Usage, Documentation, Development).
- Correct the supported eras from Babbage/Conway to Conway/Dijkstra,
  matching the RecentEra GADT (RecentEraConway, RecentEraDijkstra).
- Add a mermaid architecture diagram of the balancing pipeline.
- Replace the unverified test count with a description of the suite.
- Document the just/flake commands that CI actually runs, and the
  source-repository-package consumption path.
- Refine the Sign module description (size/fee estimation, not signing).
- Point AI agents at AGENTS.md.

- Update index/architecture/modules pages from Babbage/Conway to the
  actual RecentEra coverage (Conway and Dijkstra).
- Fix mermaid diagrams: replace literal \n with <br/> so node labels
  render as line breaks instead of backslash-n.
- Correct the Tx and Sign module descriptions to match their exports.
- Align getting-started build/test/docs commands with the just recipes
  and the mkdocs flake CI uses; drop the unverified 268-test count.
- Add a light/dark palette toggle and site_url to mkdocs.yml.

KnownPeers.setCurrentTime and EstablishedPeers.setCurrentTime run on
every governor loop iteration. Add a fast path to KnownPeers for the
common case where nothing is scheduled or the earliest scheduled time
is still in the future; previously it always ran the general path,
rebuilding the record and (with +asserts) checking the invariant.

In EstablishedPeers use findMin instead of minView in the existing
fast-path guard: an O(1) peek that avoids allocating the deletion of
the minimum. The fast path now also covers the empty-queue case, which
previously fell through to the general path.

We only need Eq.