From 8fa1c8ce8d50fb0c93bf65360f6b17d55297d348 Mon Sep 17 00:00:00 2001 From: SinuS Von SifriduS Date: Sun, 30 Aug 2026 10:26:38 +0200 Subject: [PATCH] v0.3.3-pre.003-fix.002 --- Cargo.toml | 2 +- crates/ksp-store-postgres-lib/src/schema.rs | 26 ++--- deltas/0.3.3/pre.003-fix.002.md | 99 +++++++++++++++++++ ...0-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md | 11 ++- 4 files changed, 122 insertions(+), 16 deletions(-) create mode 100644 deltas/0.3.3/pre.003-fix.002.md diff --git a/Cargo.toml b/Cargo.toml index c0a641b..8f75778 100644 --- 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" diff --git a/crates/ksp-store-postgres-lib/src/schema.rs b/crates/ksp-store-postgres-lib/src/schema.rs index 0c627d2..1d0e568 100644 --- 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"), diff --git a/deltas/0.3.3/pre.003-fix.002.md b/deltas/0.3.3/pre.003-fix.002.md new file mode 100644 index 0000000..aa102ce --- /dev/null +++ b/deltas/0.3.3/pre.003-fix.002.md @@ -0,0 +1,99 @@ + + + +# 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. diff --git a/docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md b/docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md index 6bbeb6e..b81ba63 100644 --- 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 @@ - + # 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`