khadhroony-solana-project/docs/validation/025-V0_3_8_STORE_DESK.md

Validation v0.3.8 — Store Desk V1 RAW

1. Gate pre.001

• archive stable KSP v0.3.7 identifiée comme base exclusive ;
• workspace.package.version = 0.3.7 avant modification ;
• deltas/0.3.7/rel.001.md présent ;
• prompt 027 et règles KSP relus ;
• Store API/lib/PostgreSQL et gabarits Desk audités ;
• archive kbot3 isolée et utilisée uniquement comme référence fonctionnelle/UX ;
• npm/DataTables KSP inventorié ;
• capability/gap/screen/table/pagination/DTO/threat maps produites ;
• décision d'architecture pagination tranchée avant scaffold ;
• aucun code kbot3, SQL app-owned ou scaffold Store Desk livré en pre.001.

2. Preuve des archives

Source	SHA-256	Résultat	Usage
khadhroony-solana-project-v0.3.7.zip	d57132960e4c280a67e59bea02ce08a61665890bdfb6ef16b7faf1b3c57070ae	1 702 entrées, ZIP propre	source exclusive de code
khadhroony-bot3_v0.5.3-pre.005-fix010-thelatest1.zip	ee47643b9f8b582ee8db97b2381ec107e45aef8c009fee44757531514615d318	2 501 entrées, ZIP propre	référence fonctionnelle/UX

Aucune entrée absolue, traversal, séparateur inversé ou lien symbolique ZIP n'a été détectée.

3. Baseline locale avant modification

• python3 scripts/audit_rust_workspace_rules.py : propre, zéro candidat d'export ;
• audit Markdown : propre, 301 tables / 687 fichiers ;
• cargo fmt --all -- --check : non exécuté localement, cargo absent ;
• cargo check --workspace : non exécuté localement, cargo absent ;
• cargo clippy --workspace --all-targets : non exécuté localement, cargo absent ;
• tests ciblés Store/Config : non exécutés localement, cargo absent.

Le journal opérateur fourni pour v0.3.7 rapporte un gate complet. Il reste une preuve externe de baseline et n'est pas présenté comme une exécution locale de pre.001.

4. Décision pagination / inspection

• RawPageRequest / RawPage<T> cursor-keyset existants sont conservés sans modification ;
• le pager Store Desk ne les expose pas ;
• DataTables serverSide exige start, length, recordsTotal, recordsFiltered ;
• DataTables accepte ajax comme fonction custom, compatible avec un invoke() Tauri sans fetch ;
• une primitive Store backend-neutral d'inspection offset/count est justifiée ;
• deux capabilities read fine-grained Tx/Account sont préférées à la modification des traits RAW existants ;
• les pages d'inspection retournent des summaries sans payload/data bytes ;
• total_items et filtered_items sont exacts dans la sémantique de query ;
• page length UX = 25/50/100 ; length = -1 interdit ;
• DataTables search arbitraire désactivée en V1 ;
• filtres Store explicites et ordre canonique seulement ;
• un seul pager est visible : celui de DataTables ;
• aucun pager « bloc Store » ou paging local imbriqué ne subsiste.

5. Capability gaps et trajectoire

• list/get RawTransaction cursor existe ;
• list/get RawAccountState cursor existe ;
• read observation par key existe pour Tx et Account ;
• inspection offset/count/summary manque en v0.3.7 ;
• listing observations Tx/Account manque ;
• aucun gap n'est contourné par SQL dans l'app ;
• inspection Tx/Account est planifiée dans Store API/lib/PostgreSQL avant l'UI métier ;
• observation listing reste une extension Store dédiée ultérieure ;
• les counts restent logiques/backend-neutral et n'exposent aucun diagnostic physique PostgreSQL.

6. Gabarit / npm

• GABARIT STORE DESK = KSP ;
• ports réservés 1438/1439 ;
• shell/splash/fonts/assets dérivent uniquement des Desks KSP ;
• datatables.net-bs5 ^3.0 retenu ;
• Select non retenu par défaut ;
• aucune version/package kbot3 n'est utilisée ;
• audit externe : DataTables 3.0.3 / Select 4.0.1 le 2026-09-03, sans upgrade opportuniste.

7. DTO / sécurité

• tous les u64 métier traversent IPC en texte décimal ;
• counts convertis en number uniquement après contrôle JS-safe ;
• payload transaction et account data sont detail-only ;
• summaries d'inspection excluent les gros bytes ;
• aucun cursor Store dans le pager DataTables ;
• aucune URI/credential/backend handle/SQL n'est projeté ;
• offset/limit hostiles sont rejetés avant I/O ;
• draw DataTables sert uniquement à l'ordonnancement frontend ;
• aucune persistence navigateur RAW ;
• instrumentation exclut payload, URI, secrets et valeurs de filtres.

8. Gates futures

• pre.002 scaffold KSP strict + DataTables skeleton ;
• pre.003 contrats Store inspection offset/count/summaries ;
• pre.004 PostgreSQL + façade inspection RawTransaction ;
• pre.005 PostgreSQL + façade inspection RawAccountState ;
• pre.006 composite Logging+Store + Overview/health ;
• pre.007 RawTransaction DataTables serverSide + détail ;
• pre.008 RawAccountState DataTables serverSide + détail ;
• pre.009 observation listing/inspection Store ;
• pre.010 observations UI + hardening UX ;
• pre.011 security/dependency/release completeness ;
• pre.012 gate technique final + Tauri build + smoke read-only opt-in ;
• pre.013 réconciliation documentaire ;
• pre.014 prompt suivant + CHANGELOG + ROADMAP ;
• rel.001 publication stable v0.3.8.

9. Gate post-modification pre.001

• python3 scripts/audit_rust_workspace_rules.py : General Rust clean, export completeness 0, KSP workspace Rust clean ;
• python3 scripts/audit_markdown_tables.py README.md RULES.md ROADMAP.md CHANGELOG.md docs prompts crates deltas/0.3.8 : clean, 283 tables / 153 fichiers ;
• diff contre l'archive v0.3.7 : exactement quatre fichiers ajoutés/modifiés, aucune suppression ;
• archive delta testée par unzip -t ;
• gates Cargo : non exécutés dans l'environnement d'assemblage, cargo absent.

10. Gate opérateur de la base pre.001

Après application de pre.001, l’opérateur a exécuté :

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
cargo check --workspace
cargo clippy --workspace --all-targets

Résultats fournis :

General Rust rule audit: clean
Rust export completeness audit: 0 candidate(s)
KSP workspace Rust rule audit: clean
Markdown table audit: clean (314 table(s), 690 file(s))
cargo check --workspace: PASS
cargo clippy --workspace --all-targets: PASS

Cette preuve opérateur ferme le gate technique de la base 0.3.8-pre.1 avant matérialisation de pre.002. Aucun test crate ciblé n’est inféré au-delà des commandes effectivement fournies.

11. pre.002 — scaffold Store Desk matérialisé

• crates/ksp-app-store-desk créé comme package Rust lib + bin ;
• workspace avancé à 0.3.8-pre.2 ;
• ports Vite/HMR stricts 1438/1439 ;
• identité Tauri KSP Store Desk / com.sasedev.ksp-app-store-desk ;
• splash, logo, favicon et font repris byte-exact depuis le gabarit Desk KSP ;
• shell et SASS dérivés du gabarit KSP, sans source kbot3 ;
• Config + Logging initialisés selon le pattern Desk KSP ;
• ksp-core-lib admis au scaffold pour les erreurs applicatives typées, sans contourner Store ;
• aucune dépendance ksp-store-lib, ksp-store-api, ksp-store-postgres-lib, Transport ou Job dans cette tranche ;
• capabilities limitées à core:default + tracing:default ;
• frontend tracing installé pour navigation, boutons, refresh et IPC ;
• dépendances npm KSP stables conservées ;
• datatables.net-bs5 ajouté sans Select ;
• skeletons RAW Transactions / RAW Accounts vides créés ;
• aucun Store n’est ouvert et aucune donnée Store n’est chargée ;
• aucun contrôle Premier / Précédent / Suivant Store n’est rendu ;
• DataTables reste l’unique owner visuel du paging dès le scaffold ;
• le mode local vide de pre.002 ne préjuge pas du serverSide prévu en pre.007/pre.008 ;
• plan corrigé : suppression du placeholder préventif pre.003-fix.NNN ;
• plan corrigé : screen-map alignée sur le pager DataTables unique.

12. Gates d’assemblage pre.002

• python3 scripts/audit_rust_workspace_rules.py : General Rust clean, export completeness 0, KSP workspace Rust clean ;
• audit Markdown : clean, 283 tables / 155 fichiers sur le périmètre deltas/0.3.8 ;
• manifest parse : 4 JSON + 2 TOML ;
• package baseline : 7 dépendances runtime obligatoires, devDependencies exactes sur 4 Desks KSP, Select absent ;
• assets : 5 fichiers binaires byte-identical sur 4 Desks KSP ;
• SASS partagé : 5 fichiers body-identical au gabarit KSP ;
• splash : body identique au gabarit modulo identité Store Desk et metadata fichier ;
• audit shell/DataTables : structure KSP + deux skeletons + owner visuel unique du pager ;
• audit statique des dépendances/scopes Store/Transport/Job : aucun bypass ;
• ports : 1438/1439 stricts et sans collision avec les autres Desks ;
• audit frontend : pas de fetch, storage navigateur ni dialogue bloquant ;
• audit TypeScript syntaxique par transpileModule 5.8.3 : 5 fichiers propres ;
• audit Rust source du nouveau scaffold : aucun panic!, unwrap, expect ou bloc unsafe ;
• delta scope : 47 ajouts, 3 modifications, 0 suppression ; 46 fichiers applicatifs + delta ;
• archive delta finale vérifiée par unzip -t ;
• cargo fmt --all : non exécuté dans l’environnement d’assemblage, cargo absent ;
• cargo check --workspace : non exécuté dans l’environnement d’assemblage, cargo absent ;
• cargo clippy --workspace --all-targets : non exécuté dans l’environnement d’assemblage, cargo absent ;
• cargo test -p ksp-app-store-desk : à exécuter par l’opérateur ;
• cargo tree -p ksp-app-store-desk --edges normal : à exécuter par l’opérateur ;
• cargo tree -p ksp-app-store-desk -e features : à exécuter par l’opérateur.

La case pre.002 de la section « Gates futures » reste ouverte jusqu’au retour de ces gates Cargo opérateur.

13. Retour opérateur pre.002 et ouverture de pre.002-fix.001

Après application de pre.002, l’opérateur a exécuté le gate demandé. Les résultats fournis établissent :

General Rust rule audit: clean
Rust export completeness audit: 0 candidate(s)
KSP workspace Rust rule audit: clean
Markdown table audit: clean (314 table(s), 692 file(s))
cargo check --workspace: PASS
cargo test -p ksp-app-store-desk: PASS (12 unit + 2 dependency boundary + 5 desktop contract + 3 desktop security + 1 public API)
cargo tree -p ksp-app-store-desk --edges normal: produit
cargo tree -p ksp-app-store-desk -e features: produit

cargo clippy --workspace --all-targets n’est pas vert : deux erreurs clippy::implicit-return sont présentes dans les helpers parse_json des tests desktop_contract.rs et desktop_security.rs. Quatre crates de tests signalent aussi missing_docs comme warnings.

Le même retour opérateur signale une divergence de vite.config.ts par rapport au gabarit ksp-app-*-desk. L’audit comparatif confirme trois écarts non justifiés :

server.hmr au lieu de server.ws
options SCSS quietDeps/silenceDeprecations/verbose absentes
otherassets/[name][hash][extname] au lieu de otherassets/[name][extname]

Le correctif pre.002-fix.001 reste strictement dans le couloir scaffold de pre.002 :

• réalignement de vite.config.ts sur le gabarit Desk KSP, avec seules différences d’identité et de ports 1438/1439 ;
• ajout d’un canari d’égalité du template Vite après normalisation identité/ports/header ;
• correction explicite des deux retours Clippy dans les helpers de tests ;
• ajout des crate-level docs manquantes aux quatre crates d’intégration afin de supprimer les warnings observés ;
• aucune capability Store, aucun SQL, aucun changement d’architecture pagination.

La case pre.002 reste ouverte jusqu’au gate opérateur du fix.

14. Gate opérateur pre.002-fix.001

Le gate complet rejoué par l’opérateur après le fix est vert :

General Rust rule audit: clean
Rust export completeness audit: 0 candidate(s)
KSP workspace Rust rule audit: clean
Markdown table audit: clean (314 table(s), 693 file(s))
cargo check --workspace: PASS
cargo clippy --workspace --all-targets: PASS
cargo test -p ksp-app-store-desk: PASS

Détail Store Desk communiqué : 12 tests unitaires, 2 dependency-boundary, 6 desktop-contract, 3 desktop-security, 1 public-API, tous verts. Les arbres cargo tree normal/features ont également été produits. pre.002 est donc fermé et pre.003 peut s’ouvrir.

15. pre.003 — contrats Store d’inspection et tracing développement

• workspace.package.version = 0.3.8-pre.3 ;
• RawInspectionPageRequest sépare explicitement offset/limit de RawPageRequest cursor ;
• RawInspectionPage<T> expose total_items / filtered_items exacts avec validation de cohérence ;
• RawTransactionInspectionQuery conserve network/range/direction et page random-access ;
• RawAccountStateInspectionQuery conserve network/pubkey?/range/direction et page random-access ;
• RawTransactionSummary exclut les payload bytes et expose uniquement metadata/retention/size ;
• RawAccountStateSummary exclut les data bytes et expose uniquement metadata/data length ;
• RawTransactionInspectionRead et RawAccountStateInspectionRead sont object-safe et backend-neutral ;
• ksp-store-lib réexporte les nouveaux contrats sans encore les implémenter sur Store ;
• le chemin cursor/keyset existant reste inchangé ;
• aucun SQL, migration ou backend physique n’est introduit ;
• aucun nom/protocole DataTables n’entre dans ksp-store-api ;
• Store Desk demande explicitement le profil Logging supertrace pendant le développement ;
• fallback Logging Store Desk reste Trace ;
• tracing frontend couvre boutons, navigation, tabs, changements de contrôles, Refresh et IPC ;
• les futurs événements DataTables page/length/query doivent être instrumentés lors de pre.007/pre.008 sans logguer les valeurs de filtres ni payloads.

16. Gate opérateur pre.003 et ouverture de pre.003-fix.001

Le gate opérateur de pre.003 confirme :

General Rust rule audit: clean
Rust export completeness audit: 0 candidate(s)
KSP workspace Rust rule audit: clean
Markdown table audit: clean (314 table(s), 694 file(s))
cargo check --workspace: PASS
cargo clippy --workspace --all-targets: PASS
cargo test -p ksp-store-api: PASS
cargo test -p ksp-app-store-desk: PASS
cargo check -p ksp-store-lib --no-default-features: PASS

cargo test -p ksp-store-lib échoue sur un seul canari historique :

pre_009_facade_modules_and_crate_root_exports_are_exact

Le diagnostic est un inventaire attendu devenu obsolète après les réexports publics intentionnels de pre.003. La surface réelle contient bien les huit nouveaux symboles backend-neutral prévus :

RawAccountStateInspectionQuery
RawAccountStateInspectionRead
RawAccountStateSummary
RawInspectionPage
RawInspectionPageRequest
RawTransactionInspectionQuery
RawTransactionInspectionRead
RawTransactionSummary

Le correctif pre.003-fix.001 met uniquement à jour ce canari exact de 91 à 99 exports. Aucun contrat, comportement runtime, backend PostgreSQL, SQL, migration, pagination ou code Store Desk n'est modifié.

La case pre.003 reste ouverte jusqu'au rejeu vert du gate opérateur sur 0.3.8-pre.3.fix.1.

17. Gate opérateur pre.003-fix.001

Le rejeu opérateur sur 0.3.8-pre.3.fix.1 est entièrement vert :

General Rust rule audit: clean
Rust export completeness audit: 0 candidate(s)
KSP workspace Rust rule audit: clean
Markdown table audit: clean (314 table(s), 695 file(s))
cargo check --workspace: PASS
cargo clippy --workspace --all-targets: PASS
cargo test -p ksp-store-api: PASS
cargo test -p ksp-store-lib: PASS
cargo check -p ksp-store-lib --no-default-features: PASS
cargo test -p ksp-app-store-desk: PASS

Le canari d'inventaire façade corrigé est vert. pre.003 est fermé et pre.004 peut introduire uniquement le vertical slice RawTransactionInspection PostgreSQL + façade.

18. pre.004 — inspection PostgreSQL RawTransaction + façade Store

• workspace.package.version = 0.3.8-pre.4 ;
• PostgresBackend implémente RawTransactionInspectionRead sans implémenter encore RawAccountStateInspectionRead ;
• Store implémente le même trait et garde le guard network avant dispatch ;
• la query d'inspection PostgreSQL est une instruction unique par direction, donc counts et page partagent le même snapshot SQL ;
• total_items compte toute la famille transaction du Store/network, y compris les tombstones Purged ;
• filtered_items applique uniquement le range slot optionnel ;
• sans filtre slot, le SQL réutilise filtered_count comme total_count au lieu d'un second count ;
• la page random-access utilise LIMIT/OFFSET uniquement dans le chemin d'inspection ;
• limit non représentable par PostgreSQL et offset > i64::MAX sont rejetés avant acquisition du pool ;
• les deux queries cursor/keyset historiques restent sans OFFSET et excluent toujours Purged ;
• les summaries ne sélectionnent ni transaction_row.payload ni archive_row.payload ; seules les tailles OCTET_LENGTH sont projetées ;
• les marqueurs hot/archive payload sont projetés comme booléens pour rejeter les formes physiques incohérentes sans transférer les bytes ;
• les summaries Full, Archived et Purged sont décodés avec les invariants physiques correspondants ;
• une page vide obtenue par offset profond conserve les counts exacts ;
• le live proof PostgreSQL opt-in couvre counts filtrés, ordre asc/desc, offset et page vide ;
• inventaires exacts Store/PostgreSQL passent de 10 à 11 implementations RAW et restent symétriques ;
• aucune migration, table, index, capability Account inspection, UI Desk ou protocole DataTables n'est ajouté dans cette tranche.

19. Gate opérateur pre.004 et ouverture de pre.004-fix.001

Le gate opérateur de pre.004 confirme que les audits Rust/Markdown, cargo check --workspace, ksp-store-lib, ksp-store-api et les 66 tests unitaires PostgreSQL sont verts. Deux défauts de tests empêchent toutefois la fermeture de la tranche :

cargo clippy --workspace --all-targets: FAIL
  4 x clippy::implicit-return dans hardening_completeness.rs

cargo test -p ksp-store-postgres-lib: FAIL
  pre_006_raw_pagination_is_keyset_cursor_bound_and_policy_free
  canari historique interdisant OFFSET sur tout raw_transaction.rs

Le second échec ne remet pas en cause le contrat pre.004 : l'OFFSET est volontairement autorisé uniquement dans les statements d'inspection random-access, tandis que les statements LIST_TRANSACTIONS_* cursor/keyset doivent rester OFFSET-free. pre.004-fix.001 rescope donc le canari historique sur les statements keyset eux-mêmes au lieu de l'appliquer au fichier physique complet.

Le live proof lancé ensuite n'a pas fourni de preuve PostgreSQL exploitable : le journal ne contient pas la ligne server major ..., émise seulement après lecture de l'URI et connexion initiale. L'exécution observée est compatible avec une attente sur stdin().read_line(). Le fix rend cette attente explicite dans le message du test. Pour une saisie locale masquée :

read -rsp 'Dedicated PostgreSQL URI: ' KSP_LIVE_PG_URI
printf '\n'
printf '%s\n' "$KSP_LIVE_PG_URI" | cargo test -p ksp-store-postgres-lib --test postgres_raw_transaction_live -- --ignored --nocapture
unset KSP_LIVE_PG_URI

Aucun SQL, contrat Store, runtime PostgreSQL ou comportement d'inspection de production n'est modifié par ce fix.

20. Gate opérateur pre.004-fix.001 et live proof PostgreSQL

Le rejeu opérateur sur 0.3.8-pre.4.fix.1 est entièrement vert :

General Rust rule audit: clean
Rust export completeness audit: 0 candidate(s)
KSP workspace Rust rule audit: clean
Markdown table audit: clean (314 table(s), 697 file(s))
cargo check --workspace: PASS
cargo clippy --workspace --all-targets: PASS
cargo test -p ksp-store-postgres-lib: PASS
cargo test -p ksp-store-lib: PASS
cargo check -p ksp-store-lib --no-default-features: PASS
cargo test -p ksp-store-api: PASS

Le live proof postgres_raw_transaction_live a ensuite été exécuté sur une base PostgreSQL dédiée vide. Il atteint réellement PostgreSQL 17 et passe :

KSP Store RawTransaction live proof: server major 17
test pre_009_real_postgres_raw_transaction_vertical_slice_is_atomic_concurrent_and_recoverable ... ok

pre.004 est donc fermé sans réserve et pre.005 peut ouvrir uniquement le vertical slice RawAccountStateInspectionRead.

21. pre.005 — inspection PostgreSQL RawAccountState + façade Store

• workspace.package.version = 0.3.8-pre.5 ;
• PostgresBackend implémente RawAccountStateInspectionRead ;
• Store implémente le même trait avec guard network avant dispatch ;
• les inventaires RAW Store/PostgreSQL passent de 11 à 12 et restent exactement symétriques ;
• chaque direction d'inspection Account utilise une seule instruction SQL regroupant filtered_count, total_count conditionnel et page LATERAL ;
• filtered_items applique le filtre exact pubkey optionnel et le range slot inclusif ;
• total_items compte toute la famille ksp_raw_account_states et réutilise filtered_count lorsqu'aucun filtre n'est actif ;
• l'ordre inspection est canonique (slot, pubkey, state_hash) en ascendant ou descendant ;
• la page random-access utilise LIMIT/OFFSET uniquement dans le chemin inspection ;
• limit/offset non représentables par PostgreSQL sont rejetés avant acquisition du pool ;
• les quatre statements cursor/keyset Account historiques restent sans OFFSET ;
• le SQL d'inspection ne sélectionne jamais account_row.data et projette seulement OCTET_LENGTH(account_row.data) ;
• RawAccountStateSummary est reconstruit avec reference, lamports, owner, executable, rent epoch et data length uniquement ;
• longueurs, widths et décimaux hostiles sont rejetés sans écho de valeur ;
• une page vide obtenue par offset profond conserve les counts exacts ;
• le live proof Account opt-in couvre filtre pubkey, counts, ordre asc/desc, offset, data length et page vide profonde ;
• aucune migration, table, index, capability destructive Account, UI Desk ou protocole DataTables n'est ajouté.

22. Gate opérateur pre.005 et ouverture de pre.005-fix.001

Le gate opérateur de pre.005 confirme que les audits Rust/Markdown, ksp-store-lib, ksp-store-api et le live proof PostgreSQL Account sont verts, mais la tranche ne peut pas être fermée : cargo fmt --all, cargo clippy --workspace --all-targets et cargo test -p ksp-store-postgres-lib échouent tous sur une erreur de syntaxe dans le fichier de tests unitaires unit_tests/raw_account.rs.

La fixture inspection_row(data_length_bytes) a perdu sa signature de fonction lors de l'assemblage du delta ; seul son return super::RawAccountInspectionDbRow { ... }; est resté, ce qui laisse une accolade fermante orpheline. Le live proof d'intégration peut néanmoins compiler et passer car ce fichier n'est inclus que sous cfg(test) dans les tests unitaires de la bibliothèque.

pre.005-fix.001 restaure uniquement la signature de cette fixture. Aucun SQL, runtime PostgreSQL, contrat Store, capability ou comportement d'inspection de production n'est modifié. Le live proof Account exécuté sur PostgreSQL 17 reste une preuve valide du chemin runtime :

KSP Store RawAccountState live proof: server major 17
test pre_009_real_postgres_raw_account_vertical_slice_is_atomic_concurrent_and_recoverable ... ok

23. Gate opérateur pre.005-fix.001 et ouverture de pre.005-fix.002

Le rejeu opérateur sur 0.3.8-pre.5.fix.1 confirme que la restauration de la fixture Account inspection est correcte : cargo fmt --all, cargo check --workspace, cargo clippy --workspace --all-targets, les 69 tests unitaires PostgreSQL, ksp-store-lib, le mode --no-default-features et ksp-store-api compilent ou passent jusqu'au test d'intégration dependency_boundary.

Deux canaris historiques Account restent cependant trop larges :

pre_005_raw_account_acquisition_is_atomic_idempotent_and_keeps_trait_impls_out_of_sql_module: FAIL
pre_006_raw_account_additional_observation_is_reference_guarded_cancellation_safe_and_keeps_destructive_scope_closed: FAIL
reason: raw_account.rs contient désormais OFFSET dans les deux statements d'inspection random-access

Ces canaris interdisaient OFFSET sur tout raw_account.rs, alors que depuis pre.005 le fichier contient légitimement deux statements INSPECT_ACCOUNT_STATES_* avec LIMIT/OFFSET. Cette interdiction globale est obsolète. pre.005-fix.002 retire uniquement OFFSET de leurs listes de scope interdit ; les garanties de pagination restent couvertes par :

• pre_007_raw_account_pagination_is_keyset_cursor_bound_and_policy_free, qui exige que les quatre statements LIST_ACCOUNT_STATES_* et le cursor restent sans OFFSET ;
• v0_3_8_pre_005_raw_account_keyset_sql_remains_offset_free_while_inspection_is_random_access, qui exige exactement deux occurrences d'OFFSET, uniquement dans les deux statements d'inspection.

Les interdictions destructives UPDATE, DELETE FROM et ON CONFLICT DO UPDATE restent inchangées dans les deux canaris historiques. Aucun SQL, runtime, contrat public, migration, capability ou comportement Store n'est modifié.

Le live proof Account est de nouveau vert sur PostgreSQL 17 :

KSP Store RawAccountState live proof: server major 17
test pre_009_real_postgres_raw_account_vertical_slice_is_atomic_concurrent_and_recoverable ... ok