P2a11 A1 R7 Download | My Business Pro

Téléchargements — P2A11-A1-R7 Deterministic Authority & Receiver Dataflow Closure

16 artefacts A1-R7 · UTF-8 · LF · vérification SHA-256 (manifest détaché, 15 entrées) · 91910 octets

Capture ID : R3D4B_P2A11_A1_R7

Statut sémantique : R3D4B_P2A11_A1_R7_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-R6 : préservés · A2 : NOT AUTHORIZED

Fermeture R7-F01→R7-F06 : toutes CLOSED (autorité exacte, pas de naming-as-authority)

AV-01 : p_actor_type · exact position (proargnames) · MODEL_E · mechanism impl. (runtime NOT_PROVEN)

SV-01 : p_source · indépendant · exact dataflow · mechanism impl. (runtime NOT_PROVEN)

CU-01 : CU01_AUTHORITATIVE_DEPENDENCY_NOT_PROVEN (aucun naming-as-authority, pas de SQL Stage-E émis)

Générateur : test vectors TC1–TC12 · 12/12 PASS (Node, sans base)

Sécurité SQL : 0 ILIKE/LIKE · 0 LIMIT 1 · 0 DML · 0 DDL · 0 receiver invocation (exécutable)

Suffisance (recalculée) : static=30/32 (93.75%) · insuffisant=2 · runtime acquired=0 (0%)

Intégrité confirmée — 15/15 artefacts RAW (manifest)

a1_r7_sql_syntax_independently_proven_pass = false

La validation sémantique est PASS (autorité exacte implementée, générateur 12/12). La syntaxe SQL n'est PAS indépendamment prouvée faute de parseur PostgreSQL (STRUCTURAL_AND_CATALOG_AUDIT_ONLY_NO_POSTGRES_PARSER). Le generator/extractor ont été exécutés en Node (sans base) — cela ne prouve pas la validité du SQL. CU-01 est honnêtement NOT_PROVEN (aucune dépendance XOF prouvable à la génération).

#1 · DETERMINISTIC AUTHORITY & RECEIVER DATAFLOW CLOSURE OK

phase1QF3C_R3D4B_P2A11_A1_R7_deterministic_authority_receiver_dataflow_closure.md

6884 octets · 167 lignes

SHA-256 (manifest) : 92559a9d74394b4170f7e03e2b9feaa6bc8f18161a00cc6d0e422b43fe603ee9

SHA-256 recalculé : 92559a9d74394b4170f7e03e2b9feaa6bc8f18161a00cc6d0e422b43fe603ee9

#2 · SOURCE READ-ONLY PREFLIGHT — CU-01 honest NOT_PROVEN (SQL) OK

phase1QF3C_R3D4B_P2A11_A1_R7_source_readonly_preflight.sql

2468 octets · 55 lignes

SHA-256 (manifest) : 203f13816bc58c050f25d9d6451a4da049f5b7a6a2bffb06c37943b4cc8b305a

SHA-256 recalculé : 203f13816bc58c050f25d9d6451a4da049f5b7a6a2bffb06c37943b4cc8b305a

#3 · TARGET READ-ONLY PREFLIGHT — exact receiver AV-01/SV-01 (SQL) OK

phase1QF3C_R3D4B_P2A11_A1_R7_target_readonly_preflight.sql

10491 octets · 212 lignes

SHA-256 (manifest) : caf25b18604cdd19ef61ad86ba4c15240cd9ee583687607b390d212f69887a7d

SHA-256 recalculé : caf25b18604cdd19ef61ad86ba4c15240cd9ee583687607b390d212f69887a7d

#4 · TARGET NON-BUSINESS ROLE PROBE (SQL) OK

phase1QF3C_R3D4B_P2A11_A1_R7_target_role_probe.sql

1116 octets · 26 lignes

SHA-256 (manifest) : 8216a25ac9de19d1f34d829224e02f2052a99d07b72924ab346f5b448f35735a

SHA-256 recalculé : 8216a25ac9de19d1f34d829224e02f2052a99d07b72924ab346f5b448f35735a

#5 · BINDING OUTPUT CONTRACT R7 (JSON) OK

phase1QF3C_R3D4B_P2A11_A1_R7_binding_output_contract.json

6512 octets · 125 lignes

SHA-256 (manifest) : 8b58e0124d080bb3e19093d45a0531498c4f1e1d5f95aa5f8a7d86ae6bb618be

SHA-256 recalculé : 8b58e0124d080bb3e19093d45a0531498c4f1e1d5f95aa5f8a7d86ae6bb618be

#6 · OFFLINE STAGE-E GENERATOR — strengthened authority contract (JS) OK

phase1QF3C_R3D4B_P2A11_A1_R7_stage_e_generator.js

17997 octets · 224 lignes

SHA-256 (manifest) : 21f046f18669cfe71956c2c3b96f46f6c998e91367eea124c0e1b6b46783aedd

SHA-256 recalculé : 21f046f18669cfe71956c2c3b96f46f6c998e91367eea124c0e1b6b46783aedd

#7 · RECEIVER DATAFLOW EXTRACTOR — Models A–E (JS) OK

phase1QF3C_R3D4B_P2A11_A1_R7_receiver_dataflow_extractor.js

15969 octets · 336 lignes

SHA-256 (manifest) : a6eb47431f1cbe2e20e57160801c607baabaf8c57c650e4809a82aa05f703805

SHA-256 recalculé : a6eb47431f1cbe2e20e57160801c607baabaf8c57c650e4809a82aa05f703805

#8 · GENERATOR TEST VECTORS TC1–TC12 (JSON) OK

phase1QF3C_R3D4B_P2A11_A1_R7_generator_test_vectors.json

4181 octets · 26 lignes

SHA-256 (manifest) : 086dcbb4d5b193939ba112718b238cef16eb3eaa79075e84ce1d5962d4f491e6

SHA-256 recalculé : 086dcbb4d5b193939ba112718b238cef16eb3eaa79075e84ce1d5962d4f491e6

#9 · SOURCE BASELINE (JSON) OK

phase1QF3C_R3D4B_P2A11_A1_R7_source_baseline.json

1965 octets · 34 lignes

SHA-256 (manifest) : 26bf3a4fda6c283d0dba18772c22bdd8a88583a9b0615b28fbb8dfdce2cffbbf

SHA-256 recalculé : 26bf3a4fda6c283d0dba18772c22bdd8a88583a9b0615b28fbb8dfdce2cffbbf

#10 · TARGET BASELINE (JSON) OK

phase1QF3C_R3D4B_P2A11_A1_R7_target_baseline.json

3308 octets · 52 lignes

SHA-256 (manifest) : 33b6cbd6effd3fbc3c81e09ee215021adb5c48e4229db329212485b9fc55eae5

SHA-256 recalculé : 33b6cbd6effd3fbc3c81e09ee215021adb5c48e4229db329212485b9fc55eae5

#11 · AUTHORITATIVE EVIDENCE MATRIX (32 rows, recomputed) OK

phase1QF3C_R3D4B_P2A11_A1_R7_authoritative_evidence_matrix.md

4155 octets · 66 lignes

SHA-256 (manifest) : f54b7f67fe12806e33385b18d8509f680a85d34c15ede8660c9f8500ea985433

SHA-256 recalculé : f54b7f67fe12806e33385b18d8509f680a85d34c15ede8660c9f8500ea985433

#12 · EVIDENCE & TRACEABILITY (execution traces incl. 12/12) OK

phase1QF3C_R3D4B_P2A11_A1_R7_evidence_and_traceability.md

3920 octets · 83 lignes

SHA-256 (manifest) : 3aa51c4baae2147e346cefff76274554771b84d101c081d23bffe4530dd479f5

SHA-256 recalculé : 3aa51c4baae2147e346cefff76274554771b84d101c081d23bffe4530dd479f5

#13 · DIFFERENCE AND CLOSURE REPORT OK

phase1QF3C_R3D4B_P2A11_A1_R7_difference_and_closure_report.md

2835 octets · 46 lignes

SHA-256 (manifest) : 918158a49f2ef1f1f192020d19bda6ce90bb45400d03dd251aa41c8b9db39517

SHA-256 recalculé : 918158a49f2ef1f1f192020d19bda6ce90bb45400d03dd251aa41c8b9db39517

#14 · REVIEW OK

phase1QF3C_R3D4B_P2A11_A1_R7_review.md

4528 octets · 93 lignes

SHA-256 (manifest) : ea45feba1b7c800a090cfe46a65fbe57552a5cca09b5177da7353fbcfa1ab9e6

SHA-256 recalculé : ea45feba1b7c800a090cfe46a65fbe57552a5cca09b5177da7353fbcfa1ab9e6

#15 · REPORT OK

phase1QF3C_R3D4B_P2A11_A1_R7_report.md

3587 octets · 80 lignes

SHA-256 (manifest) : 9e4a80a79cbbe7af441388f5d8041d31f969fc14a172354bdd78fa986e952534

SHA-256 recalculé : 9e4a80a79cbbe7af441388f5d8041d31f969fc14a172354bdd78fa986e952534

#16 · CHECKSUMS (detached manifest, 15 entries)manifest détaché

phase1QF3C_R3D4B_P2A11_A1_R7_checksums.sha256

1994 octets · 19 lignes

Manifest détaché — 15 entrées, ne s'auto-hache pas.

Phase A1-R7 — correction ciblée de A1-R6. Autorité déterministe: AV-01 p_actor_type / SV-01 p_source exactes (MODEL_E + position proargnames + type par OID); CU-01 honnêtement NOT_PROVEN. Extractor Models A–E (artifact 7), générateur renforcé 12/12, ambiguïté cohérente (max(D-1,0)), LIMIT 1 = 0, generic rediscovery = 0, 32 lignes recalculées (30/32 suffisantes), runtime 0, A2 NOT AUTHORIZED. A0-R2→A1-R6 préservés. Hard stop après génération A1-R7.