Cardano Updates

Co-authored-by: stackchain <[email protected]>
Co-authored-by: jorbuedo <[email protected]>

Bumps [vite](https://github.com/vitejs/vite/tree/HEAD/packages/vite) and [@vitejs/plugin-react-swc](https://github.com/vitejs/vite-plugin-react/tree/HEAD/packages/plugin-react-swc). These dependencies needed to be updated together.

Updates `vite` from 5.4.7 to 8.0.8
- [Release notes](https://github.com/vitejs/vite/releases)
- [Changelog](https://github.com/vitejs/vite/blob/main/packages/vite/CHANGELOG.md)
- [Commits](https://github.com/vitejs/vite/commits/v8.0.8/packages/vite)

Updates `@vitejs/plugin-react-swc` from 3.6.0 to 3.11.0
- [Release notes](https://github.com/vitejs/vite-plugin-react/releases)
- [Changelog](https://github.com/vitejs/vite-plugin-react/blob/main/packages/plugin-react-swc/CHANGELOG.md)
- [Commits](https://github.com/vitejs/vite-plugin-react/commits/[email protected]/packages/plugin-react-swc)

---
updated-dependencies:
- dependency-name: vite
  dependency-version: 8.0.8
  dependency-type: direct:development
- dependency-name: "@vitejs/plugin-react-swc"
  dependency-version: 3.11.0
  dependency-type: direct:development
...

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

Thanks @carlostome for point out this oversight.

CIP-159 changes withdrawal semantics from "all-or-nothing" (withdrawal
amount must equal the full account balance) to "partial" (any amount up
to the current balance may be withdrawn).

`Certs.lagda.md`:
+  Define _≤ᵐ_ relation and Dec-≤ᵐ decision procedure for comparing a
   Coin value against a Maybe Coin (just bal → amt ≤ bal; nothing → ⊥).
+  Define applyWithdrawals helper (fold-based pointwise subtraction of
   withdrawal amounts from account balances).
+  Relax PRE-CERT precondition to three premises: credential is a
   registered key hash, credential is in dom rewards, and withdrawal
   amount ≤ balance (via ≤ᵐ with lookupᵐ?).
+  Update PRE-CERT effect from zeroing withdrawn credentials to pointwise
   subtraction via applyWithdrawals.
+  Document partial withdrawal semantics and version restriction deferral.

`Certs/Properties/Computational.lagda.md`:
+  Add scoped ⁇-≤ᵐ instance (positioned after DELEG/POOL/GOVCERT/CERT
   proofs to avoid instance pollution).
+  Update Computational-PRE-CERT for the new three-premise precondition.

Signed-off-by: jeluard <[email protected]>

Signed-off-by: jeluard <[email protected]>

Signed-off-by: jeluard <[email protected]>

Per feedback from @carlostome: balance interval assertions should be
checked per-(sub)transaction in the UTXO and SUBUTXO rules, analogously
to how slot validity intervals are already checked.  This eliminates the
need for batch-level aggregation of balance intervals and the associated
domain-disjointness constraint.

Removed:
+  "Account Balance Intervals" prose subsection
+  `allBalanceIntervals : TopLevelTx → AccountBalanceIntervals` helper
+  Footnote [^2] referencing Issue #1117

The `txBalanceIntervals` field on `TxBody` and the `BalanceIntervalsOf`
type class accessor (both introduced in #1114) are unchanged; they
provide per-(sub)transaction access, which is exactly what the UTXO and
SUBUTXO rules need.

Direct deposits (`allDirectDeposits`) still require batch-level
aggregation because they are an additive state update; balance intervals,
being pure precondition checks, do not.

See Issue #1117 for the per-transaction checking design.

- Increase top padding for better spacing between header and content
- Change info icon to warning triangle for unverified metadata section

Bumps [fast-xml-parser](https://github.com/NaturalIntelligence/fast-xml-parser) from 4.5.3 to 4.5.6.
- [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...v4.5.6)

---
updated-dependencies:
- dependency-name: fast-xml-parser
  dependency-version: 4.5.6
  dependency-type: indirect
...

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

The ghc-9.10-windows-dll-dependent-symbol-type-fix.patch was not applied
to GHC 9.14.1, but the fix was never upstreamed. This caused FFI calls
to C DLLs to crash in the iserv interpreter during TH evaluation
(th-dlls-minimal test). Remove the upper version bound so it applies to
all GHC versions from 9.4 onwards.