TLA+ Caught a Silent Data Divergence Bug in Postgres's pg_rewind #1 Post by wizerno » Fri, May 08, 2026, 4:33 PM UTC TLA+ Caught a Silent Data Divergence Bug in Postgres's pg_rewindmultigres.com