The empty ledger: no topology, no supply, no accounting. The lattice bottom.
A ledger seeded with root supply for one mint act: each (replica, amount) in mint becomes a MintRecord credited to that replica, keyed by a MintId unique to this act.
(replica, amount)