Cardano Updates

chore(changelog): release 6.5.0

Feat/governance committee

feat: constitutional committee endpoints

- Different layout
- Tabs
- Colours
- Summary information of events
- Detail of events

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

Add a `ResolveLeiosBlock blk` class with a default `return blk` and a
`leiosDb :: !(LeiosDbConnection m)` field on `ValidateArgs`.  In V2's
implValidate the connection is now passed in so `validate` can call
`resolveLeiosBlock leiosDb blk` before reading tables (splicing certified
EB transactions into the Dijkstra-era block before its application).

Plumbing changes:
- `lgrLeiosDb` field on `LedgerDbArgs`; `ldbLeiosDb` on `LedgerDBEnv`.
- `cdbsLeiosDb` on `ChainDbSpecificArgs`; `completeChainDbArgs` gains a
  `LeiosDbConnection m` argument and wires it through.
- `openChainDB`, `run`, `runWith`, `openDB`, `openDBInternal`,
  `withDB`, `runThreadNetwork`, `runTestNetwork` and `implValidate`
  gain a `ResolveLeiosBlock blk` constraint.
- `fromMinimalChainDbArgs` / `mkArgs` are now monadic so they can
  allocate an in-memory `LeiosDbConnection` for tests; callers updated.
- `NoThunks` instance for `LeiosDbConnection m`; `ResolveLeiosBlock`
  default instances for `TestBlock` (storage- and util-tests).

Still WIP: callers that need a non-trivial `ResolveLeiosBlock` instance
(CardanoBlock for the dijkstra-era certified-EB resolution path, and a
few stragglers in the Cardano tooling and threadnet mock tests) — the
instance to be filled in next.

Co-Authored-By: Claude Opus 4.7 <[email protected]>

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

Squashes 8 leios-prototype commits:
  53517f2a leios: Add blockMayAnnouncedEb and blockCertifiesEb to Block
  6220eb51a leios: Fixes cardano-ledger-test compilation
  0f9818960 leios: Introduce the Body type with BodyInline and BodyCertificate
  1327573bf leios: More compilation fixes
  7e1fb14c9 leios: Make Body codec proper CBOR
  0c0368ea7 leios: Remove EB announcement and certification flag
  1741ba702 Make the (leios enhanced) block decoding backwards compatible
  01198fab8 leios: Fix Block codec to be backwards compatible

Skips the EB-field design churn and lands directly on the final design:
Body era = BodyInline (BlockBody era) | BodyCertificate Certificate (Maybe (BlockBody era)).

Mechanical renames for upstream API changes:
  TxSeq -> BlockBody, EraSegWits -> EraBlockBody,
  AlonzoTxSeq -> AlonzoBlockBody, ShelleyTxSeq -> ShelleyBlockBody,
  hashTxSeq -> hashBlockBody, bbHash -> shelleyBlockBodyHash,
  txSeqTxns -> alonzoBlockBodyTxs,
  module Shelley.BlockChain -> Shelley.BlockBody,
  module Alonzo.TxSeq -> Alonzo.BlockBody.

Other build fixups for upstream changes:
- EraSegWits -> EraBlockBody; fromTxSeq/toTxSeq removed for the
  txSeqBlockBodyL lens. Added shims in Block.hs that wrap the lens.
- Tx kind-parameterized: Tx era -> Tx TopTx era ripple
  (including AlonzoTx era -> AlonzoTx TopTx era).
- AccountState -> ChainAccountState.
- Mismatch's first arg changed from promoted kind to value constructor:
  'RelEQ -> RelEQ, 'RelLTEQ -> RelLTEQ.
- EncCBORGroup.listLen now takes a Proxy.
- testlib gained DecCBOR (Block h era) and ToExpr (Block h era) instances
  that conflict with leios's Body-shaped Block.

Files accepted as upstream deletions:
  Examples/Consensus.hs (834a31aa2)
  LaxBlock.hs (e2d3380ae, 50c4c17e6)
  AlonzoBBODY.hs (1e3ff232f)
  Generic/Same.hs (3a006d6aa)