[ToikY]

Change and mathematical scope

Fuse five paid MOVE pairs in the exact #7000 native word by relocating existing scalar contacts to other common charts. The combined word preserves all arbitrary-input endpoints, helper targets, owned lifetimes, precision-grid bounds, and the 18-LOCAL caller. The separate research package uses the byte-identical canonical archive of #7000.

Exact complete price

• New conditional κ = 22697937/6250000000 = 0.00363166992.
• Exact published-claim gain over Conditional κ = 0.00363005817 (+0.0838% over #6936): shared wires and two helper splits #7000 = 6447/4000000000 = 0.00000161175.
• Independent raw crossing interval (0.00363166992015115785886325297974980, 0.00363166992015115785886325297974981).
• Paid rank delta per LOCAL {1:-7, 2:+2, 4:-3, 5:+3}. The full invoice has 90 fewer paid requests and the same targets and rank-mass surplus. Ordinary model bound 826,700,496.

Task and overlap

Task p104-side-correction, changed scope. The new move is a chronology edit to the binding paid profile. Base 17469fff78c22941280f04d39dc5a1faee09c840, exact source #7000 at 93effe2a135bf57b9e484cb630d8dd057159aec9. The five original two-hop paths persist after #6932’s earlier contractions. #7000’s other fusions redirect contacts through a shared helper.

Verification

python3 -B scripts/research_package.py --package research/shared-wire-stop-fusion

The source-bound replay rebuilds the word, verifies every native and caller endpoint, checks all 2,048 changed Gaussian columns and exact phases, reproduces the fixed odd grid and precision envelope, and certifies the complete literal invoice and 54+4 outer conditions. A second rational implementation certifies the strict price comparison. The finite width-512 physical replay checks all 400 main and 1,080 helper outputs.

make frontier6030-verify passed. The separately executed historical make verify stopped on unmodified canonical main at copied-fixed-reversed-check because its pinned scripts/partial_swap/shared.py hash differs from canonical bytes. The failing inputs are byte-identical at this PR’s base. The historical checker and pin were left intact.

Conditional scope and credit

The comparison retains all five framework assumptions and #7000’s exact-child, odd-scalar, owned-ascent, per-port/one-field-idle, ordinary tariff and paired BIT contracts. The physical tariff bridge in #6998 and full all-width fixed-tape admission remain open. The maintainer-selected record is separate.

Credit CubeJerry for #7000 and #7001, DreamingOfClouds for #6936/#6937 and the earlier #6932 commuting retiming, #6529 for earlier carrier-mediated fusion, and all authors retained in the archived notices. Prepared for ToikY with substantial OpenAI Codex assistance, including separate native and price checks. Apache-2.0.

Open next questions

Bind the retained scalar and native providers to a common fixed-tape tariff starting with #6998, or search for additional joint contact relocations under exact source-version and chart constraints. The package README records the scope and blockers.