[ToikY]

Change and mathematical scope

NO VERIFIED GAIN. Exact conditional κ change 0%. Test one fixed-paid rank-nine helper split into 1+8 at the newly retimed chart-207 block on exact #7334 aaeec8c. The signed #7113 caller and complete paid stock are fixed. The optimistic one-edit upper is 0.193628620529 raw, rounded upward. One extra raw rank-one paid position erases it.

Both occupancy scans agree on all 41 new cuts and the first 128 keys. The forward scan keeps the start of each run between chart-207 contacts. The reverse scan also keeps the explicit endpoint 44628, listing five additional keys for pivots 205, 532, 969, 1250 and 1453. Each maps to the same pivot at cut 44626. The public bank is [198,205,532,652,654,962,969,1250,1303,1305,1453], with an empty owned bank. The only intervening events are two ADDs on chart 127 using roles 319 and 1467. They preserve both chart-207 support maps.

The 128-key initial cap left 18 distinct keys. The separately bounded continuation resolves only those 18, reusing two exact same-cut bank certificates and checking 16 fresh keys. No additional case ran for the five aliases. All 166 raw occupancies map to 146 canonical keys. Exact support checks exclude three by prefix, 57 by suffix and 86 by unit pairing. Zero unresolved or advanced cuts. The compatible saving is zero within this interval.

Replay

python3.12 -I -B research/p104-retimed-chart207-split-bound/replay.py
python3.12 -B scripts/research_package.py --package research/p104-retimed-chart207-split-bound
python3.12 -B scripts/check_research_commit.py --package research/p104-retimed-chart207-split-bound --check-modes --check-source-history

Ten receipt hashes, both exact pairing engines, the all-key reconciliation, input mutations, registered replay, committed bytes/modes/source history, Git-free export and six navigation checks passed locally. No candidate passed support. Other charts and changed paid stock remain open. The branch retains the #7257 replay prerequisites.

Credit

#7334 supplies the retimed block, #7314 its predecessor, #7113 the signed caller, and #7298 the directed tariff. #5599 supplies the two-sided cochart identity, #7121/#7130 earlier split and basis methods, and #7332 the separate chart-240 result. OpenAI Codex and subagents materially assisted.