[Dugongue]

This ports Rohan Arun’s PR #1931 eight-repair source-reflection mechanism, built on Ali Romman’s PR #1862, to the current 632-owner Cao Yifan round-three word through PR #4929’s autonomous center-free interface. The emitted forward word accepts all 632 arbitrary independent inputs, preserves all 408 helper jobs and the original physical charts, and returns (X,Y,H) -> (X,Y+F X,H) with exact F^2=I. Its complete paid profile is {1:2209,2:412,3:510,4:127,5:40}: eight rank-8 center children are replaced by eight rank-1 owned repairs. This is a changed transfer, not an unchanged-output global saving.

A second emitted word returns X_new=F X, Y_new=Y+X_new for the same paid profile, with source mutation explicit. A supplemental coefficient theorem keeps the prior matrix A as a principal block and completes it with the optimal eight auxiliary coordinates to a dyadic involution. Its literal implementation uses 1,344 ADDs and 8 negations, no odd division; it is a common-chart theorem, not an admitted physical adapter.

No improved κ, physical raw dual or complete multiplier is established. Different fresh routed codes need not cancel. A complete profitable controller, every adapter, and full recursive stock/precision/outer admission remain open. The selected frontier is unchanged. No claim of broadly novel involution algebra or first E8 involutive coding is made.

Validation: normal and optimized registered standard-library Python checks; every arbitrary native input row in both forward interfaces; all actual frame/ownership/end conditions and complete paid counts; eight lowering circuits checked including global phase; a separate sparse Gaussian-integer interpreter checks all 4,096 repair basis columns; independent serial-reflection, weighted-form and 120-basis dyadic-circuit checks; source/artifact byte guards and semantic mutation controls. Committed-byte preflight and portable Git-free export checks are provided. These do not constitute a separate interpreter of the entire inherited word, human review, Lean kernel audit, full cold replay or hosted CI pass. Full-history provenance ancestry is not claimed from this shallow checkout.

Reproduce:

python3.12 -B scripts/research_package.py --package research/native-involutive-port-transfer
python3.12 -B scripts/check_research_commit.py --package research/native-involutive-port-transfer

Credit PR #1931 and #1862 for the actual mechanism; PR #4929, #4694 and #4698 for center-free/helper/code precedents; Cao Yifan’s canonical round-three source beyond PR #4610; Cinna Davis’s PR #4470 and the retained native/E8/scalar/Clifford/productive/compiler/outer lineage, zxv and Jacob Alan Sussman. See ATTRIBUTION.md and retained notices. Prepared by Dugongue with substantial OpenAI Codex assistance from the lead and three workers. Apache-2.0.

Scope is isolated to research/native-involutive-port-transfer/. Canonical main was refreshed to cef4b52f2a59009865bf8eabde1be3f159063703; selected priorities remain unchanged. Relevant recent PRs and historical overlap were checked; bounded coverage is not exhaustive novelty evidence.