{"id":"payment-balance-check-not-atomic","text":"`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","truth_value":"OUT","source":"entries/2026/06/05/payment-system-payment_system.md","source_url":"","source_hash":"","justifications":[],"dependents":["all-monetary-operations-maintain-double-entry-invariant","financial-concurrency-is-comprehensively-safe","financial-correctness-is-end-to-end","ledger-interpretation-is-consistently-safe","payment-toctou-double-jeopardy"],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:25+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:25+00:00","explanation":{"steps":[{"node":"payment-balance-check-not-atomic","truth_value":"OUT","reason":"retracted premise"}]}}