Cardano Updates

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

fix race condition in gw_routes

Signed-off-by: Roland Kuhn <[email protected]>

Signed-off-by: Pat Losoponkul <[email protected]>

docs: update CHANGELOG with `2617.0` distribution

- Add ESLint 10 flat config with eslint-plugin-react, react-hooks, jsx-a11y
- yarn lint and yarn lint:fix scripts
- Fix 24 jsx-a11y errors: 2 iframe titles, FAQ refactor (use Collapsible callbacks), modal backdrops with documented Escape fallback, 4 GovernanceCharts trigger areas with role/tabIndex/onKeyDown, 4 insights slider drag zones marked aria-hidden
- Fix 3 latent bugs: undefined ToolsTags reference, var projects redeclare, error rethrow without cause
- Disable noisy stylistic rules (no-unused-vars etc.) for now; cleanup deferred to a follow-up branch
- Real react-hooks antipatterns remain as warnings (75 total), to address in focused PRs later

Specify which routers to wait for and have cardano nodes wait on the
gateways being ready.

Proves by induction on the SUBLEDGERS transition that the UTxO-state
coin total at the start of a sub-tx batch plus all outs + donations
equals the UTxO coin total at the end plus all consumed spend inputs
(compared against the batch-start snapshot `utxo₀`):

```agda
getCoin (UTxOStateOf s₀) + Σ (cbalance (outs stx) + DonationsOf stx)
≡ getCoin (UTxOStateOf s₁) + Σ cbalance (utxo₀ ∣ SpendInputsOf stx)
```

Base case (`BS-base Id-nop`): both sides reduce to `x + 0`, so `refl`.
Inductive case: `SUBLEDGER-I` is impossible under `isTopLevelValid ≡
true`; `SUBLEDGER-V` combines the per-step SUBUTXOW balance with the
IH via an eight-step +-commutative-monoid rearrangement.

Introduces `subutxow-step-coin` as a new module parameter:

```agda
getCoin s₀ + cbalance (outs stx) + DonationsOf stx
≡ getCoin s₁ + cbalance (UTxOOf Γ ∣ SpendInputsOf stx)
```

+  Rationale for keeping this as a parameter at the SUBLEDGERS level:
   proving it locally requires, beyond `balance-∪` and `split-balance`,
   two batch-wide invariants:

   1. the running UTxO agrees with `utxo₀` on every sub-tx's spend
      inputs, and
   2. freshness of each sub-tx's TxId relative to the running UTxO

   neither of which is a local SUBUTXO premise; both follow from
   batch-wide disjointness exposed by the outer UTXO rule and will be
   discharged in a follow-up PR dedicated to general Dijkstra PoV
   infrastructure.

Statement parallels the existing `SUBLEDGERS-certs-pov`, uses
`SubLedgerEnv.utxo₀ Γ` uniformly on the RHS (matching the shape of
`batch-balance-coin`), and is the key lemma needed to derive
`batch-utxo-accounting` internally in the next step of this PR.