Simulation run on this device. Scenario values are not sent anywhere — the engine is fully local.
system design game · free
Jepsen History Inspector
Re-order concurrent operations and judge which interleavings hold.
Is this history linearizable?
Engine 1.0.0 · game
10500
3
8
- Anomaly rate
- 3.75%
- Severity
- warn
- Ops / client
- 10.0
- Anomalies
- 3
History violates the claimed isolation model.
3/80 anomalous
Method
- Deterministic local model of the mechanism — knobs recompute outputs instantly with no network.
- Numbers are teaching approximations, not production capacity guarantees.