Problem Statement
How do you test consistency guarantees before launch?
Explanation
Use fault injection to drop, delay, and reorder messages. Run Jepsen-style workloads that assert invariants such as no lost updates and monotonic reads per client. Measure replica lag, quorum behavior, and read-your-writes. Add shadow traffic and verify traces across regions. Document observed anomalies and ensure they match your chosen model.
Code Solution
SolutionRead Only
Chaos: partition A|B for 5 min; run writes; validate invariants post-heal
