Balance enforced at encoding.
A BitLedger frame that does not balance cannot be constructed. The format prevents it — the way a physical scale prevents removing weight from one side without adding it to the other. Not a validation check. A structural property.
invariant · structural