01 · Concurrency
Two buyers. One listing. One winner.
Buyer A
POST /orders
Buyer B
same listing
PostgreSQL conditional transition
ACTIVE → RESERVED
Winner
201 · order committed
Loser
409 · reservation conflict
The invariant lives in PostgreSQL, so correctness does not depend on which API process receives the request.
