fix(db): KF-020 SELECT FOR UPDATE in invoices::update (closes #49)

[guycorbaz]

Summary

Item #2 du prep sprint Epic 8 (validé Guy 2026-05-01). Ferme la race no-op résiduelle KF-004 documentée Story 7-3 §race-condition.

Scope chirurgical : 1 ligne SQL dans invoices::update (SELECT → SELECT ... FOR UPDATE), même pattern que delete(), validate_invoice(), mark_as_paid() déjà en place dans le même fichier. Hors scope : les autres entités variant A (contacts, products, companies, accounts, users, company_invoice_settings, bank_accounts) — cf. issue #49 « Hors scope ».

Race fermée

Sous REPEATABLE READ + plain SELECT, une tx parallèle qui commit entre BEGIN et le no-op check (is_no_op_change) pouvait laisser fuiter un snapshot stale en 200 OK. Avec FOR UPDATE :

• Le X-lock attend la fin de la tx concurrente.
• La lecture post-lock retourne v=N+1.
• La version-check applicative déclenche le 409 attendu.

Tests

• Nouveau test_update_concurrent_no_op_vs_mutation_no_stale_snapshot_kf020 dans crates/kesh-db/src/repositories/invoices.rs : 30 itérations tokio::join (mutation A vs no-op B même expected_version=N) avec pool dédié 6 connexions. Asserts les invariants : A=Ok(v=N+1), B=Ok(v=N) ou OptimisticLockConflict, DB final cohérent. Tolère Sqlx(deadlock) rare avec trace eprintln.
• Docstring AC Story 6-2: Multi-tenant scoping refactor — Pass 3 remediation complete #29 mise à jour dans crates/kesh-api/tests/kf004_no_op_e2e.rs.

Tests verts (release) : 39/39 kesh-db invoices, 6/6 kf004 e2e.

Code review (1 passe Sonnet adversariale)

Approche option B (validée Guy) : 1 passe code review LLM différent de l'implémenteur Opus, contexte frais, sans story BMAD complète (l'issue #49 = la spec).

#	Severity	Finding	Action
H-1	HIGH	Test unwrap_or_else(panic!) masque deadlock MariaDB rare	✅ Patché (assertion relax + trace)
M-1	MEDIUM	Lock-ordering doc manquant sur update()	✅ Patché (docblock canonique ajouté)
M-2	MEDIUM	DRY violation delete() SQL inline	⏸️ Defer (pré-existant, hors scope)
M-3	MEDIUM	max_connections=4 serré	✅ Patché (4 → 6)
L-1, L-2	LOW	Cosmétique (… vs ..., phrasing)	✅ Patché
L-3	LOW	Date 2026-05-02	⏸️ Defer (today = 05-02 confirmé)
L-4	LOW	validate_invoice lock comment	⏸️ Defer (autre fonction)

Verdict reviewer : GO.

Test plan

• cargo check workspace
• cargo clippy --all-targets -D warnings (kesh-db)
• cargo fmt --check
• cargo test -p kesh-db --lib (39/39 passent, dont nouveau test concurrent)
• cargo test -p kesh-api --test kf004_no_op_e2e (6/6 passent)
• 1 passe code review adversariale Sonnet → GO post-remediation
• CI verts (Backend / Frontend / Docker)
• Issue [KF-020] invoices::update : passer en SELECT FOR UPDATE pour fermer la race no-op KF-004 résiduelle #49 fermée auto par closes #49

Suite — prep sprint Epic 8

Items restants :

1. ✅ Créer epic-8.md (PR docs(epic-8): create planning artifact + open CR-009/CR-010 #63 mergée)
2. ⏳ KF-020 [KF-020] invoices::update : passer en SELECT FOR UPDATE pour fermer la race no-op KF-004 résiduelle #49 SELECT FOR UPDATE → ce PR
3. ⏳ KF-002-H-002 [KF-002-H-002] Deadlock-retry middleware for finalize multi-locks #43 deadlock-retry middleware
4. ⏳ Spike kesh-import crate design

🤖 Generated with Claude Code