Conditional κ .00311313795 (+1.219e-7 over #5751): the #5739 block move on the paid-meeting word

research/p104-block-reframe-r22/NOTICE

@@ -1,3 +1,9 @@
+Paid intermediate meetings and collective helper splits.
+Ali Romman, with substantial OpenAI Codex assistance. Apache-2.0.
+No subagents. All checks are author-side calculations.
+
+The complete PR5718 notice follows unchanged.
+
 Four paid interior public-basis changes.
 Ali Romman, with substantial OpenAI Codex assistance. Apache-2.0.
 No subagents.
@@ -42,3 +48,6 @@ Ali Romman corroborates it. This package credits that released composition
 and contributes the further four-gate placement.
 
 New work: distributed scalar updates on an unobserved public field interval, the exact witness and complete conditional price. Prepared for Ali Romman with substantial OpenAI Codex assistance. No subagents. Apache-2.0. The source archive retains all predecessor notices.
+
+Two-boundary main-assisted helper split and early cleanup: flyingviper with substantial
+OpenAI Codex assistance, including independent AI review agents. Apache-2.0.

research/p104-block-reframe-r22/README.md

@@ -1,11 +1,11 @@
-# One block moved from a dim-8 chart to a new dim-4 chart on PR5713's P104 word: conditional kappa .00310927386
+# One block moved from a dim-8 chart to a new dim-4 chart on PR5751's P104 word: conditional kappa .00311313795
 
-Complete conditional kappa **.00310927386** (claim line, tested at .003109273865). The exact raw crossing is in
-(0.00310927387521, 0.00310927387522). That is **+1.216e-7** over the raw crossing 0.0031091522456 of
-[PR5713](https://github.com/CrocSwap/integer-mult-bounds/pull/5713) (Ali Romman, claim .00310915222), the newest
+Complete conditional kappa **.00311313795** (claim line, tested at .003113137955). The exact raw crossing is in
+(0.00311313797336, 0.00311313797337). That is **+1.219e-7** over the raw crossing 0.0031130160445 of
+[PR5751](https://github.com/CrocSwap/integer-mult-bounds/pull/5751) (Ali Romman, claim .00311301600), the newest
 P104 head when this was written.
 
-**Conditional on** exactly the assumptions of PR5713 and its inherited P104 line, including free helper endpoints
+**Conditional on** exactly the assumptions of PR5751 and its inherited P104 line, including free helper endpoints
 (PR5561, audited in PR5567). This word changes one helper start and one helper final. The selected record is not changed.
 No independent human or proof-kernel acceptance is claimed.
 
@@ -14,7 +14,7 @@ No independent human or proof-kernel acceptance is claimed.
 The change is a large-neighbourhood step of R22's exact reorder+re-frame MIP. All scalar operations outside one
 window of about 1,000 consecutive operations are pinned. Inside the window, every chart within dimension gap 4 of
 the operation's bounds is allowed. One window of the sweep over PR5684's word found this step. It applies unchanged
-to PR5713's word, because PR5713 only edits contacts elsewhere.
+to PR5751's word (PR5713 -> PR5718 -> PR5751), whose edits are elsewhere. It was first published on PR5713 as PR5739.
 
 - 96 scalar operations on registers 41, 42, 106, 400, 401, 403, 405, 410 and 741 used to run on chart 477
   (dim 8). In the new word:
@@ -24,9 +24,9 @@ to PR5713's word, because PR5713 only edits contacts elsewhere.
 - Helper 405 now ends on 1090 instead of 477.
 - No scalar instruction, coefficient, order, owned lifetime, main endpoint or port changes.
 
-Per local call: paid MOVE jobs H1 +1, H4 +1, H5 -1 (66348 -> 66366 paid calls in all); helper credits
+Per local call: paid MOVE jobs H1 +1, H4 +1, H5 -1 (66834 -> 66852 paid calls in all); helper credits
 H1 -1, H4 +1, H5 +1, H8 -1. The moment gain comes from the helper credits. The rank-mass surplus is unchanged at 760,
-and there are still 12958 productive fields.
+and there are still 13390 productive fields.
 
 ## Check
 
@@ -37,18 +37,18 @@ python3 -W error -B research/p104-block-reframe-r22/verify.py --write  # regener
 
 `verify.py` runs these checks:
 
-1. **Source pin.** It pins PR5713's `WORD.json.gz` (SHA256).
+1. **Source pin.** It pins PR5751's `WORD.json.gz` and its patched `local.py` (SHA256).
 2. **Regeneration.** It regenerates `WORD.json.gz` from that word with `construct.py` and `EDITS.json`. Each hunk
    replaces one unique event run, and hunks are disjoint. It also appends one chart and changes two helper endpoints.
 3. **Boundary.** Existing charts are unchanged, only free helper endpoints change, and every other word field is
    unchanged.
 4. **Order.** The scalar order is trace-equivalent: every dependent pair keeps its order.
-5. **PR5713's own stack.** It runs PR5713's unmodified stack through its three nested source exports:
+5. **PR5751's own stack.** It runs PR5751's unmodified stack, its pinned `local.py` and its four-level source chain:
    - exact replay;
    - every dense transpose column;
    - every native map and phase;
    - the complete physical caller;
-   - PR5713's `pricing.py`, where only the four literals in `LITERALS` change: claim/tested kappa, previous claim
+   - PR5751's `pricing.py`, where only the four literals in `LITERALS` change: claim/tested kappa, previous claim
      and the paid-call total.
 6. **Controls.** Six controls are rejected:
    - old helper start;
@@ -60,7 +60,7 @@ python3 -W error -B research/p104-block-reframe-r22/verify.py --write  # regener
 
 ## Attribution
 
-All retained checkers, words and pricing are by the PR5713 authors and their sources; see `NOTICE`.
+All retained checkers, words and pricing are by the PR5751/PR5718/PR5713 authors and their sources; see `NOTICE`.
 PR5713 itself builds on our PR5684. R22 search tools are on branch `r22-p104-reframe-optimum`. The
 large-neighbourhood windows are set with `WIN=lo:hi` in `poset104.domains`.