Repository navigation
Research: QQ16 A-copy cut needs 24 native lines with even cover maps - #2416
Merged
Mister-Meeseeks merged 1 commit intoOct 15, 2026
Merged
Conversation
Prove the fixed sheared B_1_2[:80] endpoint needs24 atomic native lines versus16 inherited, with typed attainment and explicit even-map scope. Credit PR2328, PR2252, PR2216 and retained PR1969 lineage. No controller, supplier or frontier change.
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.
Change and mathematical scope
The eight A-copy sweeps do not absorb the QQ16 paired shear’s eight extra native lines. At the actual
B_1_2[:80]cut, before future-Y alignment, the sheared endpoint needs exactly 24 atomic single-field native lines versus 16 inherited. A 24-by-24 character-difference minor has determinant 4096, and a typed owned-C0 word attains the bound.The theorem allows arbitrary finite scalar resynthesis with coefficients uniform over owners/payload addresses, plus free orthogonal-owner cover maps with even translations. All 64 actual map events belong to this subgroup. It holds for every positive tensor length. Odd translations, other payload-address operations, multi-field native atoms, internal-wrapper splitting and later cuts are excluded. This is a scoped native-cost result, not a controller, supplier or κ improvement.
The complete local invoice is 16→24 lines, 32→48 native wrappers, 64→64 explicit maps, 48→72 complex ADDs, 16→32 CLEARs and 8→16 private sweeps. Scalar real-primitive allowance is 480→704 (+224), charging half ADDs at 10, unit ADDs at 8 and CLEARs at 2. Global hosting, precision and recursive admission remain open.
Task and overlap
Artifact head
f2c93e76f84ad4ef14441d97e731cc761db0975c. Base0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2, priority revision 4. One chooser seedf7a0c6caa6b3f1906aa449affcb084ab; recursive-interfaces / joint-query-controller, key22e535909f1d243e7553. TASK.json explicitly records changed scope: PR #2328’s released later-cut physical-cost handoff replaces the already-covered generic extra-observation experiment. It does not complete the original controller gate.Canonical investigation/claim. The 08:24 UTC refresh paginated 619 open PR bodies including drafts; #2328 remains at
6b2717ce2bbb13c2152e64efea48867b78840bbb. Main/guidance/catalogue/selected record are unchanged. The canonical thread and targeted board/handoffs were read; broad Discussion/closed/unpublished coverage is incomplete. No first-closure claim.Validation
CPython 3.12.14 / macOS arm64: registered normal and optimized replay passes, with 13 semantic controls and nine integration tests in each mode. Metadata/Git-object pins and whitespace checks pass.
Fresh evidence includes 712-row equality in a free noncommuting-operator algebra (all positive tensor lengths by written interpretation), a separate complete λ=1 affine-group replay, all 480 dirty helpers, C0 cleanup/C1..C7 preservation, ordered native frames/barriers, and 8,192 literal native-recipe basis columns. An independent real rational 48-by-48 check yields rank 48 and determinant 4096². Controls distinguish tensor powers from a simultaneous-shift surrogate, detect a helper corruption invisible to both characters, and reject bad native phases, owner routes, scratch ownership, receipts and source bytes. No pending predecessor verifier is imported. Separate agent math and test reviews found no remaining blocker; no human or proof-assistant review.
The broad research-baseline command was attempted but did not pass because this sparse checkout lacks the selected supplier’s complete source inventory. Full selected/supplier replay, physical compilation, global precision and all-size obligations were not run. This package’s pinned closure and registered replay pass.
Credit
commdata2338 (#2328, exact head above): earlier 16-line theorem, character-difference method, typed prefix and later-cut handoff. Charles Bethin / cbethin (#2252,
6dd49c2b186e08ef1f3efd08f62e1add97ff04a3): native-frame correction. Cinna Davis / 1337isnot1337 (#2216,b80e9ba43367fb8b20877a97da1cb677c34f9264): logical paired shear. Ali Romman / aliromman (#1969,a6e6ad3936f67b8f63b5b68c5e75d540610a65e7) and retained lineage: maps, recipes, words and notices.New work by ToikY with substantial OpenAI Codex assistance and separate agent reviews, Apache-2.0. Existing sources/notices unchanged.
Open next questions
README follow-ups: specify a later cut or expanded map alphabet before testing fusion; separately screen any sufficient retained record against #2368/#2381 before native costing. No selected frontier change or merge is requested.