Téléchargements — P2A11-A1-R6 Materialized Binding Output & Generated Stage-E Evidence Closure

15 artefacts A1-R6 · UTF-8 · LF · vérification SHA-256 (manifest détaché, 14 entrées) · 69264 octets

Capture ID : R3D4B_P2A11_A1_R6
Statut sémantique : R3D4B_P2A11_A1_R6_SEMANTIC_STATIC_PASS
Syntaxe SQL : SQL_SYNTAX_VALIDITY_NOT_INDEPENDENTLY_PROVEN (sql_parser_used = NONE_AVAILABLE)
Statut environnement : R3D4B_P2A11_A1_BLOCKED — ISOLATED_ENVIRONMENT_UNAVAILABLE
A0-R2 → A1-R5 : préservés · A2 : NOT AUTHORIZED
Fermeture R6-F01→R6-F05 : F01 PASS · F02 PASS · F03 PASS · F04 PASS · F05 PASS (sufficiency recomputée)
Pipeline B→E : MODEL 2 livré — stage_e_generator.js (generateStageE) · B-OUTPUT contract · test vectors 6/6 PASS
Sécurité SQL : 0 INSERT · 0 UPDATE · 0 DELETE · 0 DDL · 0 receiver invocation · 0 forbidden executable
Suffisance (recalculée) : static=27/32 (84.4%) · insuffisant=5 · runtime acquired=0 (0%)
prosrc MD5 attendu : 893845ce35081b9c85a639910411d04e · pg_proc : prolang (0 invalid)
Intégrité confirmée — 14/14 artefacts RAW (manifest)
a1_r6_sql_syntax_independently_proven_pass = false

La validation sémantique est PASS (pipeline exécutable livré). La syntaxe SQL n'est PAS indépendamment prouvée faute de parseur PostgreSQL (STRUCTURAL_AND_CATALOG_AUDIT_ONLY_NO_POSTGRES_PARSER). Un build frontend réussi ne prouve pas la validité du SQL. Sufficiency recalculée (27/32, 84.4%): les 5 lignes insuffisantes sont les lignes runtime-frontière (résolution physique SOURCE/TARGET, MD5 receiver, fixture UQ, environnement) — bindings NON_PROVEN à la génération.

#1 · MATERIALIZED BINDING & GENERATED STAGE-E EVIDENCE CLOSURE OK

phase1QF3C_R3D4B_P2A11_A1_R6_materialized_binding_generator_closure.md

5309 octets · 93 lignes
SHA-256 (manifest) : 793de1aa9997607bfb19b7fdf5230dc713551af2f09739d4e96430b592a8036a
SHA-256 recalculé : 793de1aa9997607bfb19b7fdf5230dc713551af2f09739d4e96430b592a8036a
#2 · SOURCE READ-ONLY PREFLIGHT — Stage-B CU-01 binding (SQL) OK

phase1QF3C_R3D4B_P2A11_A1_R6_source_readonly_preflight.sql

6011 octets · 129 lignes
SHA-256 (manifest) : 368b40fe6eb7c2262ff0f35590747e55822e53fb40c4feca634a703678040ac9
SHA-256 recalculé : 368b40fe6eb7c2262ff0f35590747e55822e53fb40c4feca634a703678040ac9
#3 · TARGET READ-ONLY PREFLIGHT — Stage-B AV-01 & SV-01 binding (SQL) OK

phase1QF3C_R3D4B_P2A11_A1_R6_target_readonly_preflight.sql

6038 octets · 115 lignes
SHA-256 (manifest) : 1059c2c014a208d527588966ba9e4230071126e1b362edb6128eb4614037c0f5
SHA-256 recalculé : 1059c2c014a208d527588966ba9e4230071126e1b362edb6128eb4614037c0f5
#4 · TARGET NON-BUSINESS ROLE PROBE (SQL) OK

phase1QF3C_R3D4B_P2A11_A1_R6_target_role_probe.sql

565 octets · 15 lignes
SHA-256 (manifest) : 65cef4bbef89fd5de3954f6d7b8687a4df210205b97cfa17865dd2e8679fdc0d
SHA-256 recalculé : 65cef4bbef89fd5de3954f6d7b8687a4df210205b97cfa17865dd2e8679fdc0d
#5 · BINDING OUTPUT CONTRACT (JSON) OK

phase1QF3C_R3D4B_P2A11_A1_R6_binding_output_contract.json

3631 octets · 72 lignes
SHA-256 (manifest) : bfe5bbec6caa7291980dc3d392ad4506389f0cad104978bc121a2f8aa7410f4b
SHA-256 recalculé : bfe5bbec6caa7291980dc3d392ad4506389f0cad104978bc121a2f8aa7410f4b
#6 · OFFLINE STAGE-E DETERMINISTIC GENERATOR (JS) OK

phase1QF3C_R3D4B_P2A11_A1_R6_stage_e_generator.js

14754 octets · 359 lignes
SHA-256 (manifest) : d1d7f767039377012dbd23be9b1fd6502a6bce64dd68201975a2743c56820780
SHA-256 recalculé : d1d7f767039377012dbd23be9b1fd6502a6bce64dd68201975a2743c56820780
#7 · GENERATOR TEST VECTORS TC1–TC6 (JSON) OK

phase1QF3C_R3D4B_P2A11_A1_R6_generator_test_vectors.json

5336 octets · 157 lignes
SHA-256 (manifest) : 1767dc8314dcfec68fa7d87a60fceb05069ffb1328279c49e40d2200c78f313f
SHA-256 recalculé : 1767dc8314dcfec68fa7d87a60fceb05069ffb1328279c49e40d2200c78f313f
#8 · SOURCE BASELINE (JSON) OK

phase1QF3C_R3D4B_P2A11_A1_R6_source_baseline.json

1124 octets · 24 lignes
SHA-256 (manifest) : b8226f9db5153adca8f67b64874ca92ebcd1dce4ef9df1cb4e5b554dddcd1347
SHA-256 recalculé : b8226f9db5153adca8f67b64874ca92ebcd1dce4ef9df1cb4e5b554dddcd1347
#9 · TARGET BASELINE (JSON) OK

phase1QF3C_R3D4B_P2A11_A1_R6_target_baseline.json

1525 octets · 36 lignes
SHA-256 (manifest) : de98d3c72b4b83d7937182912d3c3cdcbef923ff94dff6a63ff00d134584e8bc
SHA-256 recalculé : de98d3c72b4b83d7937182912d3c3cdcbef923ff94dff6a63ff00d134584e8bc
#10 · AUTHORITATIVE EVIDENCE MATRIX (32 rows, recomputed) OK

phase1QF3C_R3D4B_P2A11_A1_R6_authoritative_evidence_matrix.md

8100 octets · 61 lignes
SHA-256 (manifest) : 4056720d49eeee0f835555ae9472e834985dae0abdeff016234ae38c641ef1f6
SHA-256 recalculé : 4056720d49eeee0f835555ae9472e834985dae0abdeff016234ae38c641ef1f6
#11 · EVIDENCE & TRACEABILITY (incl. vector execution trace) OK

phase1QF3C_R3D4B_P2A11_A1_R6_evidence_and_traceability.md

4528 octets · 91 lignes
SHA-256 (manifest) : 7bd9b27740388afcc0f7c26053ad0a6d58207d50eb1355a952634f65df42ad5d
SHA-256 recalculé : 7bd9b27740388afcc0f7c26053ad0a6d58207d50eb1355a952634f65df42ad5d
#12 · DIFFERENCE AND CLOSURE REPORT OK

phase1QF3C_R3D4B_P2A11_A1_R6_difference_and_closure_report.md

2355 octets · 37 lignes
SHA-256 (manifest) : 77886a6aebb019418262e66e64f967999a1e03a0ffac4a47f5f5d37662362881
SHA-256 recalculé : 77886a6aebb019418262e66e64f967999a1e03a0ffac4a47f5f5d37662362881
#13 · REVIEW OK

phase1QF3C_R3D4B_P2A11_A1_R6_review.md

4391 octets · 86 lignes
SHA-256 (manifest) : 6fbfd47bc75f1608f0c3e5b4ca8a62b94d7f9f5d6009ba27cb2b3f2eaa7368ff
SHA-256 recalculé : 6fbfd47bc75f1608f0c3e5b4ca8a62b94d7f9f5d6009ba27cb2b3f2eaa7368ff
#14 · REPORT OK

phase1QF3C_R3D4B_P2A11_A1_R6_report.md

3740 octets · 75 lignes
SHA-256 (manifest) : 21d8762211c41550312aa1e321ff3e275c77e4ea73749ab1079272d2d254935d
SHA-256 recalculé : 21d8762211c41550312aa1e321ff3e275c77e4ea73749ab1079272d2d254935d
#15 · CHECKSUMS (detached manifest, 14 entries)manifest détaché

phase1QF3C_R3D4B_P2A11_A1_R6_checksums.sha256

1857 octets · 18 lignes
Manifest détaché — 14 entrées, ne s'auto-hache pas.

Phase A1-R6 — pipeline de liaison matérialisé & générateur Stage-E livré. MODEL 2 effectif (generateStageE) · B-OUTPUT contract · test vectors 6/6 · prolang · Path-C non prouvé → NON exécuté · static vs runtime séparés · A0-R2→A1-R5 préservés · Hard stop après génération A1-R6.