mint

fun mint(mintId: MintId, holder: ReplicaId, amount: Long): Patch<EntitlementLedger>

Introduce root supply: credit holder with amount units under mintId. Control-plane only (design §9); the one non-conserving op and the only mutator with no feasibility gate, so it never returns null. mintId MUST be unique per mint act so distinct acts union rather than max-collide (design fix 4).