Archive V02 compiler-input and finite lookup evidence

docs/ci-verification.md

@@ -1,8 +1,25 @@
 # CI verification
 
-## Current selected-family replay: #6030
+## Current selected-family replay: #7000 with #7001
 
 The [selected record](../certificates/selected-result.json) binds conditional
+κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md),
+[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json),
+and [explicit source closure](../certificates/frontier7000-source.json).
+`make frontier7000-verify` follows that exact-source selected replay. The review
+reuses eleven authenticated preceding executions and records seven fresh serial
+application, scalar and complete native-catalogue executions. The earlier
+monolithic timeout is retained separately and is not completed coverage.
+Consult the receipts for exact commands, source heads and limits.
+
+The five inherited framework assumptions remain. No complete uniform word,
+literal multiplier execution, independent human proof or formal-kernel proof
+is asserted. Routine research submissions do not need to rerun this
+selected-family replay. The sections below preserve historical checkpoints.
+
+## Historical selected-family replay: #6030
+
+The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional
 κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md),
 [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json),
 and [explicit source closure](../certificates/frontier6030-source.json).

research/h25-v02-compiler-input-evidence/EVIDENCE.json

@@ -0,0 +1,76 @@
+{
+  "candidate_count": 471,
+  "candidate_largest_file_bytes": 30487984,
+  "candidate_total_bytes": 99377921,
+  "equivalence_result": {
+    "actual_installed_view_observed": false,
+    "additional_regular_paths": [
+      "/usr/lib/python3.12/lib-dynload/_json.cpython-312-x86_64-linux-gnu.so",
+      "/v02-census.py"
+    ],
+    "admitted_c05_rows": 0,
+    "effective_compiler_lookup_proven": false,
+    "fixed_baseline_nodes": 749,
+    "ordinary_lookup_outcomes_sha256": "b485eb45016091ede98f1ad83e55e9de8d1355b24fa058a214d1522810dce8c2",
+    "ordinary_paths_compared": 6424,
+    "pch_mutation_types_detected": 2,
+    "same_declared_regular_target": 354,
+    "same_first_missing_component": 6070,
+    "same_literal_specs_walks": 12,
+    "schema": "s05-v02-census-projected-lookup-equivalence-v1",
+    "selected_nodes": 751,
+    "selected_regular_rows": 640
+  },
+  "installed_namespace_observed": false,
+  "original_decisions_accepted": 0,
+  "original_omission_cases_accepted": 0,
+  "projected_result": {
+    "admitted_C05_rows": 0,
+    "complete_projection_premise": "The eventual installed tree must equal the reviewed projection on every consequential path, with actual access and mutation assumptions bound.",
+    "declared_C05_rows": 471,
+    "dynamic_or_writable_paths_reached_by_these_names": 0,
+    "literal_names_checked": 6424,
+    "literal_specs_walks_preserved_in_projection": 12,
+    "names_reaching_declared_regular": 354,
+    "open_selection_premises": [
+      "Bind inherited 56 predefined/configuration facts and the implicit hosted stdc-predef.h policy to original authenticated frontend, options and input closure.",
+      "Establish original effective search-chain construction including quote origin, include_next context/suffix, raw parent traversals, ignored nonexistent directories, remapping and relevant caches.",
+      "Select a complete namespace graph and authenticate lookup prefixes and absence for ordinary shadow headers and both file/directory PCH candidates over the original operation interval. Lower graph unlisted and virtual_unlisted_path do not imply absence.",
+      "Source-directed assembler input exclusion still needs exact original active preprocessing transfer. The pinned snapshot has only symbol asm aliases, but literal .include/.incbin absence alone does not prove concatenated/generated assembly input names absent.",
+      "Bind original role installation, command/output ownership and full actual operating custody. None is established by this passive certificate."
+    ],
+    "original_commands_executed": 0,
+    "preserved_controls": {
+      "earlier_pch_directory": "earlier PCH candidate present: /usr/include/python3.12/Python.h.gch",
+      "earlier_pch_regular": "earlier PCH candidate present: /usr/include/python3.12/Python.h.gch",
+      "quote_start_shadow": "lookup reaches undeclared C05 row: /home/fixture-user/.fixture/fixture-projects/project-v02/outputs/s05-v02-immutable-view-20261110T0938Z/stage/areas/field-negative-variants-v1/exec_failure/internal/pycore_dict.h"
+    },
+    "projected_regular_files": 638,
+    "schema": "s05-v02-original-role-projected-lookup-graph-v1",
+    "scope": "Exact offline graph check using the retained original-role name frontier and pure literal walk. No permissions or installed generation observed.",
+    "unlisted_names_with_first_missing_component_in_projection": 6070
+  },
+  "remaining_obligations": [
+    "Bind inherited 56 predefined/configuration facts and the implicit hosted stdc-predef.h policy to original authenticated frontend, options and input closure.",
+    "Establish original effective search-chain construction including quote origin, include_next context/suffix, raw parent traversals, ignored nonexistent directories, remapping and relevant caches.",
+    "Select a complete namespace graph and authenticate lookup prefixes and absence for ordinary shadow headers and both file/directory PCH candidates over the original operation interval. Lower graph unlisted and virtual_unlisted_path do not imply absence.",
+    "Source-directed assembler input exclusion still needs exact original active preprocessing transfer. The pinned snapshot has only symbol asm aliases, but literal .include/.incbin absence alone does not prove concatenated/generated assembly input names absent.",
+    "Bind original role installation, command/output ownership and full actual operating custody. None is established by this passive certificate."
+  ],
+  "repair": "Candidate v2 includes the named gconv cache row. Its original successful-open trace is external provenance and was not replayed for publication.",
+  "retained_source_scan": {
+    "assumption_count": 56,
+    "conditionally_pruned_sites": 61,
+    "kept_edge_kinds": {
+      "__has_include": 2,
+      "implicit_target_default": 1,
+      "include": 615,
+      "include_next": 4
+    },
+    "kept_edges": 622,
+    "replayed_for_publication": false,
+    "source_images": 356
+  },
+  "retained_v1_failure": "Retained successful opens read the gconv cache omitted by v1.",
+  "schema": "h25-v02-retained-compiler-evidence-summary-v1"
+}