Repository navigation
Research: the A1858 contraction does not change the paid frame climbs - #5195
Merged
Mister-Meeseeks merged 1 commit intoOct 23, 2026
Merged
Conversation
The four frozen words keep their recursive histograms. Registers 456, 457 and 475 lose only zero-dimension touches, so the scalar saving is not a paid-profile gain. No new kappa.
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.
Contribution
research/a1858-successor-frame-climbs— a finite negative result for cardscalar-to-moment(chooser seed05f92898273de33149bc662a2b87104d, priority revision 7). No new κ. The selected record is not edited.Suggestion 1,
selected-packing, is not taken. PR #4170 already transferred the PR #4091 pooled ceiling onto the retained PR #4088 head. This PR takes suggestion 2 and stops where that card says to stop: compare the histograms and report a scalar-only change honestly.Established result
On all four frozen words vendored by PR #4152, the published A1858 contraction from PR #3998 leaves every positive-dimension climb of registers 456, 457 and 475 unchanged, and it leaves the recursive frame histogram unchanged.
{1:2440,2:725,3:224,4:102,5:20,8:8}{1:2482,2:712,3:218,4:109,5:20,8:8}Register 457's climb sequence is identical. The only sequence edits are zero-dimension touches: register 456 replaces A indices 1859 and 1860 by 1858, and register 475 replaces A indices 1858 and 1860 by 1859. Widening the block frame fails containment. Deleting the block changes the histogram. A flipped sign fails the three-register map.
PR #3998 already stated the PR3734 profile. This note does not replay that package. It answers the climb question PR #4152 left open. No predecessor Python is imported.
Limits
No paid transition is removed. Native, owner, precision, stock and the PR3945 producer bill are not priced.
make frontier4470-verifywas not run; this checkout cannot execute the selected baseline. Replay passed on Python 3.12:PASS_A1858_SUCCESSOR_FRAME_CLIMBSandPASS_REGISTERED_RESEARCH_PACKAGE.Claim: #5192
Substantial AI assistance. No independent human or formal-kernel review. Apache-2.0. Author: Riquelme Soares (@hevlyo).