19 artefacts A1-R8 · UTF-8 · LF · vérification SHA-256 (manifest détaché, 18 entrées) · 94958 octets
Validation sémantique PASS (autorité dérivée du prosrc, 3 suites synthétiques 12+16+8). La syntaxe SQL n'est PAS indépendamment prouvée faute de parseur PostgreSQL (STRUCTURAL_AND_CATALOG_AUDIT_ONLY_NO_POSTGRES_PARSER). Les suites Node prouvent le comportement extractor/pipeline/generator, PAS la validité du SQL ni le binding réel. CU-01 reste honnêtement NOT_PROVEN.
phase1QF3C_R3D4B_P2A11_A1_R8_prosrc_derived_authority_ambiguity_closure.md
fa00682d2671de1d9206531261bba1f3e15c4317ccb6949e95dcae85ef94cf10fa00682d2671de1d9206531261bba1f3e15c4317ccb6949e95dcae85ef94cf10phase1QF3C_R3D4B_P2A11_A1_R8_source_readonly_preflight.sql
6a602db80400b13f5080127451c26571743209449ab9e4e6f6063a1fc9834b116a602db80400b13f5080127451c26571743209449ab9e4e6f6063a1fc9834b11phase1QF3C_R3D4B_P2A11_A1_R8_target_receiver_acquisition_preflight.sql
abf5779cc050e2534c99635c5f8f1a037d3d3bd762726d96a6d633b10880f742abf5779cc050e2534c99635c5f8f1a037d3d3bd762726d96a6d633b10880f742phase1QF3C_R3D4B_P2A11_A1_R8_target_role_probe.sql
5daf572e3f6406f44341fb970737f5e745398b24a2f57b3edcdc303b18ced5645daf572e3f6406f44341fb970737f5e745398b24a2f57b3edcdc303b18ced564phase1QF3C_R3D4B_P2A11_A1_R8_b1_receiver_acquisition_contract.json
ed07038834bdcba458b7c50d007c631a0cd9ced7f6d1dfa15b3463aa38b3e903ed07038834bdcba458b7c50d007c631a0cd9ced7f6d1dfa15b3463aa38b3e903phase1QF3C_R3D4B_P2A11_A1_R8_b2_authoritative_binding_contract.json
1e4070a13851a5db1fb39ff9a9011888125de8ccf1a5a3f1686382f03ce444a11e4070a13851a5db1fb39ff9a9011888125de8ccf1a5a3f1686382f03ce444a1phase1QF3C_R3D4B_P2A11_A1_R8_receiver_dataflow_extractor.js
b5831e1ce6959d9912fb075c2d24775d57f94b93bf6139e8067bc70501aac731b5831e1ce6959d9912fb075c2d24775d57f94b93bf6139e8067bc70501aac731phase1QF3C_R3D4B_P2A11_A1_R8_authority_pipeline.js
cd674a1fc6166d4c194ad9f9bf1f2d41e606ec997a5b7c8a9dcb95b4f5e53706cd674a1fc6166d4c194ad9f9bf1f2d41e606ec997a5b7c8a9dcb95b4f5e53706phase1QF3C_R3D4B_P2A11_A1_R8_stage_e_generator.js
5e1f9559f00b856e9585ede95a1ba5a6e6783cf68fe36764330929a6edb29bd95e1f9559f00b856e9585ede95a1ba5a6e6783cf68fe36764330929a6edb29bd9phase1QF3C_R3D4B_P2A11_A1_R8_generator_test_vectors.json
1e20d0a85fd25ca0f842103b4bec87a773fb88f21216d3d5f225d245214d3c4d1e20d0a85fd25ca0f842103b4bec87a773fb88f21216d3d5f225d245214d3c4dphase1QF3C_R3D4B_P2A11_A1_R8_extractor_test_vectors.json
83d41ee8faca1794e5e39e0f9fd459a3ea2a82173e09923291f851e0209bc80e83d41ee8faca1794e5e39e0f9fd459a3ea2a82173e09923291f851e0209bc80ephase1QF3C_R3D4B_P2A11_A1_R8_pipeline_integration_test_vectors.json
866f237385f7c33ddcb9a5c7202ec064d7a9c86c69e7018ab63baa8a55e069e9866f237385f7c33ddcb9a5c7202ec064d7a9c86c69e7018ab63baa8a55e069e9phase1QF3C_R3D4B_P2A11_A1_R8_source_baseline.json
692a395a1eb32c017d8773f92032cca5dc92262edc3bc6b6ee951c297dc1d6df692a395a1eb32c017d8773f92032cca5dc92262edc3bc6b6ee951c297dc1d6dfphase1QF3C_R3D4B_P2A11_A1_R8_target_baseline.json
0ff4233c627e9400fa71506ee172e677b1f40b5934b612f05f2d0de2baca277a0ff4233c627e9400fa71506ee172e677b1f40b5934b612f05f2d0de2baca277aphase1QF3C_R3D4B_P2A11_A1_R8_authoritative_evidence_matrix.md
6a43b2667c3084ac8119214cf2fdbf23151f2323eef6564f2020c557199e6e046a43b2667c3084ac8119214cf2fdbf23151f2323eef6564f2020c557199e6e04phase1QF3C_R3D4B_P2A11_A1_R8_evidence_and_traceability.md
4ef113fdad46ae6917b394e73c6ad15b7d5c618a23bd07ef2215efa1052ff76d4ef113fdad46ae6917b394e73c6ad15b7d5c618a23bd07ef2215efa1052ff76dphase1QF3C_R3D4B_P2A11_A1_R8_review.md
bdf0843e5e38bfe5886d205672bf6f74d69b56a55d86b4c1aadb06e4baf42916bdf0843e5e38bfe5886d205672bf6f74d69b56a55d86b4c1aadb06e4baf42916phase1QF3C_R3D4B_P2A11_A1_R8_report.md
42a3fb3b046a5ee927d7bab3fcdaf21ba7a615d9e888b669b78b44e6b69004df42a3fb3b046a5ee927d7bab3fcdaf21ba7a615d9e888b669b78b44e6b69004dfphase1QF3C_R3D4B_P2A11_A1_R8_checksums.sha256
Phase A1-R8 — correction ciblée de A1-R7. Autorité dérivée du prosrc (B2) : extractor Models A–E, pipeline B1→B2 avec gate MD5 + param unique/type + ambiguïté canonique max(D-1,0); generator rejette B1 brut, analyse incomplète, MD5 mismatch, presence-only, traces fabriquées. TARGET SQL = B1 acquisition seule (stage_b1_hardcoded_authority_assertion_count=0, 0 LIMIT 1, 0 DML/DDL). Tests synthétiques extractor 12/12, generator 16/16, pipeline 8/8. 32 lignes recalculées (31/32 suffisantes, 1 insuffisant = CU-01 honnêtement NOT_PROVEN). Runtime 0, environment NOT_PROVEN, A2 NOT AUTHORIZED. A0-R2→A1-R7 préservés. Hard stop après génération A1-R8.