Ledger Team Update

High level summary

The Ledger team has been shifting focus from implementing Conway related features to testing. For this reason there is a very little amount features that are reported this time aorund. Notable Conway related changes are a specialized ledger query for getting Constitutional Committee state and prevention of submitting proposal procedures that have no valid path to enactment.

Testing related work was mainly on a constraint base system as well as on roundtrip serialization. As a result of this extra testing a bug in Conway Genesis serialization was eliminated.

Low level summary

Conway era

• pull-3768 - Fail proposal on invalid prevGovActionId
• pull-3781 - CommitteeState query

Integration and releasing

• pull-3774 - Bump urllib3 from 1.26.10 to 1.26.17 in /doc
• pull-3770 - cabal.project: Bump index states
• pull-3778 - Bump plutus to 1.14

Testing

• pull-3769 - Add roundtrip testing by validating FlatTerm
• pull-3783 - Update TranslationInstance.hs
• pull-3775 - Refactor and improve constraint based STS tests
• pull-3793 - Fix sums with negative RHS.