[ToikY]

Change and mathematical scope

NO VERIFIED GAIN. Δκ = 0, exactly 0% relative to #7334 at aaeec8c, conditional κ = 0.00364665195644. This extends the original-clock #7362 check to every mover-contact-free cut of its 31 existing rank-four or rank-five chart labels. The unchanged signed #7113 caller is at 07a76c5.

The two literal occupancy directions exhaust 29,641 cuts in 31 windows. All 62 blocks have empty public and owned banks, so no mixed bank with an untouched chart 3→127 cohort peer exists in this scope. Zero scoped cases remain unresolved. No support or construction stage was triggered.

The pre-support price charges both rank-one legs in place of each tested rank-two MOVE across all 17 copies, giving paid delta P1 +34, P2 −17 and target delta T4 +17, T5 +17, T9 −17 for one edit. The directed optimistic credit is at most 0.2948799646382698 raw units for one edit, or 9.141278903786365 across all 31 distinct movers and paid anchors, granting free ancillary work and compatibility. No saving was realized.

Task and overlap

This refines the cocharted split investigation in #7111 on canonical main e545235. #7362 covers original-clock labels and singleton support. This extension gives each mover all cuts from its previous source or destination contact through its next, holding other role paths, chart frames and ownership fixed. #7148 and #7117 supply earlier paid rank-two subdivisions using different productive splits and charts.

Validation

From a clean checkout with CPython 3.12:

python3.12 -I -B research/p104-retimed-paid-rank-two-empty-banks/replay.py
python3.12 -B scripts/research_package.py --package research/p104-retimed-paid-rank-two-empty-banks

The standard-library replay authenticates the exact native word and #7362 predecessor receipts, regenerates the directed price and both occupancy results, checks their exact agreement, and rejects changed price and word inputs. Add --out fresh-directory to save the four receipts. Local registered replay, committed source and mode checks, six navigation tests, and the official Git-free export and replay passed. The branch reuses the exact #7257 planner repair d2e54af for hosted verification.

Credit

#7334 supplies the native word, #7113 the signed caller, #7362 the fixed-clock geometry and directed price, and #7298 the tariff. OpenAI Codex and subagents materially assisted proof, implementation, independent checks and packaging.

Open next question

A changed peer itinerary or two compatible paid subdivisions can create a bank. Reprice that specific edit in full before testing signed support.