v0.3.3-pre.009-fix.001

docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md -->
-<!-- version: 14 -->
+<!-- version: 15 -->
 
 # Validation `0.3.3` — Store/PostgreSQL RawTransaction vertical slice
 
@@ -638,8 +638,10 @@ cap 500/1000 dans Store pagination
 - races archive et purge : COUVERT en tâches concurrentes ;
 - cancellation : verrou observation PostgreSQL + acquisition bloquée + `abort()` + canonical absent après rollback : COUVERT ;
 - réouverture finale : COUVERTE ;
-- gate Cargo standard : NON EXÉCUTÉ dans l'environnement de génération ;
-- test PostgreSQL réel `--ignored` : À EXÉCUTER côté opérateur.
+- premier gate Cargo opérateur : FAIL local de compilation dans le scénario cancellation, car un `Result<Transaction<'_>>` intermédiaire prolongeait l'emprunt mutable de `admin` jusqu'au probe final ;
+- `pre.009-fix.001` supprime uniquement ce binding intermédiaire et matche directement `admin.transaction().await`, sans modifier la preuve, le SQL, la production ni les migrations ;
+- gate Cargo standard de `pre.009-fix.001` : À EXÉCUTER côté opérateur ;
+- test PostgreSQL réel `--ignored` : À EXÉCUTER côté opérateur après gate standard vert.
 
 ### `pre.010`