Repository navigation
Add a QQ16 ordinary-source tap witness repair - #2268
Merged
Merged
Conversation
This was referenced Oct 15, 2026
Mister-Meeseeks
pushed a commit
that referenced
this pull request
Oct 15, 2026
Takes PR #2268's full-injectivity handoff. With PR #2216's F0-to-B1 A-to-T shear and a paired tap from any one ordinary source port into a selected T field, some original selected inputs stay invisible through the complete retained QQ16 schedule. A new three-port witness on ports 1, 16 and 88 (r_1 = r_16 + r_88, zero at the tapped port 2) defeats PR #2268's U2-to-T21 tap; its support is disjoint from PR #2093's witness, so all 768 single taps fail. For each source port, two nonsingular 8-by-8 parity minors (192 in all) give eight hidden A dimensions at the identity owner, so reading any fixed set of k <= 8 source ports leaves at least 9 - k dimensions invisible: at least nine source ports are necessary in this coordinate-access model, not proved sufficient. Negative result; no supplier or kappa change. Adds research/qq16-coordinate-tap-kernel/ only, with PR #2093's pinned source helper under references/ (credited to Adam Gall). Submitted by @commdata2338 with substantial AI assistance (OpenAI Codex research and implementation; packaged with Claude Code). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01X86sCSXdoDd61SDFfC1PKG
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.
Result
This adds a concrete QQ16 local interface mechanism: keep PR #2216's sum-preserving
X_T += X_A; Y_T -= X_Ashear and add a paired tap from the already-live ordinary source port 2 into selected pair 21:On the exact PR #2093 three-port hidden
hwitness, this tap preservesX_21 + Y_21and produces final bank 0, component X, port 21 equal to11 f_37through the complete retained tail. The exact receipt has 34 selected outputs, 4 forward-history rows, and 65 completed-X rows.Evidence and cost
The package pins the base, selected record, source maps, and copied predecessor verifiers. It reproduces the full-tail result, the no-tap and off-support-source controls, and a wrong-sign control. All 24 supported one-source/one-T-pair candidates were screened at B1; the first positive,
U2 -> T21, was then run through the full tail. The retained PR #2216 eight-direction rank-eight witness is independently rechecked at B1, with exact minor determinant-1/4096.The added tap costs 2 scalar additions per owner, no helper, no recursive child, and no frame transition. Its coefficients are
+1and-1; a conservative local triangle bound charges one additional magnitude bit on the changed envelopes.Scope and limits
This is one exact kernel-witness repair through a fixed retained QQ16 schedule. It does not establish full controller injectivity, a global precision/all-size contract, supplier admission, or a new κ. The eight PR #2216 directions have not been replayed through the tail with this tap. Full ordered-kernel integration and owner placement remain open.
PR #2216 remains open. This package changes the ordinary source-to-selected interface and carries PR #2093's
hwitness through the complete tail; it complements the A-to-T shear and its eight-direction B1 result. PR #2079's bounded B2 observation is related context, with a different source observation.Reproduce
Local exact replay and package checks passed under Python 3.14.7. The registered package runner targets Python 3.12; hosted CI will provide that runtime check.
Base:
0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2. Selected-record SHA-256:10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32.Substantial OpenAI Codex assistance was used in the construction, integration, and exact replay; no independent human review is claimed. Source attribution is included in the package.