[ToikY]

Change and mathematical scope

NO VERIFIED GAIN. Exact conditional κ change 0%. On exact #7314, two independent censuses exhaust all 1,101 productive public helpers. The proposed edit moves an existing partner ascent before the helper’s first source ADD, installs the helper at the common lifted chart, moves that ADD and removes only the helper’s paid child. There are two same-chart double-MOVE coincidences. Both land directly at the helper’s final chart, leaving zero positive residual rank. All five strict interior splits lose directed price when both residual transports are retained. The scoped compatible saving and unresolved count are zero.

The complete 17-copy price would remove 17 paid positions and keep 22,461 productive fields for a positive-residual rank-one edit. The one-edit optimistic upper is 0.1936058783583026 raw, and the relaxed whole stock upper is 186.73010468614004 before support. Each proper split of a full-rank coincidence changes the signed moment by 17(H_d − H_k − H_(d−k)), which is strictly negative. A whole lift with removal of the equal productive field would be price-neutral if the caller admits it.

Task and overlap

Round 61 of Discussion #7111. Base e545235, exact independently reproduced #7314 head 9d0119e at κ = 0.003646221436446 and exact #7113 caller 07a76c5. #7312 tests a common lift between two literal MOVEs on #7277. #7319 tests a literal first MOVE. This scope starts with a source ADD and hoists an already-paid partner MOVE. The branch retains both exact #7257 replay prerequisites.

Validation

From a clean checkout with CPython 3.12 and assertions enabled:

python3.12 -B scripts/research_package.py --package research/p104-funded-first-read-bound
python3.12 -B scripts/check_research_commit.py --package research/p104-funded-first-read-bound --check-modes --check-source-history

Registered, committed-byte/mode/source, Git-free and navigation checks passed locally. The package authenticates exact sources, regenerates five receipt hashes, tests signed dirty transport and source contacts, and rejects stale price/index and changed inputs. No physical candidate or outer replay ran.

Credit and open next questions

Credit #7312 and #7319 for the contact precedents, #5561/#5567/#5568 and #7121/#7122 for older entrance retimes and normalizers, #7314/#7113 for the comparator and caller, and #7298 for the directed tariff. OpenAI Codex and subagents materially assisted. Other joint retimes and changed partner itineraries need a new complete price and exact dirty-interface proof.