2.5 KiB
Delta 0.3.13-pre.012 — completeness/security cross-layer
Objet
Fermer la matrice de preuves cross-layer avant le gate technique/live pre.013, sans modifier le comportement runtime, l'API publique, Transport, Common RAW, Store, les dépendances ou les features.
Gate opérateur d'entrée
Le gate 0.3.13-pre.011 communiqué le 10 septembre 2026 est vert :
fmt : PASS
audits Rust : clean / export completeness 0
Markdown : clean, 340 tables / 849 files
cargo check --workspace : PASS
clippy strict : PASS
Worker unit : 106/106 PASS
cross_layer_completeness : 4/4 PASS
dependency_boundary : 18/18 PASS
hardening : 25/25 PASS
public_api : 19/19 PASS
release_completeness : 4/4 PASS
Worker doc-tests : 0/0 PASS
Modifications
La suite cross_layer_completeness ajoute quatre preuves obligatoires :
cinq familles live -> pipeline Worker/Common RAW/Store unique
Legacy/V0/V1 -> Transport/Worker/Common RAW/Store
non-régression Yellowstone -> identity/V1/reconnect/gap/hydration
security/redaction -> Transport/Worker/Common RAW/Store API/Store/PostgreSQL
Les suites dependency_boundary, hardening, public_api et release_completeness verrouillent explicitement la présence de cette matrice.
Frontières
aucun code production modifié
aucune API publique ajoutée
aucune dépendance/feature modifiée
aucun changement Transport/Common RAW/Store
aucun delta historique modifié
Validation locale d'assemblage
Le toolchain Cargo/Rustfmt n'est pas disponible dans l'environnement d'assemblage. Aucune commande Cargo post-modification n'est déclarée PASS localement.
Les audits statiques et les contrôles archive sont consignés uniquement après leur exécution effective.
Gate opérateur vers pre.013
pre.013 est le gate technique/live de fermeture ; exécuter :
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 --workspace --all-targets --all-features
cargo tree -p ksp-worker-raw-transaction-ingest-lib --edges normal
cargo tree -p ksp-worker-raw-transaction-ingest-lib -e features
cargo tree --duplicates
Les smokes live accessibles sont qualifiés dans pre.013; un smoke inaccessible reste NON EXÉCUTÉ.