CutoverProof
CutoverProof stress-tests PostgreSQL migrations across realistic interleavings, revealing data-loss races as runnable counterexamples before cutover.
Core trick
Enumerates interleavings of concurrent migration steps and replays each as a runnable counterexample against PostgreSQL.