[ToikY]

Change and mathematical scope

NO VERIFIED GAIN. Exact Δκ = 0, or 0% relative to conditional κ = 0.00364665195644 on #7334 aaeec8c with signed #7113 at 07a76c5. All 37 consecutive paid MOVE windows on the 14 certified changed-block public roles have an ADD barrier. Both literal contact engines agree on all 67 signed incidences.

For six sole-ADD destination windows with middle chart different from 207, the original source has a nonzero independent input coordinate missing from every public donor in both endpoint charts at that ADD clock. Both rational engines exclude all 12 frozen banks. The other 31 windows, different clocks and owned donors are outside that second test. Zero unresolved cases remain within the two tested scopes.

Replacing two paid MOVEs by one direct rank-sum MOVE would remove 17 paid positions with the 22,461 productive positions unchanged. The directed whole-stock upper is 21.31987777800283 raw for the contact family and 0.914203210927566 raw for the frozen donor family, before ancillary charges. Verified savings are zero.

Task and overlap

This refines the exact-word incremental investigation in #7111 on canonical main e545235. #7312 tests ancestor contacts, #7338 changes a compensated component with peers and an owned substitute, #7336 tests a different public role, and #7355 synthesizes a donor for an owned destination. This package fixes the 14 changed roles and keeps the single ADD at its original clock when testing public donors.

Validation

From a clean checkout with CPython 3.12:

python3.12 -I -B research/p104-changed-public-move-contraction-bound/replay.py
python3.12 -B scripts/research_package.py --package research/p104-changed-public-move-contraction-bound

The package regenerates eight pinned receipts, rechecks all twelve exact separating coordinates, and rejects altered word and price inputs. Local registered replay, committed source and mode checks, six navigation tests and official Git-free export and replay passed. The branch reuses the exact #7257 planner repair d2e54af for hosted verification. No construction or complete κ candidate replay was triggered.

Credit

#7334 and #7113 supply the exact native word and signed caller. #7339 supplies the changed-block role record. #7312, #7336 and #7338 supply related contact and compensated fusion work. #7355 supplies the earlier owned-donor proof. #7298 and #7362 supply directed accounting and stock. OpenAI Codex and subagents materially assisted proof, implementation, independent replay and packaging.

Open next question

Price a specific different-clock donor bank for one listed missing coordinate. A surviving source representation still needs a signed literal edit, all actual costs, and complete independent replay.