NOT MERGE: Leios prototype remake

[ch1bo]

Note

This PR intends to fast-forward leios-prototype into the head of leios-prototype-remake. The remake targets 94e9618c91 Update version and changelog — the upstream master commit from which CHaP's cardano-ledger-dijkstra-0.2.0.1 is built, so consensus 3.0.1.0's existing version bounds and downstream cardano-node 11.0.1's CHaP-resolved ledger packages stay valid. For side-by-side comparison see diffs to the branch points:

• Original prototype: a9e78ae...leios-prototype
• This remake: 94e9618...leios-prototype-remake

Commits

One commit on top of 6030591f8a Reset leios-prototype to upstream master (chunked recreation follows) — a snapshot-merge whose first parent is upstream master (94e9618c91) and second parent is the original leios-prototype tip, preserving the prior prototype history in the DAG.

• L1: Add Maybe LeiosCert on DijkstraBody (Dijkstra-only). Adds Maybe LeiosCert (mirrored after the existing Maybe PerasCert) as an optional field on the Dijkstra-era BlockBody. Other eras are unaffected — this is the entire Leios-related ledger change from leios-prototype at the time of the remake.
  • Shape: DijkstraBlockBodyInternal now carries fixed-length CBOR group with dbbLeiosCert :: !(StrictMaybe LeiosCert) + explicit dbbLeiosCertBytes :: !(Maybe BS.ByteString) (CBOR null when absent, encoded via encodeNullStrictMaybe).
  • CBOR / CDDL: huddle / cddl updated with leios_cert slot alongside the existing peras_cert nullable slot in the Dijkstra block rule.
  • Roundtrip tests for LeiosCert / PerasCert moved out of Test.Cardano.Ledger.BaseTypesSpec into a new Test.Cardano.Ledger.Dijkstra.BlockBodySpec (Dijkstra-specific home).
  • Hashing reuses hashDijkstraSegWits; no hashDijkstraBody wrapper.

Intentional differences from the original prototype

• Shape: Maybe LeiosCert on DijkstraBody, not a Body / BodyInline / BodyCertificate sum.
• No EB-announcement flags on the ledger Block. EB announcement lives on the Praos header (consensus side), not on the ledger block.
• Earlier eras untouched. Leios is Dijkstra-only; no Maybe LeiosCert slot in Shelley/Allegra/Mary/Alonzo/Babbage/Conway.

Verified by

• cabal build all clean in the dev shell.
• Downstream cabal build all in ouroboros-consensus (Maybe LeiosCert consumed by the Dijkstra ResolveLeiosBlock instance for cert-block tx splice).
• End-to-end proto-devnet run (3 cardano-node 11.0.1 binaries linked through to this ledger fork) reaches era=Dijkstra, forges cert-eligible blocks in LeiosDb.

Companion PRs

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

[ch1bo]

Was merged into leios-prototype using git merge --ff-only leios-prototype-remake