Repository navigation
Selected bit profile alone exceeds the κ=0.1 moment budget - #3111
Merged
Mister-Meeseeks merged 1 commit intoOct 17, 2026
Merged
Conversation
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.
Result
This follow-up to PR #3107 certifies an exact local-only lower bound for the selected bit supplier at the requested target
κ = 0.1(a = 1/9under the retained conversion).The pinned local histogram
{1:1323, 2:1342, 3:79, 4:44, 5:102, 6:11, 7:19}, normalized byw = 296/3, has outward-rational moment1.195679601525by itself. This deletes the centre charge and every idle child. Therefore, any change that keeps this histogram and call width cannot pass by changing unpaid-coordinate coverage alone: the local terms already exceed one.For comparison, under the hypothetical
u=2,R=53law, the full relaxed profile costs1.355508centre-free and1.365696with the centre. The ideal aggregate floor of0.999452does not describe the selected word. Uniform fractional repacking of the same rank mass first passes at rank 48 centre-free or rank 53 with the centre; this is a profile sensitivity only, not a realizable supplier.This result is scoped to the selected word and call width. A different local word or changed
wremains open. It constructs no endpoint and claims no κ improvement; the selected κ remains0.001672660197076918.Validation
python3.12 scripts/research_package.py --package research/kappa010-rank-cap-floorpassed.python3.12 scripts/check_research_commit.py --package research/kappa010-rank-cap-floorand the corresponding complex-package byte check passed at headfcba8eab38c51f4cdb685559be505222d44f8ddc.git diff --check origin/main...HEADpassed; the PR contains only the five-file package delta.Exact intervals, source pins, limitations and next questions are in the rank-cap package. Canonical main was refreshed to
997e6a9ca7b4f95d50e366f61412fd640d72a88a(priority revision 6); the selected result and pinned quantitative inputs are unchanged.Prepared with substantial OpenAI Codex assistance; predecessor attribution is recorded in the package.