Cardano Updates

<!-- Describe your change here -->

---

<!-- Consider each and tick it off one way or the other -->
* [x] CHANGELOG updated or not needed
* [x] Documentation updated or not needed
* [x] Haddocks updated or not needed
* [x] No new TODOs introduced or explained herafter

---------

Signed-off-by: Sasha Bogicevic <[email protected]>
Co-authored-by: Noon <[email protected]>

Signed-off-by: Seydi Charyyev <[email protected]>

The unit tests are not needed anymore

Mark peras as unsupported. The machinery is interesting though and we
should also make it negotiate leios support like this?

Address review feedback on the signingUtils flush patch:

- Drop `|| true` on the flush so a flush failure aborts the build rather
  than being silently swallowed (signing an unflushed binary risks the very
  invalid signature this works around).
- Assert the sed injection actually took effect (grep -qF) so the build fails
  loudly if upstream sign() drifts, instead of silently reintroducing the bug.

Also move the explanatory comments out of the installPhase shell string so
they are nix comments rather than baked into the generated script.

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 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.

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.

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

Introduce the mk-free abstract table surface (BlockSupportsUTxOHD): the
ledger no longer carries a MapKind type parameter. LedgerState becomes a
plain Type, ApplyBlock is pure, and the dual ledger is made mk-free.

Consolidate the table vocabulary into Ledger.Basics, dropping StateKind and
the now-redundant Ledger/Tables.hs subtree (Tables/{Basics,Combinators,Kinds,
MapKind,Utils}). Haddocks describe the current mk-free API; dead readAll and
stale mk-era references are removed.

This is one atomic semantic change: the lib does not build until the whole
mk-free sweep lands.

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.)

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.

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.

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.

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