[ToikY]

Change and mathematical scope

NO VERIFIED GAIN. The comparator is independently reproduced #7334 at aaeec8c0acf01e99a5f331ef363a698d9c084ace with signed #7113 at 07a76c5e2738882c0cb322278e56f6cae3c9885d.

Replace one or two original paid owned MOVEs with CLEAR in the source chart and fresh zero INIT in the destination. Preserve all other events and signed coefficients. Every original moved row is nonzero, and each of the 47 unit defects has a nonzero final public response. The original COPY guard stays clean for all 11 preceding defects.

All 1,081 distinct pairs are excluded. Exact 2×2 minors reject 1,073 pairs with independent moved rows. In each of the eight other pairs, a specific final public coordinate distinguishes the two suffix supports. The pair identity includes transport of the earlier perturbation into the later owned slot. These necessary conditions rule out cancellation without solving that transport coefficient. Both scopes are exhausted.

The optimistic best pair deletes 17 rank-six and 17 rank-five paid positions, with productive count 22,461 fixed. Its gross upper is 185.838303398540 raw, and the complete fixed-moonshot margin upper is 45.956805594899 raw. Both are rounded upward and grant ancillary work free. Realized saving is zero.

Task and overlap

#7307 tests immediate CLEAR and a zero input on an older word. #7387 reconstructs the original owned row from a live donor bank on this exact word. This result uses zero initialization and tests final guarded observations, including simultaneous pairs. Canonical main was e54523517d0f03e58352e647c403a5af3e525a57 at pre-submit refresh.

Validation

Use CPython 3.12 with assertions enabled from a clean checkout.

python3.12 -I -B research/p104-owned-zero-rebirth-bound/replay.py

The Git-free replay authenticates the exact word, regenerates nine receipts, and rejects two altered inputs. The research commit adds one package on the two existing #7257 CI fixes for the historical replay gap documented in #7371. The selected record is unchanged.

Credit

#7387 supplies the original moved-row evidence, #7334 and #7113 the word and caller, #7338 the admission, #7362/#7298 the price stock and tariff, #7355/#7384 the row and span engines, #7307/#7308 earlier owned transport tests, #5557 the guard precedent, and #7378 a distinct owned aggregate. OpenAI Codex and subagents materially assisted.

Open next questions

Larger subsets, compensated edits and changed later events need separate exact support and pricing. Review and merge are left to the maintainers.