State and Transaction Safety
Kind: algorithm
Record: algorithms:state-and-transaction-safety
Canonical: Algorithms
Closure: Dependencies in load order
Identify state mutation boundaries, enforce unit-of-work scope, validate invariants, apply concurrency control, guarantee idempotency where retries exist, and isolate side effects.
Listed in Algorithm contracts, after Event and Messaging Consistency and before Correctness Verification.