[Clear1nsight]

Change and mathematical scope

Supply the missing physical raw inverse transpose of #4935's source-restored involutory producer. The literal new backward word returns X'=X-F^T Y, Y'=Y in its actual conjugated source charts, preserving all632 original inputs and408 independent helper jobs and resetting the existing owned C0. The source-mutating UNIT-TRANSFER variant is excluded.

Start with #4929's unchanged backward word. For each of #4935's eight selected Y ports, copy its pure final observation into owned C0, apply its actual rank-one lift to the common full X chart, scatter the dyadic correction -12(PR)^T, then clear C0. The suffix has8H1,424 weighted ADDs,8COPY and16CLEAR. The complete paid profile is {1:2209,2:412,3:510,4:127,5:40}, exactly the forward4935 invoice. No extra array or productive reward is created. The conservative finite allowance is3064 extra elementary array passes outside the eight recursive calls; precision amplification and compiler funding remain separate.

This is a positive physical interface result, with a changed transfer contract. It is not an unchanged-output saving or a complete caller. The replayed word and science/RESULT.json.paid are authoritative: retained canonical.local_profile is baseline4929 metadata.

A separate source-specific ONE-parallel-bank ceiling checks diag(F)=12D_J, F_JJ=12I and invertibility of the off-diagonal part. Its grade-two projection requires112H2 under the stated finite columnwise Clifford grammar. That bill loses throughout C∈[.0030217758,.0034] even granting an unrealized224H17+2H reward; its lower-endpoint margin is enclosed by[-73.269156882594712940928576503039,-73.269156882594712940928576503038]. This excludes only the specified standalone adapter architecture. It does not obstruct this repair, a direct coded caller or chronological native absorption.

Task and overlap

Prospective assignment: Discussion #4902, recorded before emission. Final commit 85e95125078826922668e9c4e96de87ebb0deb0f, base cef4b52f2a59009865bf8eabde1be3f159063703. Exact4935 source head 64c9f99693c92fb370096fb43dbc58a085b30e36;4929 head 361f5d4100640177d6a983dd2f336021c75bfd5e; native source 20bb93cd990d2ff683e4d0fc56b87a42cd5d3296.

The pending4935 source is not claimed ancestral to main. Its exact raw blobs, original paths/head/blob IDs and SHA256 values are preserved in real source-retention ancestor 984e02db73bc2d814e20cbe3830b26ff0c3b09fe; final SOURCES binds those retained ancestor paths. No fork-only Git object or network is needed at runtime.

The live all-author created/updated feed and bounded4935 comments/Discussions/handoffs found no competing public physical raw-dual owner before the claim. This does not establish exhaustive novelty or cover unpublished work. #4931's clean prefix, #4932's older-code adapter ceiling, dillona's #4933 caller and SethBurkart123's new #4940 reverse-controller study are distinct credited work. No complete caller, thin-source embedding or compiler architecture from those studies is duplicated or automatically admitted here. TASK retains the original card and explicit scoped override. Existing packages are unchanged.

Validation

python3 scripts/research_package.py --package research/involutory-producer-raw-dual
python3 -I -O -W error -B research/involutory-producer-raw-dual/verify.py
python3 -I -O -W error -B research/involutory-producer-raw-dual/verify_independent.py audit
python3 -B scripts/check_research_commit.py --package research/involutory-producer-raw-dual --check-source-history

All eight registered normal/optimized commands pass. Fresh source-forward, coded-backward and repaired-backward replays check all632 rows and12544 transpose coefficients, exact chart contacts, workspace lifecycle, helper retention and complete bill. A separate interpreter imports neither the emitter nor native_core; it independently replays those normalized rows. A separate Gaussian-integer evaluator checks all4096 basis columns of the eight NEW lift circuits, including global phase. Seven independent semantic mutations reject wrong sign/transpose, missing repair/lift, borrowed COPY/CLEAR and global-phase corruption. The supporting ceiling regenerates actual matrix premises,5824 grade-two supports and price intervals internally.

All seven original emitter files,29 independent-review files and ten raw source blobs are byte-preserved. Committed-byte/source-history checks, official59-file export and all eight Git-free normal/optimized export commands pass read-only with PATH=/nonexistent. Archive SHA256 bdd84b5dfa70acd806f59ac65c3da11f676d64723027d117fba64d1f1bbbb4b9. The parent separately replayed optimized portable emission and independent audit at this final head. CPython3.12, standard library; individual direct runs roughly10/25/36/2seconds.

Coverage remains explicit: inherited old physical warp semantics are source premises; the new lift phases and632 normalized chronological rows were freshly checked. COPY/CLEAR are not claimed to transpose generically. No full multiplier cold replay, Lean kernel, complete caller, compiler reserve or outer admission was run. Exact-head hosted run39894299781 passed:357 helper tests/11 expected skips, all eight registered normal/optimized source-bound commands and the committed-input integrity gate. Outcome remains partial; complete_caller=false and new_kappa=false. A physical witness, favourable complete caller moment and funded higherκ are separate results.

Credit

Dugongue #4935/#4929; Rohan Arun #1931; Ali Romman #1862; Cinna Davis/1337isnot1337 #4694/#4698 and retained #4470 lineage; Cao Yifan/intqwq native source and #4610; zxv, Jacob Alan Sussman and retained E8/scalar/Clifford/precision/compiler/outer contributors. #4712's ownership and complete-cost objections remain applicable. Original licenses and exact source bytes are retained.

The parent proposed the repair and one-bank transfer; separate gpt-6.1-sol/high agents emitted the physical word, independently audited it and packaged portable replay. Prepared for Chris R/Clear1nsight with substantial OpenAI Codex assistance. Apache-2.0; no independent human or proof-kernel acceptance claimed.

Open next questions

Bind one complete chronological consumer to the actual forward/raw-dual pair, with every original owner/helper, actual entry/exit map, raw inverse transpose and paid/scalar/storage/precision invoice. #4940 supplies a promising formal controller but leaves physical thin-source and boundary embeddings open; source transposes, noncommuting charts and any compiler change require explicit proof. Do not expand capacity or claim κ from the positive pre-adapter grant.

The package contains the required seven-field HANDOFF. The exact-head public handoff records the scope, reproduction and remaining obligations. Selected κ remains0.00302015; no newκ is claimed.