Preserve correctness across services with local transactions, idempotency keys, optimistic concurrency, sagas, outboxes, and compensating actions.