Add LeiosCert to DijkstraBlockBody

[ch1bo]

Description

This adds the LeiosCert as an SMaybe to the DijkstraBlockBody. The type and its encoding is defined in cardano-crypto-leios, a new package on the cardano-base repository. See IntersectMBO/cardano-base#670

This also includes a fix of the DijkstrBlockBodyRaw instance for EncCBORGroup instance: it was missing the invalid transactions field.

New block_body CDDL after this change (also regenerated in the diff):

block_body =
  [ invalid_transactions : invalid_transactions/ nil
  , transactions      : [* transaction]
  , leios_certificate : leios_certificate/ nil
  , peras_certificate : peras_certificate/ nil
  ]

with

leios_certificate =
  [ signers              : bytes           ;bitfield
  , aggregated_signature : leios_signature
  ]

leios_signature = bytes .size 48

Checklist

• Commits in meaningful sequence and with useful messages.
• Tests added or updated when needed.
• CHANGELOG.md files updated for packages with externally visible changes.
  NOTE: New section is never added with the code changes. (See RELEASING.md).
• Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
  versioning process.
• Version bounds in .cabal files updated when necessary.
  NOTE: If bounds change in a cabal file, that package itself must have a version increase. (See RELEASING.md).
• Code formatted (use scripts/fourmolize.sh).
• Cabal files formatted (use scripts/cabal-format.sh).
• CDDL files are up to date (use scripts/gen-cddl.sh)
• hie.yaml updated (use scripts/gen-hie.sh).
• Self-reviewed the diff.

[Copilot]

Pull request overview

This PR extends the Dijkstra era block body format to optionally include a Leios certificate (LeiosCert) and updates the corresponding CBOR and CDDL representations, along with test generators/specs to exercise both the “TxsRB” and “CertRB” shapes.

Changes:

• Add StrictMaybe LeiosCert to DijkstraBlockBodyRaw / DijkstraBlockBody and update CBOR encoding/decoding accordingly.
• Regenerate/update Dijkstra CDDL + Huddle rules to include leios_certificate (and make cert fields / nil in block_body).
• Update testlib instances/generators and CDDL specs to cover both block body shapes; add new cardano-crypto-leios dependency wiring.

Reviewed changes

Copilot reviewed 10 out of 10 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
libs/cardano-ledger-binary/src/Cardano/Ledger/Binary/Decoding/Decoder.hs	Adds an in-code review note inside decodeRecordNamedT (should be removed).
eras/dijkstra/impl/testlib/Test/Cardano/Ledger/Dijkstra/TreeDiff.hs	Adds ToExpr LeiosCert for better diffs without orphan signature instances.
eras/dijkstra/impl/testlib/Test/Cardano/Ledger/Dijkstra/Binary/Annotator.hs	Updates block body decoding to expect 4 fields and decode optional Leios cert.
eras/dijkstra/impl/testlib/Test/Cardano/Ledger/Dijkstra/Arbitrary.hs	Adds Arbitrary LeiosCert and new small block body generators for “TxsRB” vs “CertRB”.
eras/dijkstra/impl/test/Test/Cardano/Ledger/Dijkstra/Binary/CddlSpec.hs	Splits block_body CDDL round-trip specs into “TxsRB” and “CertRB”.
eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/BlockBody/Internal.hs	Adds Leios cert field + updates CBOR encode/decode; updates EncCBORGroup (currently mismatched for StrictMaybe encoding).
eras/dijkstra/impl/cddl/lib/Cardano/Ledger/Dijkstra/HuddleSpec.hs	Adds Leios certificate/signature rules; updates block_body rule layout and generator to 4 fields.
eras/dijkstra/impl/cddl/data/dijkstra.cddl	Updates block_body CDDL and defines leios_certificate / leios_signature.
eras/dijkstra/impl/cardano-ledger-dijkstra.cabal	Adds cardano-crypto-leios (+ hedgehog-quickcheck for generators) to relevant components.
cabal.project	Adds a source-repository-package pin to pull in cardano-crypto-leios from cardano-base.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[lehins]

This is looking great. Thank you.

[lehins]

Looks great! Thank you!

[ch1bo]

These mutation tests are really cool! https://github.com/IntersectMBO/cardano-ledger/actions/runs/28398403686/job/84150174066#step:9:1

But it means that I need change or at least deprecate the current cert encoder already 😅😅