High level summary
Much of the work the past two weeks involved integration efforts, cleaning up and debugging some serialization issues, adding tests, and work on large projects that are still ongoing. We also released a CIP this week that aims to make the ledger a registered CIP category.
Lower level summary
Ledger evolution CIP
We published a CIP that will make the Cardano ledger a registered category of the CIP process.
We had previously thought that we had found a serialization problem with the redeemers, but it turned out to just be particularly confusing code. We have now clarified the issue for the future.
See pull-3263, pull-3269, and pull-3268.
Starting in protocol version 9, we will no longer accept duplicate keys in CBOR maps.
We added a new property test suite for some of our custom containers.
Progress on a better cost model serialization situation.
We are still working our way through issue-2902. Towards this end, we are now properly gating the new flexible encoders until version 9.
We are still experimenting with moving more CI actions to GitHub actions.
Constraint based generators
We continue to add to our proof of concept for constraint based generators. See the previous ledger update for more information about this project.