v0.3.3-pre.010-fix.001

This commit is contained in:
2026-08-30 16:07:51 +02:00
parent 12eaf7a3de
commit 282b616a0e
4 changed files with 98 additions and 7 deletions

View File

@@ -1,5 +1,5 @@
<!-- file: docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md -->
<!-- version: 21 -->
<!-- version: 22 -->
# Validation `0.3.3` — Store/PostgreSQL RawTransaction vertical slice
@@ -821,8 +821,15 @@ cargo check -p ksp-store-lib --no-default-features
- [PASS statique] inventaire exact dune implémentation de chacun des six traits `RawTransaction` côté `PostgresBackend` et côté `Store` ;
- [PASS statique] absence dimplémentation `RawAccountState` et de ressource `ksp_raw_account*` ;
- [PASS statique] canari SQL conserve keyset ASC/DESC, `LIMIT`, `FOR UPDATE`, `ON CONFLICT DO NOTHING` et archive séparée, sans `OFFSET`, `SELECT *`, `ON CONFLICT DO UPDATE` ni policy worker ;
- [PASS statique] canari SQL conserve keyset ASC/DESC, `LIMIT`, `FOR UPDATE`, les deux formes ciblées `ON CONFLICT (...) DO NOTHING` et archive séparée, sans `OFFSET`, `SELECT *`, `ON CONFLICT DO UPDATE` ni policy worker ;
- [PASS statique] les 18 variantes actuelles de `PostgresBackendErrorKind` sont couvertes par le mapping capability backend et par le mapping façade ;
- [PASS statique] aucun fichier de production ou migration nest modifié ; checksums V000/V001 inchangés ;
- [À FAIRE] gate Cargo opérateur complet de `pre.010`.
- [FAIL local] premier gate opérateur : le canari SQL cherchait littéralement `ON CONFLICT DO NOTHING`, sous-chaîne absente des formes réelles `ON CONFLICT (signature) DO NOTHING` et `ON CONFLICT (observation_key) DO NOTHING`.
### `pre.010-fix.001` — correction du canari `ON CONFLICT`
- [PASS statique] le canari exige désormais explicitement `ON CONFLICT (signature) DO NOTHING` et `ON CONFLICT (observation_key) DO NOTHING` ;
- [PASS statique] lidempotence canonique et observation est donc vérifiée contre les deux statements réellement possédés par `raw_transaction.rs` ;
- [PASS statique] aucune logique runtime, SQL de production, migration ou checksum V000/V001 nest modifié ;
- [À FAIRE] gate Cargo opérateur complet de `pre.010-fix.001`.