Status: OUT
`process_payment` checks balance before processing but the check and ledger write are not atomic — a race condition under concurrency that real systems solve with optimistic locking or serializable transactions
Source: entries/2026/06/05/payment-system-payment_system.md