{"id":"payment-overdraft-not-atomic","text":"The overdraft check in `process_payment` reads balance and then processes without atomicity — a TOCTOU race in any concurrent context.","truth_value":"OUT","source":"entries/2026/06/05/topic-consistency-models.md","source_url":"","source_hash":"","justifications":[],"dependents":["payment-double-entry-guarantees-balance-integrity","payment-toctou-double-jeopardy"],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:29+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:29+00:00","explanation":{"steps":[{"node":"payment-overdraft-not-atomic","truth_value":"OUT","reason":"retracted premise"}]}}