16 artefacts A1-R9 · UTF-8 · LF · vérification SHA-256 (manifest détaché, 15 entrées) · 142398 octets
Ce package valide le MÉCANISME de génération et ses fixtures synthétiques (56/56 suites + 8 gates de parité). Il ne certifie PAS un binding runtime réel contre le prosrc de production (14 args, MD5 normalisé 893845ce35081b9c85a639910411d04e) ni l'équivalence d'environnement A0-R2. La matrice A marque ces lignes production-gated / non réclamées. CU01 reste honnêtement NOT_PROVEN (fail-closed).
phase1QF3C_R3D4B_P2A11_A1_R9_receiver_dataflow_extractor.js
2bea276884fc60a4b17959b8457bffc355b29380feeb76b8c19282fb96a3c1ae2bea276884fc60a4b17959b8457bffc355b29380feeb76b8c19282fb96a3c1aephase1QF3C_R3D4B_P2A11_A1_R9_authority_pipeline.js
ad25a5ab87bcb22f80270eb889ca1f397a84128d7aed285c615996c38523b3c2ad25a5ab87bcb22f80270eb889ca1f397a84128d7aed285c615996c38523b3c2phase1QF3C_R3D4B_P2A11_A1_R9_stage_e_generator.js
be41db71d2c72cfad1b983530965f01079dc9f6ceff05629c210f028e85ceeb4be41db71d2c72cfad1b983530965f01079dc9f6ceff05629c210f028e85ceeb4phase1QF3C_R3D4B_P2A11_A1_R9_b2_contract_validator.js
24737319a05cbb9caa7f3137d0cc48b3301175c5c6a72b7b53c02261f125dd5824737319a05cbb9caa7f3137d0cc48b3301175c5c6a72b7b53c02261f125dd58phase1QF3C_R3D4B_P2A11_A1_R9_parameter_ordinal_mapping.js
db0e8fbb575cfe2ccc70c35b8d4e38b4fac47ba931fb1d1f8a3f5a775b31d491db0e8fbb575cfe2ccc70c35b8d4e38b4fac47ba931fb1d1f8a3f5a775b31d491phase1QF3C_R3D4B_P2A11_A1_R9_generator_test_vectors.json
dddea4b8a2af5c8b33943a0fe55f3033fb3e2ee0f11f04289745d5491935f62cdddea4b8a2af5c8b33943a0fe55f3033fb3e2ee0f11f04289745d5491935f62cphase1QF3C_R3D4B_P2A11_A1_R9_extractor_test_vectors.json
f2642c001dde95ddca5b3b14e678a284c7626c8e90ab1da19925f99fde3512b4f2642c001dde95ddca5b3b14e678a284c7626c8e90ab1da19925f99fde3512b4phase1QF3C_R3D4B_P2A11_A1_R9_pipeline_integration_tests.json
12722c7e2e7fa6b619b5c2a6f292dbed9fbb659f4b3cfdd53cf6dd3415eac93512722c7e2e7fa6b619b5c2a6f292dbed9fbb659f4b3cfdd53cf6dd3415eac935phase1QF3C_R3D4B_P2A11_A1_R9_proof_span_tests.json
e30a51394d2a1bc9b3ab626cb732ec58805811c7f14029264ca0a1c714531016e30a51394d2a1bc9b3ab626cb732ec58805811c7f14029264ca0a1c714531016phase1QF3C_R3D4B_P2A11_A1_R9_b2_contract_tests.json
827f989f07edd6f4ea5cf35d48c1f44b05b68ce3c454dfb729e32a13bcd30d8f827f989f07edd6f4ea5cf35d48c1f44b05b68ce3c454dfb729e32a13bcd30d8fphase1QF3C_R3D4B_P2A11_A1_R9_parameter_ordinal_tests.json
c22ce0f88c2a8045b8c4225b6ed0fd3e64fcfee06e9cfd5331020f1709e08c1fc22ce0f88c2a8045b8c4225b6ed0fd3e64fcfee06e9cfd5331020f1709e08c1fphase1QF3C_R3D4B_P2A11_A1_R9_offline_test_execution_results.json
c2474cc863953e8a794be2d2c46d779705110aba0fb49223fc7ce6c9f539e3dac2474cc863953e8a794be2d2c46d779705110aba0fb49223fc7ce6c9f539e3daphase1QF3C_R3D4B_P2A11_A1_R9_authoritative_evidence_matrix.md
a21dedb985e3b7cff54403d21a90e0c781327ef6db1ada776695655c462d3354a21dedb985e3b7cff54403d21a90e0c781327ef6db1ada776695655c462d3354phase1QF3C_R3D4B_P2A11_A1_R9_correction_matrix.md
d6c01bd9a1025c0ba2d815897946b44aac644cfaa878a604b308b49bbb88d130d6c01bd9a1025c0ba2d815897946b44aac644cfaa878a604b308b49bbb88d130phase1QF3C_R3D4B_P2A11_A1_R9_evidence_and_traceability.md
94ead2a3992dcd662c07a9119c627fb42a706478a6b7efc55960ac8d014653e794ead2a3992dcd662c07a9119c627fb42a706478a6b7efc55960ac8d014653e7phase1QF3C_R3D4B_P2A11_A1_R9_checksums.sha256
Phase A1-R9 — gel du package de génération. Extracteur coordinate-correct (dialecte $$ / $tag$), pipeline B1→B2, generator avec gate MD5 + proof-span integrity + conformance B2 (F03), mapping ordinal à arité explicite (F05). Corrections C1 (corps $$), C2 (harness proof-span), C3 (arité/OID), F03-B (base B2 régénérée). 56/56 tests, 8 gates parité. Matrix A 39 lignes, Matrix B 8 corrections. Frontière honnête : binding de production A0-R2-gated, non réclamée ici.