Financial systems and transaction infrastructure
Double-entry ledgers with invariants enforced in code: entries that must balance, immutable postings, derived balances, holds, and idempotency guaranteed by database constraints rather than by application checks. Integer minor units end to end.
- Balanced entries or rejection
- Append-only corrections
- Derived balances
- Constraint-level idempotency