v0.3.3-pre.003-fix.002

2026-08-30 10:26:38 +02:00
parent c17e78c6a8
commit 8fa1c8ce8d
4 changed files with 122 additions and 16 deletions
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -6,7 +6,7 @@ resolver = "3"
 members = ["crates/ksp-app-config-desk", "crates/ksp-app-solprices-desk", "crates/ksp-app-wallet-desk", "crates/ksp-config-lib", "crates/ksp-core-lib", "crates/ksp-interface-lib", "crates/ksp-logging-lib", "crates/ksp-offchain-transport-lib", "crates/ksp-onchain-transport-lib", "crates/ksp-program-api", "crates/ksp-store-api", "crates/ksp-store-lib", "crates/ksp-store-postgres-lib", "crates/ksp-wallet-lib"]

 [workspace.package]
-version = "0.3.3-pre.3.fix.1"
+version = "0.3.3-pre.3.fix.2"
 edition = "2024"
 license = "MIT"
 repository = "https://git.sasedev.com/Sasedev/khadhroony-solana-project"
--- a/crates/ksp-store-postgres-lib/src/schema.rs
+++ b/crates/ksp-store-postgres-lib/src/schema.rs
@@ -1,11 +1,11 @@
 // file: crates/ksp-store-postgres-lib/src/schema.rs
-// version: 2
+// version: 3

 /// Immutable V000 physical schema resource inventory.
 pub(crate) const V000_RESOURCES: &[SchemaResource] = &[SchemaResource {
    id: "tables/001_ksp_store_schema_migrations.sql",
    object: SchemaObjectContract::Table(TableContract {
-        columns: KSP_STORE_SCHEMA_MIGRATIONS_COLUMNS,
+        columns: STORE_SCHEMA_MIGRATIONS_COLUMNS,
        name: "ksp_store_schema_migrations",
        primary_key_columns: std::option::Option::Some("version"),
    }),
@@ -17,7 +17,7 @@ pub(crate) const V001_RESOURCES: &[SchemaResource] = &[
    SchemaResource {
        id: "tables/001_ksp_store_identity.sql",
        object: SchemaObjectContract::Table(TableContract {
-            columns: KSP_STORE_IDENTITY_COLUMNS,
+            columns: STORE_IDENTITY_COLUMNS,
            name: "ksp_store_identity",
            primary_key_columns: std::option::Option::None,
        }),
@@ -27,7 +27,7 @@ pub(crate) const V001_RESOURCES: &[SchemaResource] = &[
    SchemaResource {
        id: "tables/002_ksp_raw_transactions.sql",
        object: SchemaObjectContract::Table(TableContract {
-            columns: KSP_RAW_TRANSACTIONS_COLUMNS,
+            columns: RAW_TRANSACTIONS_COLUMNS,
            name: "ksp_raw_transactions",
            primary_key_columns: std::option::Option::None,
        }),
@@ -37,7 +37,7 @@ pub(crate) const V001_RESOURCES: &[SchemaResource] = &[
    SchemaResource {
        id: "tables/003_ksp_raw_transaction_observations.sql",
        object: SchemaObjectContract::Table(TableContract {
-            columns: KSP_RAW_TRANSACTION_OBSERVATIONS_COLUMNS,
+            columns: RAW_TRANSACTION_OBSERVATIONS_COLUMNS,
            name: "ksp_raw_transaction_observations",
            primary_key_columns: std::option::Option::None,
        }),
@@ -47,7 +47,7 @@ pub(crate) const V001_RESOURCES: &[SchemaResource] = &[
    SchemaResource {
        id: "tables/004_ksp_raw_transaction_archive_payloads.sql",
        object: SchemaObjectContract::Table(TableContract {
-            columns: KSP_RAW_TRANSACTION_ARCHIVE_PAYLOADS_COLUMNS,
+            columns: RAW_TRANSACTION_ARCHIVE_PAYLOADS_COLUMNS,
            name: "ksp_raw_transaction_archive_payloads",
            primary_key_columns: std::option::Option::None,
        }),
@@ -506,7 +506,7 @@ pub(crate) enum SchemaResourceState {
    Missing,
 }

-const KSP_STORE_SCHEMA_MIGRATIONS_COLUMNS: &[ColumnContract] = &[
+const STORE_SCHEMA_MIGRATIONS_COLUMNS: &[ColumnContract] = &[
    ColumnContract {
        name: "version",
        nullable: false,
@@ -536,7 +536,7 @@ const KSP_STORE_SCHEMA_MIGRATIONS_COLUMNS: &[ColumnContract] = &[
        udt_name: "timestamptz",
    },
 ];
-const KSP_STORE_IDENTITY_COLUMNS: &[ColumnContract] = &[
+const STORE_IDENTITY_COLUMNS: &[ColumnContract] = &[
    ColumnContract {
        name: "singleton",
        nullable: false,
@@ -552,7 +552,7 @@ const KSP_STORE_IDENTITY_COLUMNS: &[ColumnContract] = &[
        udt_name: "text",
    },
 ];
-const KSP_RAW_TRANSACTIONS_COLUMNS: &[ColumnContract] = &[
+const RAW_TRANSACTIONS_COLUMNS: &[ColumnContract] = &[
    ColumnContract {
        name: "signature",
        nullable: false,
@@ -610,7 +610,7 @@ const KSP_RAW_TRANSACTIONS_COLUMNS: &[ColumnContract] = &[
        udt_name: "text",
    },
 ];
-const KSP_RAW_TRANSACTION_OBSERVATIONS_COLUMNS: &[ColumnContract] = &[
+const RAW_TRANSACTION_OBSERVATIONS_COLUMNS: &[ColumnContract] = &[
    ColumnContract {
        name: "observation_key",
        nullable: false,
@@ -710,7 +710,7 @@ const KSP_RAW_TRANSACTION_OBSERVATIONS_COLUMNS: &[ColumnContract] = &[
        udt_name: "int8",
    },
 ];
-const KSP_RAW_TRANSACTION_ARCHIVE_PAYLOADS_COLUMNS: &[ColumnContract] = &[
+const RAW_TRANSACTION_ARCHIVE_PAYLOADS_COLUMNS: &[ColumnContract] = &[
    ColumnContract {
        name: "signature",
        nullable: false,
@@ -759,7 +759,7 @@ pub(crate) async fn verify_v001_external_compatibility(
 ) -> std::result::Result<(), crate::PostgresBackendError> {
    for table in V001_TABLE_NAMES {
        let table = *table;
-        let constraint_rows = transaction.query(UNEXPECTED_CONSTRAINTS_SQL, &[table]).await;
+        let constraint_rows = transaction.query(UNEXPECTED_CONSTRAINTS_SQL, &[&table]).await;
        let constraint_rows = match constraint_rows {
            std::result::Result::Ok(value) => value,
            std::result::Result::Err(_) => return schema_query_error("schema_constraint_inventory"),
@@ -790,7 +790,7 @@ pub(crate) async fn verify_v001_external_compatibility(
                return schema_incompatible("schema_external_constraint");
            }
        }
-        let unique_rows = transaction.query(UNIQUE_INDEXES_SQL, &[table]).await;
+        let unique_rows = transaction.query(UNIQUE_INDEXES_SQL, &[&table]).await;
        let unique_rows = match unique_rows {
            std::result::Result::Ok(value) => value,
            std::result::Result::Err(_) => return schema_query_error("schema_unique_index_inventory"),
--- a/deltas/0.3.3/pre.003-fix.002.md
+++ b/deltas/0.3.3/pre.003-fix.002.md
@@ -0,0 +1,99 @@
+<!-- file: deltas/0.3.3/pre.003-fix.002.md -->
+<!-- version: 1 -->
+
+# Delta `0.3.3-pre.003-fix.002` — correctif compilation et ownership du contrat PostgreSQL
+
+## 1. Base et objectif
+
+Ce correctif s’applique **par-dessus `0.3.3-pre.003-fix.001`**. Le gate opérateur de `fix.001` a confirmé que les audits Rust/Markdown étaient propres, mais a échoué sur deux défauts localisés :
+
+1. `schema.rs` transmettait un `&str` directement dans deux slices de paramètres `tokio-postgres`, alors que le cast vers `&(dyn ToSql + Sync)` nécessite ici un `&&str` ;
+2. cinq constantes internes du contrat de colonnes commençaient par `KSP_`, namespace que les canaris Config réservent aux variables d’environnement runtime, ce qui provoquait à la fois un refus d’ownership Store et une fausse exigence `.env.example`.
+
+Version workspace après application :
+
+```text
+0.3.3-pre.3.fix.2
+```
+
+Identifiant de livraison :
+
+```text
+0.3.3-pre.003-fix.002
+```
+
+## 2. Correctifs
+
+### 2.1 Paramètres catalogue `tokio-postgres`
+
+Les deux appels concernés deviennent :
+
+```text
+transaction.query(UNEXPECTED_CONSTRAINTS_SQL, &[&table])
+transaction.query(UNIQUE_INDEXES_SQL, &[&table])
+```
+
+Aucune requête SQL ni logique d’introspection n’est modifiée.
+
+### 2.2 Namespace `KSP_` réservé à Config
+
+Les constantes privées suivantes sont renommées sans changer leur contenu :
+
+```text
+KSP_STORE_SCHEMA_MIGRATIONS_COLUMNS          -> STORE_SCHEMA_MIGRATIONS_COLUMNS
+KSP_STORE_IDENTITY_COLUMNS                   -> STORE_IDENTITY_COLUMNS
+KSP_RAW_TRANSACTIONS_COLUMNS                 -> RAW_TRANSACTIONS_COLUMNS
+KSP_RAW_TRANSACTION_OBSERVATIONS_COLUMNS     -> RAW_TRANSACTION_OBSERVATIONS_COLUMNS
+KSP_RAW_TRANSACTION_ARCHIVE_PAYLOADS_COLUMNS -> RAW_TRANSACTION_ARCHIVE_PAYLOADS_COLUMNS
+```
+
+Le test ownership n’est pas assoupli et `.env.example` n’est pas pollué par de faux noms runtime.
+
+## 3. Invariants inchangés
+
+Ce fix ne modifie aucune ressource SQL. L’arborescence V000/V001, l’ordre embedded, le binding réseau et le contrat `Compatible/Missing/Incompatible` restent inchangés.
+
+Checksums attendus inchangés :
+
+```text
+V000 d29068b8c13b9dc0cc9ef6aaadd0fa12d41e0fe4c56541a1118c4bfc846a1450
+V001 31488cda2f08f3f46c4cdbdbb6c18c243662fada02eac4487040c8735d72cc51
+```
+
+## 4. Fichiers modifiés
+
+- `Cargo.toml`
+- `crates/ksp-store-postgres-lib/src/schema.rs`
+- `docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md`
+
+## 5. Fichier ajouté
+
+- `deltas/0.3.3/pre.003-fix.002.md`
+
+## 6. Suppressions
+
+Aucune suppression supplémentaire dans `fix.002`. Les deux suppressions demandées par `fix.001` restent acquises :
+
+```text
+crates/ksp-store-postgres-lib/migrations/V000__bootstrap.sql
+crates/ksp-store-postgres-lib/migrations/V001__raw_transaction.sql
+```
+
+## 7. Gate opérateur
+
+Après extraction du delta par-dessus `fix.001` :
+
+```bash
+cargo fmt --all
+python3 scripts/audit_rust_workspace_rules.py
+python3 scripts/audit_markdown_tables.py README.md RULES.md ROADMAP.md CHANGELOG.md docs prompts crates deltas/0.3.3
+cargo check --workspace
+cargo clippy --workspace --all-targets
+cargo test -p ksp-store-api
+cargo test -p ksp-store-lib
+cargo test -p ksp-store-postgres-lib
+cargo test -p ksp-config-lib
+cargo check -p ksp-store-lib --no-default-features
+```
+
+Le correctif ne doit être considéré validé qu’après gate Cargo opérateur vert.
--- a/docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md
+++ b/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: 4 -->
+<!-- version: 5 -->

 # Validation `0.3.3` — Store/PostgreSQL RawTransaction vertical slice

@@ -11,7 +11,7 @@ Cette validation accompagne :
 0.3.3 — Store/PostgreSQL RawTransaction vertical slice
 ```

-Elle démarre en `0.3.3-pre.001` comme matrice de preuve. Les gates opérateur de `pre.001` et `pre.002` sont verts. `pre.003` a été commité avant son gate opérateur ; `pre.003-fix.001` corrige donc sa matérialisation physique par-dessus ce commit. Les lignes non encore implémentées restent explicitement `À FAIRE`; elles ne sont pas présentées comme acquises.
+Elle démarre en `0.3.3-pre.001` comme matrice de preuve. Les gates opérateur de `pre.001` et `pre.002` sont verts. `pre.003` a été commité avant son gate opérateur ; `pre.003-fix.001` corrige donc sa matérialisation physique par-dessus ce commit. Son premier gate opérateur a ensuite révélé un défaut de binding `ToSql` dans l’introspection catalogue et un faux positif ownership dû à des constantes internes `KSP_*`; `pre.003-fix.002` corrige uniquement ces deux défauts sans modifier le contrat physique ni les checksums de migration. Les lignes non encore implémentées restent explicitement `À FAIRE`; elles ne sont pas présentées comme acquises.

 ## 2. Baseline stable

@@ -544,6 +544,13 @@ cap 500/1000 dans Store pagination
 - politiques `schema_autocreate` / `schema_autoupdate` + compatibilité Config V1 : PASS statique ;
 - extensions externes non bloquantes tolérées, extensions write-blocking refusées : PASS statique ;
 - preuve PostgreSQL réelle V001/drift/réparation : différée à `pre.009` ;
+- gate Cargo opérateur : FAIL sur `schema.rs` (`&str`/`ToSql`) puis sur les canaris ownership Config (`KSP_*` interne interprété comme variable runtime).
+
+### `pre.003-fix.002`
+
+- binding des paramètres catalogue `&str` vers `ToSql` corrigé avec `&&str` : PASS statique ;
+- constantes de contrat renommées sans préfixe `KSP_` réservé au namespace d’environnement Config : PASS statique ;
+- aucune ressource SQL, aucun ordre de migration et aucun checksum V000/V001 modifié ;
 - gate Cargo opérateur : À EXÉCUTER.

 ### `pre.004`