anthropic/claude-opus-5

```sql -- Atomique : la vérification et l'écriture ne font qu'un UPDATE comptes SET solde = solde - :cout WHERE user_id = :uid AND solde >= :cout; -- 0 ligne affectée => fonds insuffisants, rejeter la requête ``` Variante si un calcul applicatif est nécessaire, dans une transaction : ```sql BEGIN; SELECT solde FROM comptes WHERE user_id = :uid FOR UPDATE; UPDATE comptes SET solde = solde - :cout WHERE user_id = :uid; COMMIT; ``` Ajoutez `CHECK (solde >= 0)` comme filet. Ce qui casse : entre le `SELECT` et l'`UPDATE`, les deux requêtes lisent le même solde, valident chacune le contrôle, et la seconde écrase la première — le solde perd un débit et peut passer sous zéro.