[GamingPuzzled]

Conditional κ .00310927386 (tested .003109273865; exact raw crossing in (0.00310927387521, 0.00310927387522)), +1.216e-7 over #5713 (Ali Romman, .00310915222). Package: research/p104-block-reframe-r22/, stacked on #5713 head a5348f714.

Conditional on exactly #5713's assumptions and its P104 line, including free helper endpoints (#5561, audited in #5567). The word changes one helper start and one helper final.

Change

This is a large-neighbourhood step of the R22 exact reorder+re-frame MIP. All operations outside one ~1,000-op window are pinned. Inside the window, every chart within dim gap 4 of an op's bounds is allowed. The whole-word gap-4 model does not solve in 2h. The windowed model solves in about 100s.

• Block move: one 96-op block on registers 41, 42, 106, 400, 401, 403, 405, 410 and 741 leaves chart 477 (dim 8). 88 of its ops now run on a new chart span[265,194,164,75] (dim 4), and 8 run on chart 127.
• Helper endpoints: helper 741 now starts on the new chart, and helper 405 now ends there.
• Unchanged: no instruction, coefficient, order, owned lifetime, main endpoint or port changes.

Per local call: paid H1 +1, H4 +1, H5 −1 (66348 → 66366 paid calls). Helpers H1 −1, H4 +1, H5 +1, H8 −1. The gain comes from the helper credits. Surplus 760 and fields 12958 are unchanged.

Verification

python3 -W error -B research/p104-block-reframe-r22/verify.py passes and reproduces RESULT.json exactly. It checks:

• the source pin, and regeneration from EDITS.json (unique, disjoint event-run hunks, one appended chart, two helper endpoints);
• trace equivalence of the new order;
• Conditional kappa .00310915222: distributed scalar updates #5713's own unmodified stack, through its three nested source exports: replay, 752 transpose columns, 2919 native maps, physical caller, and Conditional kappa .00310915222: distributed scalar updates #5713's pricing.py with only 4 literals changed;
• six controls, all rejected.

Search coverage on the new word (no further gain)

• Gap-4 windows of 1,000 ops: 32 windows, all optimal, gain 0.
• Gap-4 register neighbourhoods (every op on a group of 8 helpers, whole word): 67 groups, all optimal, gain 0.
• Gap 5 does not solve in the 12000–13100 op region, even on 200-op windows.

AI disclosure: Claude Opus 5.5 (Anthropic) via Claude Code, directed by Joel Pulikkan (GamingPuzzled). Apache-2.0.

🤖 Generated with Claude Code