v0.3.13-pre.010

docs/validation/030-V0_3_13_MULTI_SOURCE_LIVE_CONVERGENCE.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/030-V0_3_13_MULTI_SOURCE_LIVE_CONVERGENCE.md -->
-<!-- version: 10 -->
+<!-- version: 11 -->
 
 # Validation v0.3.13 — WS standard / Helius / HTTP live + convergence multi-source
 
@@ -1411,3 +1411,77 @@ cargo test -p ksp-worker-raw-transaction-ingest-lib
 ```
 
 Aucun `cargo tree` n'est requis pour ce gate : `pre.009` ne modifie ni dépendance ni feature. Les graphes seront réaudités si le graphe change ou à la fermeture technique de `0.3.13`.
+
+## 77. Gate complet pre.009-fix.002 reçu
+
+Preuve opérateur du 10 septembre 2026 :
+
+```text
+fmt : PASS
+audits Rust : clean / export completeness 0
+Markdown : clean, 340 tables / 847 files
+cargo check --workspace : PASS
+clippy strict : PASS
+Transport : 389 unit + 52 public-api + 44 release-completeness + 4 doc-tests, 0 échec
+smokes Transport live opt-in : 5 ignored comme prévu
+Worker : 99 unit + 4 cross-layer + 16 dependency-boundary + 23 hardening + 17 public-api + 4 release-completeness, 0 échec
+Worker doc-tests : 0
+```
+
+Aucun `cargo tree` n'est revendiqué pour ce gate.
+
+## 78. Surface pre.010 matérialisée
+
+```text
+RawTransactionIngestSnapshot::source_total
+RawTransactionIngestSnapshot::source_active
+RawTransactionIngestSnapshot::source_reconnecting
+RawTransactionIngestSnapshot::source_failed
+projection privée with_source_counts
+inventaire privé -> comptes source-neutral
+source_total initialisé depuis RawTransactionIngestRuntimeResources::source_count
+health commune conservative
+```
+
+Les informations par source restent dans l'inventaire privé; le snapshot public ne contient aucune `source_key` ni information provider/endpoint/filter.
+
+## 79. Invariants health/activity pre.010
+
+```text
+Running + source_failed > 0 -> Unhealthy
+Running + source_reconnecting > 0 -> Degraded
+Running + source_total > 0 + source_active < source_total -> Degraded
+Running + toutes sources attendues Active -> Healthy
+Faulted -> Unhealthy
+Stopping/Stopped -> dernière health qualifiée
+```
+
+`WorkerActivity::Active` continue à représenter du travail concret ou un reconnect/closing, pas simplement l'existence d'une source ouverte.
+
+## 80. Non-claims pre.010
+
+```text
+pas de snapshot public par source
+pas de provider health/tier/endpoint public
+pas de failover ou coverage inference
+pas de changement des quotas/fairness pre.009
+pas de changement de convergence persistence
+pas encore de fermeture exhaustive des races/shutdown pre.011
+pas de nouvelle dépendance/feature
+```
+
+## 81. Validation locale d'assemblage et gate avant pre.011
+
+Le toolchain Cargo/Rustfmt n'est pas disponible dans l'environnement d'assemblage. Les commandes Cargo post-modification restent `NON EXÉCUTÉ LOCAL`.
+
+Gate opérateur demandé :
+
+```bash
+cargo fmt --all
+cargo fmt --all -- --check
+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 --all-features -- -D warnings
+cargo test -p ksp-worker-raw-transaction-ingest-lib
+```