payment-overdraft-not-atomic

Status: OUT

The overdraft check in `process_payment` reads balance and then processes without atomicity — a TOCTOU race in any concurrent context.

Source: entries/2026/06/05/topic-consistency-models.md

Depended on by

• payment-double-entry-guarantees-balance-integrity
• payment-toctou-double-jeopardy

JSON