[dillona]

Retiming helper 1123's existing rank-five MOVE opens a legal 8+1 productive split. The complete 18-LOCAL invoice supports conditional κ = 0.00363216151, a gain of 9.932e-8 over #7004; the old complete invoice fails at the new claim.

The new word adds one MOVE and two integer ADDs. Paid delta per LOCAL is {1:+1,4:+1,5:−1}; target delta is {1:+1,8:+1,9:−1}. The full signed gain is 18(8^p+5^p−9^p−4^p)>0 for 0 < p < 1. The exact arbitrary-input prefix/suffix witness uses helper 1123 itself as pivot, so there is no boundary basis change. Caller and paired BIT source are unchanged, surplus stays 1520 and no empty-root credit is used.

All source inputs are retained and authenticated in a standalone archive pinned to #7004 at 2ee11a4. The scoped package contains the constructor, full word, witness, complete result, source manifests and replay hook. Conservative ordinary bill 826,738,944<10^9. The independent rational raw bracket is (.00363216151546863865247146187645487,.00363216151546863865247146187645488).

Validation: exact rational cut and all-input adjoint, separate integer-grid forward replay, literal formal caller/invoice, both rational price engines, precision checks, compiler and 54+4 outer gates, exact phases and all 512 columns of the relevant maps, full width 512 physical replay, meaningful mutation controls and metadata/source pins. Local Python 3.14.7; registered 3.12 replay is supplied but unavailable locally. See package VALIDATION.md for precise coverage.

Scope: author/source-aware checks, not independent human/kernel acceptance. All five framework assumptions and #7004's exact odd-scalar returns, owned-ascent, caller, paired BIT and physical-tariff contracts remain; full rounded/fixed-tape provider admission and #6998 tariff conversion remain open. Selected frontier unchanged. No merge or closure requested.

Credit Ali Romman for the independent-helper split/basis methods; CubeJerry for paid retiming, sharing and #7000/#7001; DreamingOfClouds for the word chain; ToikY for #7003/#7004; all original notices and native/compiler/precision/analytic predecessor credit retained. Prepared for dillona with substantial OpenAI Codex assistance; no subagents.

Canonical scope/status: #1166 (comment). Main refreshed unchanged at 17469ff/revision8. Open next questions are limited to joint capacity of the other nominations and inherited physical admission; shared-carrier nominations are not counted as independent gains.

Publication transport: the fork token cannot import upstream workflow history. This branch therefore starts at the fork’s existing main and adds only the standalone package. Its package Git tree is byte-identical to the checked local research commit 88808f1 built on current canonical main. Scientific source/current-main provenance stay pinned inside the package; canonical main 17469ff is not an ancestor of this transport head. The source-history preflight passed on the research commit; the package byte/mode preflight also passed on the published transport head. No workflow, selected record or shared file is changed.