Repository navigation
Implement a native local read of the QQ16 future query - #2468
Merged
Mister-Meeseeks merged 1 commit intoOct 15, 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.
Construct the missing local
B2 Cread requested by #2443 at its post-B_1_2completed-X cut. The word restores all 96 source arrays and returns eight query coordinates in explicitly owned output arrays. Future-Y alignment on these X fields leaves a nonidentity native line factor; one inverse line before the read and one positive line after it give an exact local repair.The complete local invoice is 192 rank-one children, 384 native monomial wrappers, 192 full-cover maps, 384 signed ADDs, eight CLEARs, and eight additional live output arrays. The scalar primitive allowance is 3,088, excluding child/map costs. Owned output CLEARs intentionally discard prior contents; the output arrays are not borrowed helpers. This is neither a universal lower bound nor the full two-cut decoder or a favorable global supplier budget.
research/qq16-future-x-queryincludes a proof, the literal 776-event word, exact phase/content replay on 104 independent inputs, and all signed rank-one recipes. Eight semantic controls detect omitted normalization/restoration, translation faults, dirty output, coefficient corruption, an early read and a wrong inverse line. Global child hosting, retained observations, physical address costs, recursive precision and complete controller billing remain open.Validation passed on Python 3.12.7:
python3.12 -I -B scripts/research_package.py --package research/qq16-future-x-query(normal/optimized replay, 98,304 exact native kernel columns, five tests). Direct optimized verifier/tests also pass on Python 3.14.5.python3.12 -B scripts/research_baseline.pypasses source bindings only.git diff --checkis clean.Direct base:
0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2, priority revision 4.SOURCES.jsonpins retained inputs.PREDECESSOR.jsonand the preserved README pin #2443 head545c05e17243c962b112b91e7f84b4c1a41de7b8. Credit: starship-s / #2443 for the exact access handoff; Ali Romman / #1969 and the retained QQ16 lineage for native conventions. The established 88-read decoder optimum is unchanged. Prepared by ywz65 with substantial OpenAI Codex assistance; no independent human or proof-assistant review claimed.