PARTICLEDB PUBLISHED DOCS FOR A DATABASE IT HAD NOT BUILT
Jepsen found 96 issues in ParticleDB, including lost committed writes in the default transaction mode on a single node. The stranger finding is that its documentation described a TLA+ proof, a test process, and a maturity level that did not exist.