Repository navigation
Correct the κ=0.1 complex cost screen and bound scalar-query repairs - #3123
Merged
Mister-Meeseeks merged 2 commits intoOct 17, 2026
Merged
Mister-Meeseeks merged 2 commits into
Mister-Meeseeks merged 2 commits into
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.
Findings
This rechecks the conditional d=3 complex budget row from #3107. Under its stated private-copy coverage law, copy rank mass must be counted in both the local profile and total paid mass. Restoring that charge moves the centre-retained moment from
0.995605075916to1.091829820390, above one.Payload replication by
I_ddoes not establish additional unpaid address dimensions. Retaining the original 224 rank-seven data legs gives a separate lower bound of about1.036807899646even with a free decoder, under the scoped model.General query constraint
For complex scalar fitting decoders on nondegenerate rank-k binary ports, with complete binary pairing tariffs
r_j, this contribution provessum_j (2^r_j - 1) >= V*(2^k - 1).The bound allows asymmetric queries, cancellations, and repeated ports. At h=8, k=3, it rules out queries capped at rank six under the stated coverage model; rank-seven/eight relaxations remain open.
This complements #3111, which audits the fixed selected bit histogram. The present work covers the complex copy-accounting correction and constraints on replacement scalar-query geometries.
Validation and limits
python3 -I -O -B research/kappa01-repair/verify.pypasses 11 exact scoped replays on CPython 3.14.7. The selected result is unchanged. This contribution supplies no new bit or complex supplier, analytic extension, or multiplication theorem, so it does not establish κ=0.1.