Models consistency, isolation, and integrity guarantees across transactions, replicas, and services. Use when choosing isolation levels, designing cross-service data flows, debugging anomalies like lost updates or dirty reads, or deciding between strong and eventual consistency.
