Notes on Lit3 — Part 6: Lit3Ledger.sol