Skip to content

[Superseded by #6144] Conditional κ .003127137 (+1.333e-6 over #6030): owned registers 770 and 771 descend through the frames of helpers 705 and 706, which no longer relay them - #6143

Closed
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/p104-root-relay-descent
Closed

DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/p104-root-relay-descent

Conversation

@DreamingOfClouds

Copy link
Copy Markdown
Contributor

Conditional κ .003127137 (+1.333e-6 over #6030): owned registers 770 and 771 descend through the frames of helpers 705 and 706, which no longer relay them

Result

The package research/p104-root-relay-descent edits the merged word of #6030 (κ .003125804). It re-certifies the edited word with the chain #6030 used, which is PR #5827's own verifier, loaded unmodified apart from the declared pricing literals.

The edit

In #6030's word, two owned registers are each loaded, moved one frame down and cleared, and a public helper then carries their content back up through the intermediate frames:

  • owned register 771 runs 541 → 594; helper 706 reads it at 594 and runs 594 → 117 → 534 → 541;
  • owned register 770 runs 549 → 593; helper 705 reads it at 593 and runs 593 → 1047 → 553 → 549.

The edit removes both relays and lets each owned register visit those frames itself, on the way down:

  • Itineraries. 771 becomes 541 → 534 → 117 → 594 and 770 becomes 549 → 553 → 1047 → 593. Helpers 706 and 705 keep a single hop, 3 → 541 and 3 → 549, to their unchanged final frames.
  • Reads moved onto 771. At frame 594, helpers 139, 213, 490 and 491 (formerly reading 706) and 449, 568, 569, 575 and 576 (formerly reading 707 or 732) now read 771. At frames 117 and 534, helpers 629 and 231 now read 771 instead of 706.
  • Reads moved onto 770. At frame 593, helpers 112, 182, 469, 471, 549 and 561 (formerly reading 703 or 704) now read 770, and 174 and 184 gain a read of 770. At frames 553 and 1047, helpers 169 and 206 now read 770 instead of 705. At frame 549, helper 121 reads 791 (coefficient 1/2) instead of 705.
  • Frame-3 reads re-solved. The readers' frame-3 reads that paired against 705's and 706's initial values are replaced: 10 frame-3 ADD events are removed and 40 are added, against 703, 704, 707, 732, 568 and 623.
  • Owned lifetimes placed later. To keep peak occupancy at 13, the two owned lifetimes move after the peak window. The INIT/COPY of 771 and 770 move from events 13463–13465 and 13452–13456 to 13620–13621 and 13640–13641. Their CLEARs move from events 13471 and 13462 to 15431 and 15425.
  • Everything else is unchanged:
    • Only the itineraries of 705, 706, 770 and 771 change.
    • The INIT, CLEAR, COPY and SCALE events are identical as multisets.
    • 35 ADD events are removed and 62 are added.
    • The chart list and every endpoint row are kept.
  • Paid-profile change vs Conditional κ .003125804 (+5.22e-7 over #5907): remove helper 470's frame-593 rung, the twin of #5907's removal #6030: rank 1 −2, rank 6 −2, rank 7 +2.
  • Credited helper ranks: unchanged.

EDIT.json.gz is the explicit edit list: boundary changes, plus the new program as copy segments of #6030's program and literal events. construct.py (stdlib only) applies it to #6030's word and regenerates the complete WORD.json.gz payload byte for byte. #6030's word is pinned in inputs/pr6030-WORD.json.gz and authenticated against main's research/p104-helper470-twin-rung-removal/WORD.json.gz (Git blob 22f9ab02…, SHA256 in SOURCES.json).

Verification

python3.12 -I -B research/p104-root-relay-descent/construct.py
python3.12 -I -O -B research/p104-root-relay-descent/test_portability.py
python3.12 -I -B research/p104-root-relay-descent/verify.py

verify.py runs these steps:

  1. Authenticates Conditional κ .003125804 (+5.22e-7 over #5907): remove helper 470's frame-593 rung, the twin of #5907's removal #6030's word and the pinned PR Conditional κ = 0.00312476680 (+5.8046936e-7 over #5811): unread path #5827 package (inputs/pr5827-source.tar, the same archive Conditional κ .003125282 (+5.22e-7 over #5827): remove helper 468's frame-593 rung with rerouted reads #5907 and Conditional κ .003125804 (+5.22e-7 over #5907): remove helper 470's frame-593 rung, the twin of #5907's removal #6030 ship), including its seven-deep source chain.
  2. Asserts that pricing.py equals PR Conditional κ = 0.00312476680 (+5.8046936e-7 over #5811): unread path #5827's pricing.py plus the edits declared in PRICING-EDITS.json: the claim, the previous claim (= Conditional κ .003125804 (+5.22e-7 over #5907): remove helper 470's frame-593 rung, the twin of #5907's removal #6030's .003125804), the paid-call count and two labels.
  3. Regenerates the word from the edit list and compares the complete decompressed payload, as in Conditional κ .003125804 (+5.22e-7 over #5907): remove helper 470's frame-593 rung, the twin of #5907's removal #6030's merged portability repair.
  4. Runs the chain unchanged:

--part build runs only the authentication, regeneration and replay.

The full stack was run from a clean clone of the branch. construct.py reports "constructed 22828 events, 770 public (matches shipped WORD payload)", test_portability.py passes, and verify.py passes every stage and ends with PASS_P104_BASE6030_EDIT_KAPPA_312713700, with crossing (78178612063/25000000000000, 312714448253/100000000000000).

Conditions

The five framework assumptions retained by the P104 line are inherited unchanged, and so is PR #5827's checker. These are author checks, not independent human acceptance. No change to the selected frontier is requested.

Credits

Prepared by DreamingOfClouds with Claude Opus 5.5 (Anthropic), via Claude Code.

🤖 Generated with Claude Code

…/706 relays folded into owned registers 770/771

Owned registers 771 and 770 now descend 541 -> 534 -> 117 -> 594 and
549 -> 553 -> 1047 -> 593 themselves, and their readers read them directly,
instead of helpers 706 and 705 reading them at frames 594/593 and climbing
back up. Helpers 705/706 keep a single hop to their final frames; their
frame-3 pairing reads are re-solved; both owned lifetimes move after the
peak window (peak stays 13). Paid calls 66834 -> 66798, exact crossing
(.00312714448252, .00312714448253). Re-certified with PR5827's chain on
PR6030's pinned word.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@DreamingOfClouds

Copy link
Copy Markdown
Contributor Author

Superseded by #6144, which includes this edit (relays 705/706 folded into owned registers 770/771) plus two further steps, at κ .003128386.

@DreamingOfClouds DreamingOfClouds changed the title Conditional κ .003127137 (+1.333e-6 over #6030): owned registers 770 and 771 descend through the frames of helpers 705 and 706, which no longer relay them [Superseded by #6144] Conditional κ .003127137 (+1.333e-6 over #6030): owned registers 770 and 771 descend through the frames of helpers 705 and 706, which no longer relay them Oct 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant