Fragment

DDD - Invariants

Fixed conditions that always hold regardless of state. A transaction ledger should always lead to the same result if we go through every historical action that would change the user balance.