v0.2.5-pre.009

docs/formats/000-README.md

@@ -1,5 +1,5 @@
 <!-- file: docs/formats/000-README.md -->
-<!-- version: 3 -->
+<!-- version: 4 -->
 
 # Formats KSP
 
@@ -9,4 +9,4 @@ Une spécification de format décrit le wire exact, les encodages, les limites,
 
 ## Formats actifs
 
-- [`KSPWALLET_V1.md`](KSPWALLET_V1.md) — spécification du format natif autonome `.kspwallet` V1. `0.2.5-pre.003` fige l'enveloppe/wire et les transcripts/AAD, `pre.004` ajoute Argon2id/XChaCha20-Poly1305/CSPRNG OS et `pre.005` fixe les payloads plaintext, le profil de création KSP calibré, l'autorité Ed25519 OWNER, les procédures create/open VIEW/OWNER et un vecteur complet interopérable test-only.
+- [`KSPWALLET_V1.md`](KSPWALLET_V1.md) — spécification du format natif autonome `.kspwallet` V1. `0.2.5-pre.003` fige l'enveloppe/wire et les transcripts/AAD, `pre.004` ajoute Argon2id/XChaCha20-Poly1305/CSPRNG OS, `pre.005` fixe les payloads plaintext, le profil de création KSP calibré, l'autorité Ed25519 OWNER et le vecteur complet, `pre.006`–`pre.008` matérialisent persistence/administration/transfert, et `pre.009` clôt l'audit adversarial/interoperabilité/compliance avant la documentation finale.

docs/formats/KSPWALLET_V1.md

@@ -1,5 +1,5 @@
 <!-- file: docs/formats/KSPWALLET_V1.md -->
-<!-- version: 6 -->
+<!-- version: 7 -->
 
 # `.kspwallet` V1 — spécification du format natif Wallet KSP
 
@@ -988,3 +988,53 @@ La première retourne au caller des octets contenant volontairement le secret et
 
 Les exports Base58 et Solana CLI JSON doivent reconstruire exactement la même keypair et la même Pubkey que le wallet OWNER source.
 
+## 25. Audit security/interoperability `pre.009`
+
+`0.2.5-pre.009` n'ajoute aucun octet au wire V1 et ne change aucun algorithme. La tranche ferme le gate technique par des canaris adversariaux, une reproduction externe des vecteurs et un audit du graphe Cargo.
+
+Les canaris exécutables vérifient notamment :
+
+```text
+tampering canonique du slot OWNER / owner-control / metadata / secret / state_signature
+    -> wallet.authentication_failed avant unlock
+
+state_signature invalide + password vide
+    -> wallet.authentication_failed avant Argon2
+
+changement du ciphertext de wrapping VIEW uniquement
+    -> signature OWNER toujours valide
+    -> OWNER reste ouvrable
+    -> VIEW échoue avec wallet.view_unlock_failed
+
+wrong OWNER / wrong VIEW
+    -> erreurs génériques dédiées
+    -> aucun password reflété dans Display/Debug
+
+public API
+    -> aucun re-export solana-keypair / solana-signer / solana-signature
+    -> aucune surface sign/export sur WalletView
+```
+
+Le vecteur complet publié en section 22 a été reproduit indépendamment du code Rust KSP avec une sonde externe :
+
+```text
+Argon2id v19       dérivations OWNER et VIEW exactes
+XChaCha20-Poly1305 vecteur de wrapping pre.004 exact
+Ed25519            state_signature exacte vérifiée sur state_transcript
+Base58             keypair 64 octets et Pubkey attendue reproduites
+```
+
+Cette sonde n'est pas une dépendance KSP et n'est pas requise au runtime ; elle sert uniquement de preuve d'interopérabilité indépendante.
+
+Le profil de création `64 MiB / 3 / 1` est cohérent avec la seconde recommandation Argon2id de RFC 9106 pour les environnements contraints. Les paramètres restent sérialisés par slot afin que les futurs defaults puissent évoluer sans rendre les wallets existants illisibles. XChaCha20-Poly1305 conserve une clé 256 bits et un nonce 192 bits généré par le CSPRNG OS. Les signatures d'état utilisent Ed25519 au format 64 octets défini par RFC 8032.
+
+Le graphe Cargo observé au gate `pre.008` conserve une seule génération `ed25519-dalek 2.2.0`, une seule `solana-address 2.7.0` et un unique parent KSP direct de `solana-keypair 3.1.2` : `ksp-wallet-lib`. Les doublons `digest 0.10/0.11`, `crypto-common 0.1/0.2`, `block-buffer 0.10/0.12`, `cpufeatures 0.2/0.3`, `getrandom 0.3/0.4`, `rand 0.9/0.10`, `rand_core 0.6/0.9/0.10`, `sha2 0.10/0.11` et `syn 2/3` sont transitoires et imposés par les générations actuellement consommées par RustCrypto, Solana et Logging ; KSP n'ajoute pas une deuxième dépendance directe pour les contourner.
+
+Limites explicitement conservées en V1 :
+
+- aucun anti-rollback ni détection d'un remplacement intégral par un autre wallet valide sans ancre externe ;
+- aucune promesse de CAS filesystem linéarisable ; l'atomicité réelle dépend de l'OS/filesystem ;
+- les permissions `0600` d'export Unix sont une hygiène, pas une garantie cryptographique ;
+- la zeroization réduit les copies possédées mais ne constitue pas une preuve d'effacement physique de toute copie potentielle produite par le compilateur, l'OS ou le matériel ;
+- aucune revendication de résistance side-channel supplémentaire au-delà des primitives et bibliothèques retenues.
+