Enable Dijkstra Twiddling tests, relax some decoders in PV12

[Soupstraw]

Description

This PR enables twiddle testing in Dijkstra and fixes some decoders to accept indefinite encodings starting with protocol version 12.

Resolves #5513

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.

I intended to comment, not approve

[Copilot]

Pull request overview

This PR updates CBOR decoding behavior for protocol version 12 (PV12) by adding helpers for indefinite-length encodings, relaxing some DecCBOR instances to accept indefinite-length forms, and tightening metadata bytes decoding to require definite-length chunks within indefinite-length bytestrings. It also enables Dijkstra “twiddling” in the era CDDL/Huddle tests and bumps cardano-ledger-binary to 1.10.0.0 with corresponding dependency-bound updates.

Changes:

• Add/adjust CBOR decoders in cardano-ledger-binary (incl. new indefinite-length helpers, relaxed Text and tuple decoding for PV12, and moving IPv4/IPv6 decoders into DecCBOR).
• Update decodeMetadatum to enforce definite-length chunks inside indefinite-length bytestrings (and bump cardano-ledger-core’s cardano-ledger-binary bound accordingly).
• Enable twiddling in Dijkstra CDDL tests and update cabal dependencies/bounds across affected packages.

Reviewed changes

Copilot reviewed 13 out of 13 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
libs/cardano-ledger-repl-environment/cardano-ledger-repl-environment.cabal	Add testlib sublibrary deps for Alonzo/Dijkstra to support REPL environment usage.
libs/cardano-ledger-core/src/Cardano/Ledger/Metadata.hs	Tighten metadata decoding for indefinite-length bytestrings via new bytearray indefinite helper.
libs/cardano-ledger-core/CHANGELOG.md	Document the decodeMetadatum behavior change.
libs/cardano-ledger-core/cardano-ledger-core.cabal	Bump cardano-ledger-binary bound to ^>=1.10.
libs/cardano-ledger-binary/src/Cardano/Ledger/Binary/Decoding/Decoder.hs	Add reusable *IndefLen / *DefOrIndef helpers; remove IPv4/IPv6 from this module.
libs/cardano-ledger-binary/src/Cardano/Ledger/Binary/Decoding/DecCBOR.hs	Host IPv4/IPv6 decoders; relax tuple and Text DecCBOR instances for PV12.
libs/cardano-ledger-binary/CHANGELOG.md	Record new API/behavior changes and module move for IP decoders.
libs/cardano-ledger-binary/cardano-ledger-binary.cabal	Bump package version to 1.10.0.0.
eras/shelley/impl/cardano-ledger-shelley.cabal	Update cardano-ledger-binary bound to ^>=1.10.
eras/dijkstra/impl/test/Test/Cardano/Ledger/Dijkstra/Binary/CddlSpec.hs	Enable twiddling by removing noTwiddle.
eras/dijkstra/impl/cardano-ledger-dijkstra.cabal	Update cardano-ledger-binary bound to ^>=1.10.
eras/conway/impl/cardano-ledger-conway.cabal	Update cardano-ledger-binary bound to ^>=1.10.
eras/alonzo/impl/cardano-ledger-alonzo.cabal	Update cardano-ledger-binary bound to ^>=1.10.

---

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

[aniketd]

Nice work! 🙌

[github-actions]

Test Failures

cardano-ledger-dijkstra:test:tests

Test	Compiler	Seed
/Dijkstra/Era-specific spec/CDDL/Huddle/CertRB/block_body: DijkstraBlockBody DijkstraEra/Generate bytestring from CDDL and decode (annotator) -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/CertRB/block_body: DijkstraBlockBody DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/Generate bytestring from CDDL and decode -> encode/header: MemoBytes (HeaderRaw StandardCrypto)/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/Generate bytestring from CDDL and decode -> encode/header_body: HeaderBody StandardCrypto/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/TxsRB/block_body: DijkstraBlockBody DijkstraEra/Generate bytestring from CDDL and decode (annotator) -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/TxsRB/block_body: DijkstraBlockBody DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/account_balance_intervals: Map AccountId (AccountBalanceInterval DijkstraEra)/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/auxiliary_data: MemoBytes (AlonzoTxAuxDataRaw DijkstraEra)/Generate bytestring from CDDL and decode (annotator) -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/auxiliary_data: MemoBytes (AlonzoTxAuxDataRaw DijkstraEra)/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/certificate: DijkstraTxCert DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/certificates: OSet (DijkstraTxCert DijkstraEra)/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/datum_option: Datum DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/eb_announcement: EbAnnouncement/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/gov_action: GovAction DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/header: Annotator (MemoBytes (HeaderRaw StandardCrypto))/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/native_script: DijkstraNativeScript DijkstraEra/Generate bytestring from CDDL and decode (annotator) -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/native_script: DijkstraNativeScript DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/proposal_procedure: ProposalProcedure DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/proposal_procedures: OSet (ProposalProcedure DijkstraEra)/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/script: AlonzoScript DijkstraEra/Generate bytestring from CDDL and decode (annotator) -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/script: AlonzoScript DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/sub_transaction_body: MemoBytes (DijkstraTxBodyRaw SubTx DijkstraEra)/Generate bytestring from CDDL and decode (annotator) -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/sub_transaction_body: MemoBytes (DijkstraTxBodyRaw SubTx DijkstraEra)/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/transaction: DijkstraTx TopTx DijkstraEra/Generate bytestring from CDDL and decode (annotator) -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/transaction: DijkstraTx TopTx DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/transaction_body: MemoBytes (DijkstraTxBodyRaw TopTx DijkstraEra)/Generate bytestring from CDDL and decode (annotator) -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/transaction_body: MemoBytes (DijkstraTxBodyRaw TopTx DijkstraEra)/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/transaction_output: BabbageTxOut DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/transaction_witness_set: MemoBytes (AlonzoTxWitsRaw DijkstraEra)/Generate bytestring from CDDL and decode (annotator) -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/transaction_witness_set: MemoBytes (AlonzoTxWitsRaw DijkstraEra)/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/value: MaryValue/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/voting_procedure: VotingProcedure DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239
/Dijkstra/Era-specific spec/CDDL/Huddle/voting_procedures: VotingProcedures DijkstraEra/Generate bytestring from CDDL and decode -> encode/	9.6.7	1601918239