[Clear1nsight]

Upstream publication and complete scope

Publishes fork PR #17, preserving exact verified head 6034837daf958effc42a1908f1b3e97fe6072d0b. Publication comparison was refreshed against upstream f626db5c3a3d781d8f7695038776c621651f75e1 on 22 October 2026: 17 changed files, 3 contribution commits. The scientific package is isolated in its own directory, but the complete upstream diff also carries the shared historical-replay/source-role and navigation/CI repairs from its preparation base, plus the base documentation. Shared repair bytes overlap across fork #14–#18 and must be reconciled once; they are not independent scientific contributions. All five research heads have successful exact-head fork workflows. Opening this PR is not a new scientific replay, upstream CI pass, merge or theorem acceptance. Scientific source pins, attribution and scope limitations are retained.

Evidence dependency: upstream #4542 publishes the unchanged fork #14 matrix receipt used here. This PR does not claim a fresh matrix replay.

---

Change and mathematical scope

Assignment C derives required changed transports and productive helper endpoints from PR4470's chronological words, independently of the physical recipe inventory. All 406 new transport pairs and 17 distinct helper boundaries match the 423 exact physical recipes in both orientations. All 408 helper owners are represented. No new kappa or selected-frontier change.

Each orientation contains 3,302 persistent transport occurrences over 2,856 distinct pairs. Of those occurrences, 439 have directly audited recipes and 2,863 are explicitly inherited. The 240 retained warp events and eight owned-centre jobs are separately classified. Thus this closes the changed/helper coverage boundary without falsely claiming a fresh physical audit of every retained operation.

Canonical subspaces and exact reference-basis embeddings are both retained in the join. Equal spans do not silently licence a phase-changing frame replacement. The original pinned constructor emits data only; its proof engines and the predecessor matrix checker are not imported.

Task and overlap

Canonical base f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc, priority revision 7, unchanged at final refresh. PR4470 source b9a13c1673e0e9697de410de16e8bbf3207a7363; fork PR14 at af86fb28f4fe039d4bb8419850af99a6fc474587 supplies the retained matrix receipt. Eight exact sources are authenticated by Git blob and SHA256. The receipt's source and ordered pair/rank/orientation digest bind its reuse, not a fresh matrix execution.

PR4504 covers chronological frames and billing; PR4478 covers arithmetic; PR4457 covers predecessor operators. The final refresh found PR4539's independent noncommuting p16 free-algebra replay of PR4534. That is valuable complementary controller evidence but does not discharge the physical query/owner caller left here. Targeted searches and bounded Discussion reading are not exhaustive overlap coverage. TASK.json declares the refined independent-moment scope; the historical baseline helper was not run.

The scientific contribution remains pinned to its isolated preparation base. This upstream submission preserves the exact verified head; no frontier promotion is requested.

Validation

Final-head registered workflow 39725302242 passes at 6034837daf958effc42a1908f1b3e97fe6072d0b. Onboarding, package metadata/source authentication, normal full coverage join, optimised controls and preservation of committed inputs pass on Ubuntu with CPython 3.12.15, standard library only.

RESULT.json retains every observed scientific field. The exact set comparison rejects missing or extra changed/helper coverage. An actual oriented record is deliberately removed and rejected. Four positive and seven rejection controls cover canonicalisation, basis embeddings, duplicates, false ranks, missing orientation/coverage and dependent bases.

python -B scripts/research_package.py --package research/pr4470-coverage-join
python -I -O -B research/pr4470-coverage-join/verify.py --self-test

The full 632-input operator endpoint, inherited physical 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 new matrix replay, complete selected cold replay, optional source-history preflight, independent human or formal-kernel verification is claimed.

Credit

Credit Cinna Davis's PR4470 constructor, zxv's receiver/native/controller work, Jacob Alan Sussman's recursion, Mihir Srivastava's PR4504, Mark/Matarener, Ryanson Jonathan and all retained scalar/Clifford/geometry/BIT/outer notices. Prior fork PR14 matrix evidence and this join were prepared for Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. Separate workstreams in one session are not separately launched agents.

Open next questions

Use the executed classification to bind the smallest inherited operator family to exact retained evidence. Then audit the complete arbitrary-input invocation and actual p16 copied-query/owner/erasure caller, using the new PR4534/4539 formal evidence only within its stated scope. Do not repeat the 423 matrix calculations or root arithmetic as though they were missing. README.md, TASK.json and the public handoff identify first steps and blockers.