Close PR4470 changed-pair coverage: 406 transports + 17 helper boundaries (no new kappa)

docs/ci-verification.md

@@ -5,6 +5,25 @@
 Start with the [selected record](../certificates/selected-result.json). Its
 `reproduce`, `review`, `source_manifest` and `validation` fields identify the
 replay command, scoped assessment, source bindings and integration evidence.
+The selected checkpoint is #4359, documented in
+[the proof review](research/pr-intake-evidence/pr4359/PROOF-REVIEW.md),
+[the source manifest](../certificates/frontier4359-source.json) and
+[the validation receipt](research/pr-intake-evidence/pr4359/VALIDATION.json).
+The public cold replay is `make frontier4359-verify`; the configured
+[frontier4359 workflow](../.github/workflows/frontier4359.yml) executes it
+on Ubuntu 24.04 with Python 3.12 and the pinned requirements. Consult
+[the integration receipt](research/pr-intake-evidence/pr4359/INTEGRATION.json)
+and [workflow runs](https://github.com/CrocSwap/integer-mult-bounds/actions/workflows/frontier4359.yml)
+for dated evidence and exact tested heads.
+
+`make selected-record-check` checks metadata and source/proof hashes. The
+finite replay and changed-interface review retain the native/physical,
+analytic, precision, fixed-tape and recovery hypotheses in the selected
+record; they are not a full formal multiplication theorem. The winning
+uniform templates are algorithm-defined and are not materialized.
+
+## Historical checkpoint through #1094
+
 At this checkpoint, the selected composition is #589 with #1094, documented in
 [the review](research/community-batch1099-review.md),
 [the source manifest](../research/community-frontier1094-audit/SELECTED-SOURCE.json)

docs/research/clear1nsight-20261022-base.md

@@ -0,0 +1,5 @@
+# Isolated contribution base, 22 October 2026
+
+This branch starts at canonical main f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc. It carries only the already tested fork PR14 navigation and historical source-role corrections, separate from all four new research submissions. The historical replay's original-manifest reference is now the same byte-identical manifest in canonical main, so no foreign fork commit is required. Scientific verifiers, original hashes and receipts, selected records, and replay invalidation paths are unchanged. Credit zxv's PR4436 documentation, James Reed's PR3563 and the locale/D8 authors; fork adaptation by Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0.
+
+This is an isolated base branch, not a merge into main or a selected-frontier update. Each research PR targets this branch to keep its scientific diff focused. Upstream submission should carry the individual research commit; upstream maintainers own any shared CI repair. New package metadata pins the canonical scientific baseline, not the changing current documentation.

docs/research/current-status.md

@@ -1,12 +1,14 @@
 # Current reviewed status
 
-Selected conditional κ: **0.0023 = 23/10000**, zxv’s #4359 productive-helper construction, using Jacob Alan Sussman’s mixed-target recursion and the credited cumulative native/outer lineage.
+Selected conditional κ: **0.0023** = 23/10000, zxv’s #4359 productive-helper construction, using Jacob Alan Sussman’s mixed-target recursion and the credited cumulative native/outer lineage.
 
 [Selected record](../../certificates/selected-result.json) · [Proof review](pr-intake-evidence/pr4359/PROOF-REVIEW.md) · [Integration receipt](pr-intake-evidence/pr4359/INTEGRATION.json) · [Contributors](community-productive4359-contributors.md).
 
 Cold replay: `make frontier4359-verify`. The fresh 23-stage replay and 59 normalized artifacts pass; the changed interfaces have an AI-assisted proof review under retained analytic/native/fixed-tape hypotheses. Winning uniform templates are not materialized. This is not a complete formal or independent human verification. #4404 independently checks a narrower arithmetic/flow scope.
 
-## Historical selected status through #1094
+The sections below are a historical snapshot; consult the selected record above for present status.
+
+## Historical checkpoint through #1094
 
 Historical selected conditional κ: **0.001672660197076918**, Rohan Arun's #1094 on Jeremy Kothe's #1087 packing and the cumulative k8/slot/T16 construction. The bit supplier remains #589 on #555.
 

research/d8-mixed-target-seeda97c8e/SOURCES.json

@@ -4,25 +4,25 @@
   "files": [
     {
       "path": "autoresearch.md",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "8d5403e0f10f68a61d0cb9294fa2e83e872d1d82",
       "sha256": "215b3222f6a943edc69422a28ac21ea1f397ddf54770f1d87ac4195385d73699"
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11",
       "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32"
     },
     {
       "path": "docs/research/agent-task-catalog.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "06c96f5579bb67ed1b86d334e78fbed7da6945f1",
       "sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075"
     },
     {
       "path": "docs/research/current-status.md",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "d73b4ff9da41f044e793422db4318be17e234a6c",
       "sha256": "adb54af005eb11edaf84d782fe729338680ff908f6d4fbf39ba1062d2e7d8a77"
     },

research/historical-1042-link/SOURCES.json

@@ -10,13 +10,13 @@
     },
     {
       "path": "docs/research/current-status.md",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "4e0a8b7cdacc1d9680f7f81d03624118bb20416d",
       "sha256": "00a08925c51b26d168b8099ddeed659ac4381f7e04f3c7fd0e9de8e71f206823"
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     },

research/historical-1042-link/VERIFY.json

@@ -10,14 +10,14 @@
   ],
   "commands": [
     {
-      "argv": ["{python}", "-B", "{package}/verify.py"],
-      "timeout_seconds": 30,
-      "checks": "Compare the #1042 status link with the live record and the frontier1042 checkpoint."
+      "argv": ["{python}", "-B", "{package}/historical_replay.py"],
+      "timeout_seconds": 120,
+      "checks": "Authenticate and replay the unchanged PR3563 verifier, tests and receipt against its exact original three source blobs in a temporary snapshot. Current navigation is checked separately; all original invalidation paths remain declared."
     },
     {
       "argv": ["{python}", "-B", "{package}/test_verify.py"],
       "timeout_seconds": 30,
-      "checks": "Check the printed decimal and the historical section cut."
+      "checks": "Check the unchanged printed decimal and historical section cut."
     }
   ]
 }

research/historical-1042-link/historical_replay.py

@@ -0,0 +1,76 @@
+#!/usr/bin/env python3
+"""Replay unchanged PR3563 evidence on its authenticated historical snapshot.
+
+Adapted from Clear1nsight PR14 solely to bind the original manifest to current
+canonical ancestry. Apache-2.0; substantial OpenAI assistance.
+"""
+from pathlib import Path, PurePosixPath
+import hashlib
+import json
+import os
+import subprocess
+import sys
+import tempfile
+
+HERE = Path(__file__).resolve().parent
+ROOT = HERE.parents[1]
+PUBLICATION = 'f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc'
+PACKAGE = 'research/historical-1042-link'
+ORIGINAL = {'verify.py':'12170922e5cd84746089d022f103bfe931fb8a15',
+            'test_verify.py':'140840530cbd9b4fdd80d8fa067334b61bfa4c17',
+            'RESULT.json':'a9d58d28814fc4a7c9b50a165b48d1a4f52d1892',
+            'SOURCES.json':'c6119ca5a8233edd0f8ed3a2e606de5b088d9fcf'}
+INPUTS = {'docs/research/current-status.md','certificates/selected-result.json',
+          'certificates/checkpoints/frontier1042.json'}
+
+def require(ok, why):
+    if not ok:
+        raise ValueError(why)
+
+def blob_id(data):
+    return hashlib.sha1(b'blob '+str(len(data)).encode()+b'\0'+data).hexdigest()
+
+def checked_path(path):
+    p=PurePosixPath(path)
+    require(not p.is_absolute() and str(p)==path and '..' not in p.parts
+            and '\\' not in path and '\0' not in path, 'Unsafe historical path')
+    return path
+
+def git_bytes(spec):
+    env=dict(os.environ, GIT_NO_REPLACE_OBJECTS='1')
+    return subprocess.check_output(['git','--no-replace-objects','cat-file','blob',spec],
+                                   cwd=ROOT,env=env,timeout=30)
+
+def main():
+    raw=git_bytes(PUBLICATION+':'+PACKAGE+'/SOURCES.json')
+    require(blob_id(raw)==ORIGINAL['SOURCES.json'],'Original manifest changed')
+    manifest=json.loads(raw)
+    rows=[r for r in manifest['files'] if r['usage']=='input']
+    require(len(rows)==3 and {r['path'] for r in rows}==INPUTS,'Input inventory changed')
+    payload={PACKAGE+'/SOURCES.json':raw}
+    for name in ('verify.py','test_verify.py','RESULT.json'):
+        path=HERE/name
+        require(path.is_file() and not path.is_symlink(),'Missing/aliased frozen file')
+        data=path.read_bytes()
+        require(blob_id(data)==ORIGINAL[name],'Frozen bytes changed')
+        payload[PACKAGE+'/'+name]=data
+    for row in rows:
+        path=checked_path(row['path'])
+        data=git_bytes(manifest['base_commit']+':'+path)
+        require(blob_id(data)==row['git_blob'],'Historical blob mismatch')
+        require(hashlib.sha256(data).hexdigest()==row['sha256'],'Historical hash mismatch')
+        payload[path]=data
+        if path.endswith('frontier1042.json'):
+            require((ROOT/path).read_bytes()==data,'Live historical checkpoint changed')
+    with tempfile.TemporaryDirectory(prefix='historical-1042-replay-') as directory:
+        root=Path(directory)
+        for relative,data in payload.items():
+            p=root/relative;p.parent.mkdir(parents=True,exist_ok=True);p.write_bytes(data)
+        flags=['-I','-B']+(['-O'] if sys.flags.optimize else [])
+        for name in ('verify.py','test_verify.py'):
+            subprocess.run([sys.executable,*flags,str(root/PACKAGE/name)],cwd=root,check=True,timeout=30)
+        require(all((root/p).read_bytes()==data for p,data in payload.items()),'Frozen replay mutated evidence')
+    print('PASS_HISTORICAL_1042_SNAPSHOT current_frontier_not_asserted=true')
+
+if __name__=='__main__':
+    main()

research/pr4470-coverage-join/README.md

@@ -0,0 +1,36 @@
+# Chronological-to-physical coverage join for PR4470
+
+**Source-bound coverage join passes; no new kappa.** Assignment C connects actual changed native demands to fork PR14's exact physical recipes. The 406 new distinct transport pairs and 17 distinct helper boundaries match all 423 recipes exactly in both orientations. [RESULT.json](RESULT.json) retains the complete executed output. [VALIDATION.md](VALIDATION.md) records the hosted environment, exact revisions and passing commands.
+
+## What is covered
+
+Each orientation contains 3,302 persistent transport occurrences over 2,856 distinct pairs. Of those occurrences, 439 have directly checked recipes and 2,863 are explicitly inherited. All 408 helper owners are represented through 17 distinct endpoint pairs. The join checks 846 oriented records. The 240 retained warps and eight owned-centre jobs per orientation remain separately classified, not silently promoted to new physical evidence.
+
+The original pinned constructor emits old and changed words, frame catalogues and helper endpoints. Its proof engines are not called. A separate binary elimination and state trace checks each climb's actual source, nesting and charged rank, scalar common frames, warp entrances, centre charges and final persistent frames. Required physical records are derived from actual changed transport pairs and every productive helper boundary, independently of the recipe inventory. Missing or extra records reject.
+
+Canonical subspaces replace raw frame IDs, but exact reference-basis embeddings remain in the keys. Equal spans do not silently license a phase-changing replacement of a physical frame. The exact NATIVE.json.gz bytes and ordered pair/rank/orientation digest bind the coverage to PR14's unchanged successful matrix receipt under evidence/. Reusing scoped prior execution is different from freshly repeating its 221,773,824 complex-entry comparisons. Its original limitations remain intact.
+
+## Reproduction and evidence
+
+Python 3.12, standard library only:
+
+```sh
+python -B scripts/research_package.py --package research/pr4470-coverage-join
+python -I -O -B research/pr4470-coverage-join/verify.py --self-test
+```
+
+The registered source-bound run passed on CPython 3.12.15, including metadata, optimised controls and preservation of committed inputs. Eight sources are pinned by Git blob and SHA256 before the constructor runs in isolated Python with a private bytecode cache. Four positive and seven rejection controls cover canonicalisation, embedding preservation, duplicate records, wrong ranks, absent orientations, missing coverage and dependent bases. The actual-source run additionally removes an oriented record and requires rejection. Normal replay compares the entire retained receipt without rewriting it.
+
+## Scope and overlap
+
+Scientific base f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc, priority revision 7; PR4470 source b9a13c1673e0e9697de410de16e8bbf3207a7363. Fork PR14 at af86fb28f4fe039d4bb8419850af99a6fc474587 supplies prior physical evidence. PR4504 covers chronological frames and billing; PR4478 covers arithmetic. This package closes a different binding question and does not import their acceptance functions. Targeted searches are not exhaustive overlap coverage or novelty proof. The historical baseline helper was not run.
+
+The full 632-input operator endpoint, physical implementations of inherited transports/warps/centres, p16 query/owner/erasure protocol, precision/stock and outer theorem remain separate. Counting owned clears is not a full semantic erasure proof. No selected record or frozen source changes.
+
+## Open next questions
+
+Use the executed classification to bind the smallest inherited operator family to retained exact evidence. Then audit the complete arbitrary-input invocation and actual p16 caller. Do not repeat the 423 matrix calculations or root arithmetic as though they were missing. TASK.json records the relevance, first step and blockers.
+
+## Credit
+
+Credit Cinna Davis's PR4470, zxv's receiver/native/controller work, Jacob Alan Sussman's recursion, Mihir Srivastava's PR4504, Mark/Matarener's earlier operators, Ryanson Jonathan's arithmetic audit and the retained scalar/Clifford/geometry/BIT/outer notices. Prior matrix evidence and this new join were prepared for Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. Separate workstreams are not independently launched agents, human review or formal-kernel acceptance.

research/pr4470-coverage-join/RESULT.json

@@ -0,0 +1,19 @@
+{
+  "actual_omission_rejected": true,
+  "canonical_basis_bound_oriented_records": 846,
+  "controls": {"positive_checks": 4, "rejected_controls": 7},
+  "coverage_index_sha256": "5f3923deb45470a9e9f3cf958e3876ea9e81bb2837f32b835196572993ed5d1f",
+  "distinct_helper_boundaries": 17,
+  "independent_helper_owners": 408,
+  "new_kappa": false,
+  "not_covered": ["fresh matrix replay", "physical verification of inherited transports, warps and centres", "complete arbitrary-input native endpoint", "p16 caller and outer theorem"],
+  "orientations": {
+    "backward": {"all_distinct_transports": 2856, "changed_distinct_transports": 406, "directly_covered_occurrences": 439, "inherited_transport_occurrences": 2863, "owned_center_jobs": 8, "persistent_transports": 3302, "retained_warp_events": 240, "scalar_events": 17453},
+    "forward": {"all_distinct_transports": 2856, "changed_distinct_transports": 406, "directly_covered_occurrences": 439, "inherited_transport_occurrences": 2863, "owned_center_jobs": 8, "persistent_transports": 3302, "retained_warp_events": 240, "scalar_events": 17453}
+  },
+  "physical_matrix_evidence": "Fork PR14 receipt at af86fb28f4fe039d4bb8419850af99a6fc474587 is reused, not rerun",
+  "physical_records": 423,
+  "schema": "pr4470-coverage-join/v1",
+  "source_head": "b9a13c1673e0e9697de410de16e8bbf3207a7363",
+  "status": "PASS_EVENT_DERIVED_COVERAGE_JOIN"
+}

research/pr4470-coverage-join/SOURCES.json

@@ -0,0 +1 @@
+{"schema_version":1,"base_commit":"f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc","files":[{"path":"certificates/selected-result.json","usage":"provenance","git_blob":"ed33caef5c5827693e9572d252a66f99cbb73d40","sha256":"5732707cc1e460b090b53f2463162749ad860de878a18f7408938671d295a9d9"},{"path":"docs/research/agent-task-catalog.json","usage":"provenance","git_blob":"64bfc5af6709ed9811171e0a2108f05e1219cb65","sha256":"352a6184713b8843d96fd2c2071eb7aeaa655906b7c51d45ad444912666c8a96"},{"path":"research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-CANONICAL.json.gz","usage":"input","git_blob":"4a8c4ed26e53a72362d571c972e65aff546be784","sha256":"6418ec3da24d548a57f5c3fe5b9062c26c9478e638504a61c387f5cfb5f4ed61"},{"path":"research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-NATIVE.json.gz","usage":"input","git_blob":"b46d44c6ee624968dd57be928b0c15d9d45f3b2c","sha256":"c54b0a3e129d28e6dbf74fa731fc3bb70fe3c6705f07256750fbecddcc842d39"},{"path":"research/fresh-helper-boundary/native.py","usage":"input","git_blob":"1b36f6cb5f205c33bf48811e0b1b3621c55e8154","sha256":"9b55a2d3c3972148fae9d112e745d9244968166bd89bd900c938f429fc76ab29"},{"path":"research/fresh-helper-boundary/CHANGES.json","usage":"input","git_blob":"45744fedd0e28967aa72586048b8bc0c72f419a9","sha256":"cde73b8ff5b3c0d06e69e2293b991b24fd14a16dd4ccab7ff6b3439074a94624"},{"path":"research/missing-join-frame/PATCH.json","usage":"input","git_blob":"f96d295d40014d4dd503f58eb3cdabcbb4b8e101","sha256":"9ab5328245ff02c9d0be21d39bcc375f50bc5d7909e9f7b9a3a9a6f812f5bd6e"},{"path":"research/joint-helper-lattice/PATCH.json","usage":"input","git_blob":"51304a6601061ed4e698f910b09135ef109555e3","sha256":"296d0e8c58cc70febe042c681ef30d6bb469818c0835fbcaac8aa8d330f5b727"},{"path":"research/joint-helper-lattice/native_joint.py","usage":"input","git_blob":"0315f80e2fdef5e0eef13e3e9b8f72066238164d","sha256":"50869b1bcad7493e6b4cb2a4cd5d2fd9a193a5921100483fa2c3f2c999ddfd46"},{"path":"research/joint-helper-lattice/NATIVE.json.gz","usage":"input","git_blob":"0910f74138decf498e7fc445cc2daff4390169d6","sha256":"74582cce642c80f0235be7fcbce3716174666326ac6a1d46d02a62a75d7be4c6"}]}