Cardano Updates

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.

- Refactor botDRepCertificate to streamline transaction input handling and certificate script application.
- Update botStakeCertificate to utilize a unified spend script for transaction inputs.
- Introduce fresh query parameter in freeUtxos to allow fetching unspent transaction outputs directly from the blockchain.
- Implement stake key witness validation in signTransaction to support transactions with staking certificates.
- Add new flow for signing stake certificates that includes both payment and stake key witnesses.
- Create comprehensive CI scenarios for DRep registration and retirement, as well as stake registration and deregistration.
- Implement stakeAccountInfo API to fetch stake account status and pool information.

Bumps [fast-xml-parser](https://github.com/NaturalIntelligence/fast-xml-parser) and [@stoplight/prism-http-server](https://github.com/stoplightio/prism). These dependencies needed to be updated together.

Updates `fast-xml-parser` from 4.5.3 to 5.7.1
- [Release notes](https://github.com/NaturalIntelligence/fast-xml-parser/releases)
- [Changelog](https://github.com/NaturalIntelligence/fast-xml-parser/blob/master/CHANGELOG.md)
- [Commits](https://github.com/NaturalIntelligence/fast-xml-parser/compare/v4.5.3...v5.7.1)

Updates `@stoplight/prism-http-server` from 5.12.2 to 5.15.10
- [Release notes](https://github.com/stoplightio/prism/releases)
- [Changelog](https://github.com/stoplightio/prism/blob/master/CHANGELOG.md)
- [Commits](https://github.com/stoplightio/prism/commits/v5.15.10)

---
updated-dependencies:
- dependency-name: fast-xml-parser
  dependency-version: 5.7.1
  dependency-type: indirect
- dependency-name: "@stoplight/prism-http-server"
  dependency-version: 5.15.10
  dependency-type: indirect
...

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

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

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