Protocol-Aware Deterministic Simulation Testing

Systems Distributed '26 in Boston | Get Tickets ↓ --> Docs Pricing Blog Company Stories 14.1K 16.9K Cloud Protocol-Aware Deterministic Simulation Testing Aug 20, 2026 Chaitanya Bhandari TigerBeetle’s deterministic simulator is protocol-aware, which enables us to test safety and liveness invariants not just at the database level, but also at the level of each individual replica. if (replica.status == .recovering_head) assert(fault); In this post, we cover the mechanics, method, and merits of goin