Remove Coders from testlibs and tests

[aniketd]

Description

Part of addressing #5718

• Merge Stop using Summands from Coders for PV12+ #5860 first

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 continues the #5718 effort by removing usage of Cardano.Ledger.Binary.Coders from test libraries and test code, switching test-side CBOR encoders/decoders to the newer Cardano.Ledger.Binary primitives (encodeListLen, decodeRecordNamed, decodeRecordSum, decodeSparseKeyed).

Changes:

• Replace Coders-based record/sum encoding and decoding with encodeListLen + direct encCBOR, and decodeRecordNamed/decodeRecordSum.
• Migrate sparse-keyed decoding in test annotators to decodeSparseKeyed.
• Add OverloadedStrings where needed for Text-typed decoder names.

Reviewed changes

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

Show a summary per file

File	Description
libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/WitnessUniverse.hs	Switch WitUniv CBOR encoding from Coders.Rec to encodeListLen + field encodings.
libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Utxo.hs	Replace Coders sum/record encode/decode with decodeRecordSum + encodeListLen/encodeWord.
libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Instances/Ledger.hs	Update ProposalsSplit CBOR instances to non-Coders primitives (encodeListLen, decodeRecordNamed).
libs/cardano-ledger-core/testlib/Test/Cardano/Ledger/Core/KeyPair.hs	Switch KeyPair CBOR encoding from Coders.Rec to encodeListLen + field encodings.
libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/ExecSpecRule/Conway/Ledger.hs	Remove Coders from exec-context CBOR encoding; use encodeListLen.
libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/ExecSpecRule/Conway/Cert.hs	Remove Coders from exec-context CBOR encode/decode; use encodeListLen/decodeRecordNamed.
eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Binary/Annotator.hs	Replace Coders record + sparse-keyed decoding with decodeRecordNamed/decodeSparseKeyed.
eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Translation/TranslationInstance.hs	Replace Coders record encode/decode for TranslationInstance with encodeListLen/decodeRecordNamed.
eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Binary/Annotator.hs	Remove Coders usage in multiple Alonzo annotator decoders; use decodeRecordNamed, decodeSparseKeyed, decodeRecordSum.
eras/allegra/impl/testlib/Test/Cardano/Ledger/Allegra/Binary/Annotator.hs	Replace Coders decode helpers with direct decoders and decodeRecordNamed/decodeRecordSum.

---

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

[lehins]

Very nice! Thank you!