Live correctness proof
Fire a global race. Watch the invariant hold.
This spins up many buyers tagged across five AWS Regions and makes them collide on a scarce lot at the exact same moment, the situation an eventually-consistent store gets wrong. Aurora DSQL's strongly-consistent, optimistic-concurrency transactions let exactly the right number of winners through. Everything is created and torn down per run.
50 buyers worldwide rush a drop with only 1 unit.
Testing utilities
Restore the demo lots, wallets, and activity feed to a clean starting state.