Repository navigation
[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
Conversation
…/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>
Contributor
Author
|
Superseded by #6144, which includes this edit (relays 705/706 folded into owned registers 770/771) plus two further steps, at κ .003128386. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
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-descentedits 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:
The edit removes both relays and lets each owned register visit those frames itself, on the way down:
EDIT.json.gzis 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 completeWORD.json.gzpayload byte for byte. #6030's word is pinned ininputs/pr6030-WORD.json.gzand authenticated against main'sresearch/p104-helper470-twin-rung-removal/WORD.json.gz(Git blob22f9ab02…, SHA256 inSOURCES.json).Verification
verify.pyruns these steps: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.pricing.pyequals PR Conditional κ = 0.00312476680 (+5.8046936e-7 over #5811): unread path #5827'spricing.pyplus the edits declared inPRICING-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.RESULT.json.--part buildruns only the authentication, regeneration and replay.The full stack was run from a clean clone of the branch.
construct.pyreports "constructed 22828 events, 770 public (matches shipped WORD payload)",test_portability.pypasses, andverify.pypasses every stage and ends withPASS_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
test_portability.pyare the maintainer portability repair merged with Conditional κ .003125804 (+5.22e-7 over #5907): remove helper 470's frame-593 rung, the twin of #5907's removal #6030 (Douglas Colkitt, with OpenAI Codex assistance).Prepared by DreamingOfClouds with Claude Opus 5.5 (Anthropic), via Claude Code.
🤖 Generated with Claude Code