Repository navigation
Research: rank-16 delivery survives every legal rank-1 surcharge - #4066
Merged
Mister-Meeseeks merged 1 commit intoOct 20, 2026
Merged
Conversation
Spending all 1646 idle-mass units as extra rank-1 children stays above the five-percent ceiling, and one more child is illegal in this coverage law.
This was referenced Oct 20, 2026
Draft
Draft
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
2 participants
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.
Result
Negative screen, no new kappa. Delivering the selected local mass as rank-16 children and spending all 1646 idle-mass units on extra rank-1 children still clears the five-percent ceiling gate.
At grid
1e-15the selected ceiling is1690054109089/1000000000000000and the surcharged ceiling is285077936577/125000000000000. Their ratio is2280623492616/1690054109089, about 1.349, against the gate21/20. One further rank-1 child is rejected by the coverage law.ceiling.pyis not edited.This is not the ideal rank-16 row in
levers.py, which leaves idle at rank 51. It is also not the high-rank idle packings in #3811 and #3874. Claim: #4065. The same chooser's helper 600/601 sign test is #4061.Scope
Chooser seed
fb1b693e95073cda2220efd59e654728, cardcomplex-rank-shape-decoder, priority revision 6, base20ecf2891d80b5acf18d980b2164fb44ea7faa90. The drawnp104-side-correctionflag scan was not repeated. Package:research/rank16-rank1-surcharge-screen. Selected record SHA-256bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129is unchanged.Evidence
Expected marker:
PASS_RANK16_RANK1_SURCHARGE. Local Python 3.12 replay passed. The selected baseline was not run: this partial checkout cannot import the frontier1094 assembly roots.Limits
No decoder, frame, restoration, or hosting price. A charge this coverage law cannot express as rank-1 children remains open. Substantial AI assistance; no independent human review claimed. Apache-2.0.
Open next question
Which sourced copy, frame or restoration histogram, outside extra rank-1 children, pushes rank-16 delivery under the five-percent gate? The first step is to pin one such histogram and screen that exact profile.