# Jepsen

ParticleDB测试发现96个缺陷，文档与实现存在矛盾

Jepsen测试发现ParticleDB存在96个缺陷。该数据库宣称经正式验证且支持全ACID，但实际缺乏TLA+规范，文档中关于持久性保证及隔离级别的描述也存在矛盾。