SQLite's 15-year-old WAL-Reset race condition, caught by Antithesis in 15 minutes from a phone
Breaking the WAL
While on vacation, Antithesis engineer Carl Sverre read about SQLite 3.51.3 fixing a WAL-Reset race condition that had lurked since 2010. He had Claude instrument SQLite 3.51.2 with assertions and write a concurrent read/write workload; Antithesis reproduced the data-loss bug in 15 minutes. The same workload ran clean on 3.51.3. Tailscale had spent six months chasing this bug, building new logging pipelines and a VFS debugging shim to root-cause it. Sverre's agent-assisted workflow went from reproduction to fix verification in under an hour, from his phone. The post does not disclose Antithesis pricing.