Ticket Purchase (High Contention)

This flow covers what happens when many users attempt to buy the same tickets at once.

Why this is safe

• Correctness is enforced in PostgreSQL transactions
• Stripe and SQS are treated as at-least-once, so handlers must be idempotent