Ledger Team Update

High level summary

Same as with the prior report we are focusing on testing Conway features and conformance testing. One bug was discovered and fixed as a result of this testing, which would only have affected Conway functionality until after the bootstrap phase is over. We also finished fully defining Conway CDDL specification in Haskell.

Low level summary

Conway

• pull-4516 - Use motionNoConfidence drep thresholds to ratify NoConfidence
• pull-4503 - Improvements to plutus debug

Testing

• pull-4485 - Improvements for GOVCERT conformance test
• pull-4495 - Update executable ledger spec
• pull-4494 - Added minitracing over things with ExecSpecRule instances
• pull-4440 - Implement more tests in Alonzo.Imp.UtxowSpec.Invalid
• pull-4493 - constrained-generators: some special-case hooks for the prettyprinter
• pull-4501 - constrained-generators: Add a callback to saturate constraints
• pull-4483 - constrained-generators: Start on a tutorial / cheat sheet
• pull-4437 - Test Conway CDDL using Cuddle
• pull-4506 - Fix PParams and PParamsUpdate field order for conformance tests
• pull-4510 - Auto-generate Conway CDDL using Cuddle

Infrastructure and releasing

• pull-4498 - Update haskellNix and hls
• pull-4489 - Make better use of the GHA cache
• pull-4500 - Update Plutus deps: 1.31
• pull-4451 - Make it build with ghc-9.10
• pull-4512 - Upgrade to ghc966 and other deps
• pull-4515 - Update formal-ledger-specifications SRP note