Cardano Updates

Then you can see both:

<img width="1884" height="1082" alt="image"
src="https://github.com/user-attachments/assets/0e3c643c-378a-40e1-9f14-0f9d25a6f7ad"
/>

IVC keys and the proving SRS were built from the full SRS, tying them to its
degree instead of the circuit domain K, so the production K=22 SRS produced unverifiable proofs.

Assert the rolling state survives the AncillaryProverData CBOR round trip, and add anyhow context to the two IVC proof verification checks.

The aggregator cannot compute the signer retrieval epoch at epoch 0,
so serving it earlier fails startup discrepancy handling.

Make the Cardano HFC mk-free: Block.hs (CardanoLedgerState + era pattern
synonyms), CanHardFork (EraTranslation diff/values restructure), QueryHF (NS
projection with an era-typed filter), and protocolInfoCardano genesis, which
now produces the per-era genesis Values via the Nary embedding. The canonical
/serialise machinery is stripped from Cardano.Ledger.

There is deliberately no TxIn/TxOut instance for (HardForkBlock xs): tables
are per-era only. With this, lib:ouroboros-consensus:cardano is green.

TODO @js: CardanoTxOut and its IndexedMemPack codecs are retained only
for the deferred snapshot-converter tool.

Port the Shelley era (Ledger, Forge, Inspect, Mempool, Query,
PeerSelection, SupportsProtocol, Serialisation, TPraos, ShelleyHFC) to the
mk-free API.

Add Ouroboros.Consensus.Shelley.Ledger.LedgerCallShim, which encapsulates the
empty-UTxO NewEpochState invariant: every stored NES carries no UTxO, and the
block/tick/tx apply wrappers take the UTxO values and the NES separately
(NewEpochStateNoUTxOs). The UTxO-touching cardano-ledger entry points are
fenced behind the shim via .hlint.yaml so they cannot be called directly;
applyTx is the single era-dispatched exception routed through the shim.

Update the Byron era (Ledger, Forge, Inspect, Mempool, Node,
Serialisation, ByronHFC) to the mk-free ledger/table surface.

Update the LSM V2 backend to the mk-free LedgerTablesHandle contract.
lib:ouroboros-consensus:lsm is green.

(The unused containers dependency was dropped from the lsm sublib in
ouroboros-consensus.cabal as part of the abstract-surface commit.)

Update the diffusion layer (Node, NodeKernel, GSM) to the mk-free
ledger/table surface. lib:ouroboros-consensus:diffusion is green.

Finish the mk-free sweep for lib:ouroboros-consensus: the Node entry
points (ProtocolInfo, Run) and the MiniProtocol consumers (ChainSync client
+ InFutureCheck, LocalStateQuery server).

Genesis Values now flow through ProtocolInfo: pInfoInitLedgerTables carries
them and injectInitialExtLedgerState returns (state, values). With this,
lib:ouroboros-consensus is fully green.

Port the mempool to the mk-free MempoolAcc representation: API,
Impl/Common, Query, Capacity, then Update and Init. The mempool no longer
threads a MapKind; it carries the accumulated UTxO values explicitly.

Make the HardFork combinator mk-free: the mk-free state functor and
era-translation types, mk-free extendToSlot, and the SingleEraUTxOHDBlock
split. forward is made config-free (IO pipelining deferred). Implement the
HardForkBlock BlockSupportsUTxOHD bodies plus tick/apply, and the NS type
surface in Ledger.hs, deleting the old canonical machinery.

Flip sweep across the combinator: Query, CommonProtocolParams, PeerSelection,
InitStorage, Forging, Mempool, Embed/{Unary,Nary,Binary}, Degenerate and
Serialisation. Embed/Nary returns the per-era genesis values.

Make the LedgerTablesHandle contract mk-free and fold the InMemory
backend's value ops into BlockSupportsUTxOHD. Drop mk from Storage's
upstream dependencies and make the LedgerDB V2 (StateRef, LedgerSeq,
Forker, snapshots, InMemory backend) mk-free throughout.

Thread LedgerConfig through duplicateWithDiffs/forkerPush and route range
reads through a dedicated EraRangeReader, surfacing an EraRangeReaderProvider
from the V2 LedgerDB. ChainDB consumers are made mk-free, dropping the
vestigial NoThunks/Bridge and CanUpgradeLedgerTables constraints.

feat(tx-construction): expose tx-builder utils and add fluent minting