NOT MERGE: Leios prototype remake on 11.0.1

[ch1bo]

Note

This PR intends to fast-forward leios-prototype into the head of leios-prototype-remake. The remake now targets 11.0.1 (the released node), not master, so a single nix build lands a Leios-capable node binary at the same major.minor.patch downstream pipelines already track. For side-by-side comparison see diffs to the branch points:

• Original prototype: ca1ec27...leios-prototype
• This remake: 11.0.1...leios-prototype-remake

Commits

Five commits on top of 21c430e68 Reset leios-prototype to 11.0.1 (chunked recreation follows) — a snapshot-merge whose first parent is the original leios-prototype tip (4ed4a1688 Merge pull request #6556 from IntersectMBO/ch1bo/leios-voting) and second parent is the 11.0.1 release tag (97036a66b). The merge's tree equals the 11.0.1 tree, so git log --first-parent leios-prototype-remake walks back through the original prototype's history (preserved in the DAG), while the topical commits build on the release base.

• Pin SRPs at the Leios prototype remake forks (consensus / ledger / network). cabal.project SRPs point at the three rebased forks shipped alongside this PR:

  • ouroboros-consensus at leios-prototype-remake (the chunked Leios stack on top of release-ouroboros-consensus-3.0.1.0 — the consensus shipped in 11.0.1)
  • cardano-ledger at leios-prototype-remake (Maybe LeiosCert on DijkstraBody)
  • ouroboros-network at leios-prototype-remake (BearerBytes + Reception + trace-dispatcher 2.12 bump on top of ouroboros-network-1.1.0.0)

  Also drops the dmq-node extra-packages entry (the latest CHaP dmq-node-0.4.2.0 requires ouroboros-network:framework-tracing, a sublib whose layout doesn't match the rebased network fork). Vendors ekg-forward with a one-line patch (ConnectToArgs/NetworkConnectTracers keep the pre-bump 4-param shape that 1.1.0.0-base network exposes).

• leiosdemo202511: fixup build for ouroboros-network:runDriver* and TraceSendRecv changes (cherry-pick of Nicolas Frisby's upstream leios-prototype commit). Adds LogFormatting / MetaTrace instances for the post-Reception 2-arg TraceSendMsg/TraceRecvMsg constructors, plus the small mux_tm formatter so the new arrival-time field renders. Duplicate LogFormatting (Simple/Stateful.TraceSendRecv) instances that the upstream branch carried are dropped — they're now provided by ouroboros-network:framework-tracing and would collide here.

• N2: wire Leios tracers into cardano-node Tracers / OrphanInstances. The consensus Leios chunks added four fields to the consensus tracer records that cardano-node assembles in Cardano.Tracing.Tracers (old style) and Cardano.Node.Tracing.Tracers (new style):

  • Consensus.Tracers' → leiosKernelTracer, leiosPeerTracer
  • NodeToNode.Tracers' → tLeiosNotifyTracer, tLeiosFetchTracer

  Populates those fields in both mkTracers code paths so the record-construction sites are total. All four are wired to nullTracer for now; the corresponding Transformable / MetaTrace instances and EKG metrics are TODO (this surfaces explicitly as a TracerConsistencyWarnings for the four Leios namespaces declared in the demo config.yaml).

  Adds matching selectors traceLeiosKernel / traceLeiosPeer / traceLeiosNotifyProtocol / traceLeiosFetchProtocol to TraceSelection / PartialTraceSelection + JSON parsing.

• N3: LeiosDbConfig configuration entry + thread to consensus. New Cardano.Node.Configuration.Leios.LeiosDbConfig:

  • LeiosDbInMemory — backed by LeiosDbConnection's in-memory backend.
  • LeiosDbSQLite !FilePath — SQLite backend, file relative to node CWD (default: LeiosDbSQLite "leios.db").

  Wired through PartialNodeConfiguration / NodeConfiguration as ncLeiosDbConfig with JSON parsing ("LeiosDbConfig":{"Backend":...,"Filepath":...}). At node startup (Cardano.Node.Run.handleSimpleNode) the configured backend is materialised into a LeiosDbHandle and passed into RunNodeArgs via a new rnLeiosDb :: Maybe (LeiosDbHandle m) field, which consensus's runWith threads into the Leios kernel's shared connection. Nothing falls back to the in-memory default.

  Also adds ResolveLeiosBlock to the existential constraints of SomeConsensusProtocol, plus orphan no-op ResolveLeiosBlock instances for HardForkBlock '[ByronBlock] and per-era ShelleyBlockHFC (the type-level instances consensus's HFC layer demands).

• tx-generator: adapt to Leios-extended Codecs + Reception-wrapped recv. The consensus Leios chunks extended NTN.Codecs with two extra type parameters (bLN / bLF, for LeiosNotify / LeiosFetch), and the network-side BearerBytes/Reception work changed runPeerWithLimits to return Maybe (Reception bytes) and made byteLimitsKeepAlive parameter-less.

  • Pulls in ouroboros-network:framework-tracing as a sublib dependency.
  • Extends the local myCodecs type to 9 ByteString parameters (was 7).
  • kaClient return type becomes IO ((), Maybe (Mux.Reception ByteString)).
  • Drops the size-function argument from byteLimitsKeepAlive.

Verification

End-to-end proto-devnet run against ouroboros-leios/demo/proto-devnet (3 nodes, TC=0, tx-centrifuge workload) with TestDijkstraHardForkAtEpoch: 0 added to the demo's config.yaml:

• All three cardano-node 11.0.1 binaries (from this branch) start and remain up; no crashes.
• cardano-cli query tip reports era: "Dijkstra".
• Per-node SQLite leios.db fills with EBs at the chain tip; over ~5 min one node reaches 7 EBs containing 70k txs (~2.5 MB of EB payload). EB counts differ across nodes (normal LeiosNotify/LeiosFetch diffusion lag).
• Upstream cardano-cli-10.15.0.1 and tx-centrifuge (both from the leios devshell) talk happily to our 11.0.1 node (50k+ StateQuery round-trips, no version mismatch errors).

Known gaps (intentionally left for follow-up)

• Tracers wired as nullTracer with TODO. Full Transformable Text IO TraceLeiosKernel / MetaTrace (TraceSendRecv ...) instances and EKG metrics are not yet ported; the four Leios* tracer namespaces show up under TracerConsistencyWarnings at startup. The kernel runs; events just don't reach the tracer backends.
• cabal build all fails at cardano-ledger-byron:testlib (pre-existing CHaP issue: discoverPropArg Template Haskell error on GHC 9.6) and that transitively blocks cardano-testnet:exe. Node, tracer, tx-generator, profile, topology, locli all build clean.

Companion PRs

• NOT MERGE: Leios prototype remake ouroboros-consensus#2041
• NOT MERGE: Leios prototype remake ouroboros-network#5370
• NOT MERGE: Leios prototype remake cardano-ledger#5839