in light of the ParticleDB fiasco, i was thinking about datalevin and wondering if you'd ever thought of reaching out to jepsen directly for analysis. i see from a search that you're already using their test suite, which is great.