Repository navigation
Research: native warp relations add no paired-extraction directions - #3132
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
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.
The six-skip construction treats 72 warp IDs as independent symbols, although they represent only 58 distinct native maps. This package proves that evaluating the actual native maps does not enlarge either rational scalar paired-extraction space on the fixed PR3042/3054 words. It is a scoped negative result; no new κ.
For both providers, the identity and 58 native operators are rationally independent, with all 512 columns and phases included. Merging duplicate maps removes 184 symbolic terms, but exact rational bases and modular rank certificates prove the right/left spaces remain 119/181-dimensional. Their scalar pairing is therefore unchanged for every terminal support, including simultaneous directions. The result does not rule out changed words, operator-valued interfaces, or cheaper synthesis of existing directions.
Validation: the registered Python 3.12 replay and nine behavioral test groups pass, including a case where aliasing really does enlarge a space, missing-constraint and rank-dropping-prime controls, phase/source failures, and a separate noncommuting vector interpreter. Optimized Python 3.12 and a Git-free Python 3.14 export reproduce the identical receipt. All 15 committed package files match the tested bytes. The checker imports no predecessor Python and needs only the standard library.
Reproduce:
python3.12 -B scripts/research_package.py --package research/native-warp-extraction-boundary.Expected:
PASS_NATIVE_WARP_EXTRACTION_BOUNDARYandPASS_REGISTERED_RESEARCH_PACKAGE, outcomenegative-result.Base:
997e6a9ca7b4f95d50e366f61412fd640d72a88a. PR3042:84cc406ad91ec53fff329a11a445d7effe564a77; PR3054:4773c3ea67b471415870e38411fae313ec44a675. Refreshed main and reviewed new PR metadata through #3131; its dense collector work is separate. The selected frontier and upstream files are unchanged. Native/compiler, physical, precision, common-label, caller and analytic assumptions remain predecessor obligations; no complete supplier or outer replay is claimed here.Credit Cinna Davis/PR2226, Jeremy Diviney/PR2908, Mason Hale/PR2917, Marius-Paul Dumitrean/PR2979, dcharb78/PR3042, Nick Petalas/PR3054, Jeremy Kothe, dataisfire/PR3115 and the retained geometry/native contributors. Tekalign, with substantial OpenAI Codex assistance; no independent human or proof-kernel review claimed. Apache-2.0. Proof, source pins, limitations and open next questions are in the package README.