“We present 96 issues in ParticleDB, ranging from the pedestrian (crashes, deadlocks, data loss, etc.) to the piquant (partially-invisible rows which could not be deleted, WHERE 4 = 5, dropped tables re-emerging in distorted forms, confused columns, strings turning into integers, and so on).”
ParticleDB’s home page promised “Full ACID. 159K TPS.” and a TLA+ proof. Jepsen found 96 bugs and no TLA+ spec. Most needed one server, one client and no faults. After all the fixes, the default mode still lost committed writes.