Conditional κ = 0.003640761374142 (+6.59186746e-7 over #7121): global input rechart

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/p104-global-input-rechart/APPLICATION.md

@@ -0,0 +1,36 @@
+# Complete conditional application
+
+The construction changes the native template while retaining the exact
+signed 17-stage caller from Rohan Arun's #7113. The source closure is the
+complete #7121 package, itself retaining every earlier native/compiler,
+BIT, caller and reviewed application source and notice.
+
+The initial draft was published after the exact native adjoint and price checks.
+Subsequent full native and application runs passed locally on CPython 3.12.14;
+receipts are `NATIVE-RESULT.json` and `RESULT.json`. Registered isolated replay
+subsequently passed with every frozen field matching; see `REPLAY.txt`. The complete application has 110,655 paid positions, 22,274
+productive fields, rank surplus 1,424 and ordinary work 777,717,464. Its
+precision context is 2,344; caller odd scale is 675 and native odd scale 1,125.
+All 3,047 catalogue checks and 104 main boundary pairs passed, as did 54 strict
+and four functional outer conditions. The rational claim is
+1820380687071/500000000000000 = 0.003640761374142.
+
+The application verifier reconstructs both complete invoices, the entire
+rational and integer Laurent caller, every paid/helper chart map and all
+104 main boundary pairs. It binds native occurrences to the physical caller,
+recomputes ownership and phase, derives the native grid and rounded envelope,
+charges the caller's separate odd grid, and recomputes ordinary and fixed-tape
+costs with both directed price engines and 54 strict plus four functional
+outer inequalities. It rejects a compiler probe at the certified crossing.
+
+The mathematical component substitution is the normalized-coordinate
+identity in `PROOF.md`, applied separately to every native invocation with
+fresh independent helpers. Scalar coefficients and order are unchanged;
+helper boundary requests and all native transports are explicitly recounted.
+No old same-native precision or physical receipt is silently reused.
+
+The result remains conditional on `native_all_columns`, `owned_erasure`,
+`compiler`, `precision_tape`, and `analytic_recovery`. Owned erasure keeps
+its original nonzero-content premise. No compiled top-level multiplier,
+independent human proof, formal-kernel acceptance or maintainer admission
+is supplied by these source-aware finite checks.

research/p104-global-input-rechart/CHANGES.json

@@ -0,0 +1,151 @@
+{
+  "initial": [
+    [
+      496,
+      595,
+      3
+    ],
+    [
+      649,
+      597,
+      3
+    ],
+    [
+      664,
+      105,
+      3
+    ],
+    [
+      1310,
+      105,
+      3
+    ],
+    [
+      1445,
+      105,
+      3
+    ],
+    [
+      1447,
+      597,
+      3
+    ],
+    [
+      1449,
+      597,
+      3
+    ]
+  ],
+  "scalar": [
+    [
+      1189,
+      597,
+      3
+    ],
+    [
+      1190,
+      597,
+      3
+    ],
+    [
+      34707,
+      105,
+      3
+    ],
+    [
+      34708,
+      105,
+      3
+    ],
+    [
+      34755,
+      105,
+      3
+    ],
+    [
+      34757,
+      105,
+      3
+    ],
+    [
+      35071,
+      595,
+      3
+    ],
+    [
+      35870,
+      105,
+      3
+    ],
+    [
+      35871,
+      105,
+      3
+    ],
+    [
+      35872,
+      105,
+      3
+    ],
+    [
+      35873,
+      105,
+      3
+    ],
+    [
+      37233,
+      597,
+      3
+    ],
+    [
+      37234,
+      597,
+      3
+    ],
+    [
+      37235,
+      597,
+      3
+    ],
+    [
+      37236,
+      597,
+      3
+    ],
+    [
+      37237,
+      597,
+      3
+    ],
+    [
+      37238,
+      597,
+      3
+    ],
+    [
+      37896,
+      595,
+      3
+    ],
+    [
+      39038,
+      597,
+      3
+    ],
+    [
+      39039,
+      597,
+      3
+    ],
+    [
+      39040,
+      597,
+      3
+    ],
+    [
+      39072,
+      597,
+      3
+    ]
+  ]
+}

research/p104-global-input-rechart/DISCOVERY.json

@@ -0,0 +1,20 @@
+{
+  "source_head": "1670baa28f5a9631286591068d7cc2934d2c2d37",
+  "method": "Fresh-helper-boundary alpha expansion with current tariff and complete public transport reconstruction",
+  "candidate_frames": 1095,
+  "graph_nodes": 70434,
+  "graph_edges": 132493,
+  "mutable_nodes": 68096,
+  "passes": 2,
+  "accepted_expansions": [
+    {
+      "frame": 3,
+      "changed_nodes": 29,
+      "helper_inputs": 7,
+      "scalar_contacts": 22
+    }
+  ],
+  "termination": "No further improving alpha move in the second pass",
+  "scope": "Finite current-catalogue floating discovery, not a global optimum. Exact word construction, adjoint and directed prices are independently checked. Full discovery logs remain local.",
+  "credit": "1337isnot1337/OpenAI Codex fresh-helper-boundary method; new graph adapter and experiment Rohan Arun/OpenAI Codex."
+}