We trust our databases, queues, and other systems to store acknowledged writes, to serve them up later, and to isolate transactions from one another. But can we really trust them? Jepsen combines concurrent, generative tests with fault injection to measure distributed systems safety. We’ll learn about Datomic, Bufstream, and TigerBeetle, and show how three unconventional systems ensure–or violate–key safety properties.