Téléchargements — P2A11-P0-R1 Race Branch Reachability (Corrected)

7 artefacts R1 · UTF-8 · LF · vérification SHA-256 · 67522 octets

Capture ID : R3D4B_P2A11_P0_R1
Statut : R3D4B_P2A11_P0_R1_READY_FOR_INDEPENDENT_STATIC_REVIEW
Corrections R1 : 5 défauts statiques corrigés (EFK handler, semantic payload, terminologie, matrice MD, 3-connexions)
Terminologie : 6 labels nommés · 3 familles de handlers · 9 chemins modélisés · 9 scénarios matrice
Validation : CSV 37 cols × 9 rows · MD 37 fields/scenario · collision_ok · semantic_ok · prod_ok
Intégrité confirmée — 7/7 artefacts RAW
P2A11-P0-R1 AUTHORITATIVE RACE DESIGN OK

phase1QF3C_R3D4B_P2A11_P0_R1_authoritative_race_design.md

26034 octets · 609 lignes
SHA-256 attendu : d567534c94de1e3df56c7acd173f498223b02f11b5a4755cf26059baa1425149
SHA-256 recalculé : d567534c94de1e3df56c7acd173f498223b02f11b5a4755cf26059baa1425149
P2A11-P0-R1 RACE REACHABILITY MATRIX (Markdown) OK

phase1QF3C_R3D4B_P2A11_P0_R1_race_reachability_matrix.md

20928 octets · 417 lignes
SHA-256 attendu : 2a7ede98e38ce1eb839d33fb0382521316a9faef845fe9df6e851923f03cb3ca
SHA-256 recalculé : 2a7ede98e38ce1eb839d33fb0382521316a9faef845fe9df6e851923f03cb3ca
P2A11-P0-R1 RACE REACHABILITY MATRIX (CSV) OK

phase1QF3C_R3D4B_P2A11_P0_R1_race_reachability_matrix.csv

8201 octets · 10 lignes
SHA-256 attendu : 81d6137511df45c59f59c233aae31fe75d09dba4cb97bb2f09a1055bd2257577
SHA-256 recalculé : 81d6137511df45c59f59c233aae31fe75d09dba4cb97bb2f09a1055bd2257577
P2A11-P0-R1 SAFE CONCURRENCY PROTOCOL OK

phase1QF3C_R3D4B_P2A11_P0_R1_safe_concurrency_protocol.md

6655 octets · 202 lignes
SHA-256 attendu : c9fc52641b25a91d2369dfb480489e426dae45f387f83cb5adaeaa5debb31650
SHA-256 recalculé : c9fc52641b25a91d2369dfb480489e426dae45f387f83cb5adaeaa5debb31650
P2A11-P0-R1 REVIEW OK

phase1QF3C_R3D4B_P2A11_P0_R1_review.md

2102 octets · 36 lignes
SHA-256 attendu : e936c45cfb811d81b46bb6ed0d2fb33b25da6ebcd493f73145e3e6c7a46cfb02
SHA-256 recalculé : e936c45cfb811d81b46bb6ed0d2fb33b25da6ebcd493f73145e3e6c7a46cfb02
P2A11-P0-R1 REPORT OK

phase1QF3C_R3D4B_P2A11_P0_R1_report.md

2623 octets · 66 lignes
SHA-256 attendu : b73d457c874bc8ec2245f65b3dd3144687964cda4c3727272e4857081c7ee818
SHA-256 recalculé : b73d457c874bc8ec2245f65b3dd3144687964cda4c3727272e4857081c7ee818
P2A11-P0-R1 CHECKSUMS OK

phase1QF3C_R3D4B_P2A11_P0_R1_checksums.sha256

979 octets · 12 lignes
SHA-256 attendu : c1b12f360d0cb09e7b4076fa5a5d9cf4f9a28a0c118853213af1d72039e9656b
SHA-256 recalculé : c1b12f360d0cb09e7b4076fa5a5d9cf4f9a28a0c118853213af1d72039e9656b

Aucun SQL exécutable généré. Phase statique R1 uniquement — hard stop après génération du paquet R1.