txn​-sim MVCC · isolation levels · deadlocks
TICK 0
Isolation levels & the anomaly matrix read the rules the engine implements

Scenario

Transactions

isolation per txn

Scenario editor

author your own

Execution timeline

Wait-for graph

no waiters

Snapshot inspector

Event log

Rows, locks & version chains

expandable

Metrics

Data integrity

What happened & why