Hold a Tatkal berth in an in-memory Redis simulator, let holds expire mid-payment, race a rival booking agent, and simulate server crashes. Compare Production architecture against the Naive lock implementation to observe the exact race conditions that cause double-booking.