Report for 2025-12-05

Key accomplishments

Added a lightweight testlib alongside scls-cardano, making it easy to write QuickCheck-style round-trip tests for every type we support.
Reorganised the library layout so downstream users only pull in the pieces they actually need.
Used the new testlib to verify that all reachable types in cardano-ledger library can be encoded into SCLS format and decoded back.
Continued work on scls-cbor, the canonical CBOR encoder library. The goal: make defining canonical structures (especially maps and tables) straightforward and hard to misuse.

Finish the canonical encoder implementation (the last rough edges are around map/table handling and ergonomics).
Port the current cardano-ledger HEAD instances to the canonical-CBOR serialisation layer so we can generate canonical output directly from existing ledger types.