1
Sistema reserva um assento por vez — nunca múltiplos recursos simultâneos
2
Cada reserva: 1 lock Redis + 1 linha Postgres — sem espera circular
3
A1+A3 → 2 requisições independentes — operação multi-lock não existe
4
Transaction Prisma garante atomicidade no pagamento — tudo ou nada