Receiver-sharing transfer on twelve PR4470 windows preserves the paid profile (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/receiver-window-transfer/METADATA-CORRECTION.md

@@ -0,0 +1,3 @@
+# Publication metadata correction
+
+The receipt-retention run 39724869780 at 3bd375a8744a0b790feb0e3108f10c52406b96b5 stopped before scientific replay because the author used outcome negative instead of the schema's negative-result. This corrects only that metadata value and records the failed attempt. The earlier full source-bound run 39723520394 passed. The scientific code, exact source pins and retained RESULT.json are unchanged; the next hosted run must still compare the fresh receipt. VALIDATION.md's word negative describes the result, not a valid schema enum.

research/receiver-window-transfer/README.md

@@ -0,0 +1,40 @@
+# Receiver sharing on twelve productive-helper windows
+
+**Bounded negative construction result; no new kappa.** The source-bound registered replay passes. Of 128 eligible adjacent receiver pairs in PR4470, the first twelve were tested. All twelve selected replacements preserve the old paid profile exactly in both orientations and add one scalar operation. No improvement is claimed. [RESULT.json](RESULT.json) retains the exact source-bound receipt; [VALIDATION.md](VALIDATION.md) records the actual hosted execution and earlier corrected metadata failure.
+
+## Construction and exact domain
+
+For a += ca*x; b += cb*x, where ca,cb are unit signs, set s=-ca*cb and replace by a += s*b; b += cb*x; a -= s*b. This holds on arbitrary dirty a,b,x and for its inverse-transpose word. No field is cleared, copied or given extra productive credit. The finite domain is the first twelve adjacent persistent ADD pairs in B or cleanup_tail with one common source and distinct receivers. The observed twelve are all in phase B; neither every B window nor all cleanup windows are covered.
+
+Seven pinned source inputs are authenticated before the original constructor emits the word under test. No predecessor proof evaluator is called. The separate checker derives next required frames, enumerates feasible contact-dimension triples for the three-shear word, constructs legal nested flags, and recomputes the complete local invoice in both orientations. Main boundaries, warps, centres and all 408 productive helper endpoints remain fixed. Every retained whole-word paid profile equals {1:2237,2:388,3:494,4:147,5:36,8:8}.
+
+## Frame-domain theorem
+
+Let A,B,X be entrance subspaces and Ae,Be,Xe the next required frames. Set L1=A+B, L2=L1+X, V3=Ae intersection Be, V2=V3 intersection Xe. A monotone common-frame implementation exists exactly when L2 is contained in V2. The feasible dimensions satisfy dim(L1)<=d1<=dim(V2), max(d1,dim(L2))<=d2<=dim(V2), and d2<=d3<=dim(V3).
+
+Necessity follows because b participates in all contacts, a in the first and last, and x in the middle. Hence F1 is contained in F2 contained in F3, with L1 contained in F1, L2 contained in F2, F2 contained in V2 and F3 contained in V3. Sufficiency follows by extending a basis along L1 contained in L2 contained in V2 contained in V3 and taking the required prefixes. Every positive entrance, inter-contact and exit gap is charged. This is restricted to the stated word and monotone contract, not a general lower bound.
+
+Paid powers at C=0.00302015 are enclosed by rational atanh and exponential series with explicit tails. Strict gain requires a positive lower bound. Complete-word and local-delta invoices must agree. Equal histograms are exact zero savings even where independently enclosed costs give a narrow interval around zero. The stronger four-shear exclusion is a separate companion in fork PR18, not a premise here.
+
+## Reproduce and limitations
+
+Python 3.12, standard library only:
+
+```sh
+python -B scripts/research_package.py --package research/receiver-window-transfer
+python -I -O -B research/receiver-window-transfer/verify.py --self-test
+```
+
+The registered replay passed on CPython 3.12.15 and preserves committed inputs. Normal verification compares the full receipt without rewriting it. The inherited constructor is generation, not independent verification. Physical lowering and absolute phases of a new path, the complete native endpoint, precision/stock, compiler and outer transfer are not established. No selected record or frozen source changes.
+
+## Task and overlap
+
+Scientific base f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc, priority revision 7; PR4470 source b9a13c1673e0e9697de410de16e8bbf3207a7363. TASK.json records the user-assigned changed scope. PR4121 uses older T360 sources; PR4504/4478 verify predecessors. PR4532/4533 concern the compiler. Targeted searches are not exhaustive overlap pagination or novelty proof. The historical baseline helper was not run.
+
+## Open next questions
+
+Do not reseed the twelve fixed windows. A useful next experiment must explicitly change the scalar alphabet, adjacency, or source/consumer boundary and price it completely. Another window is outside this finding but should have a concrete structural reason for consideration. The physical/native/consumer obligations remain necessary for any future positive candidate. TASK.json gives the first step and blockers.
+
+## Credit
+
+Credit zxv's PR4085 receiver identity and PR4359 productive-helper architecture, Cinna Davis's PR4470 and constructor, Jacob Alan Sussman, the fresh-helper/missing-span lineage, Mihir Srivastava, Ryanson Jonathan, GamingPuzzled's older census and all retained native/Clifford/geometry/outer notices. Prepared for Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. No independent human or proof-kernel acceptance is claimed.

research/receiver-window-transfer/RECEIPT-COMPARISON.md

@@ -0,0 +1,5 @@
+# Canonical receipt comparison
+
+The scientific engine's Python histograms use integer rank keys, while JSON object keys are necessarily strings. Its original direct main function compares those two Python objects without serialisation, which cannot validate a stored receipt even when all mathematical fields agree. The registered command now uses replay.py. It authenticates the unchanged engine at Git blob d91cfcffe9963b9df42e3874f09b29627edd2565, executes run() with every original source and scientific check, and compares both results in their canonical JSON representation. It never executes the authoring --write path and never modifies RESULT.json.
+
+No field is dropped or value rounded. Sorted object order and JSON's required string key representation are the only representational normalisation. Arrays remain ordered. Boolean versus integer and integer versus float values remain distinct in the encoded comparison. Six controls reject changed counts, changed flag type, numeric type substitution, changed order, missing fields and extra fields, in normal and optimised runs. The source-bound numerical receipt remains unchanged. Use the registered command or replay.py for stored-receipt verification; the unchanged original --self-test command remains valid. This is an explicit comparison adapter, not an adjustment to mathematical acceptance.