Repository navigation
Exclude unitary paired cycles for the full selected dirty reader - #2491
Merged
Mister-Meeseeks merged 1 commit intoOct 16, 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.
The full selected
gauge44centre reader has no unitary input action intertwining it with paired four-cycles of its eight outputs at the exact post-precondition/pre-entry-adapter cut. Its diagonal Gram blocks have scalar coefficients(150,130,146,134,122,126,142,146), so no four outputs can form a norm-preserving cycle. This addresses PR2464's explicitly missing actual-reader interface without claiming its abstract echo is incorrect.The source-bound proof tracks all 704 arbitrary input fields through the native typed prefix, distinguishes physical from frame-conjugated output permutations, and excludes all 1,260 paired-cycle relabellings. A passing data-only signed intertwiner shows why ignoring helpers is insufficient. An explicit nonunitary order-four action remains available algebraically and sends
e_224to squared norm8/7; paid nonorthogonal implementations, changed cuts and new contracts remain open.0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2; selected replay SHA256f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6; PR2464 headf364b97ff4700147fc06e622b79952b9fe6c4fa8, with its README retained and hashed. Seven named archive members are individually authenticated.python3.12 -B scripts/research_package.py --package research/selected-dirty-reader-z4passes on CPython 3.12.7, including seven failure/positive-control groups. Primary verifier and tests also pass with-I -B -Oon CPython 3.14.5. Selected baseline bindings, the card's ceiling/lever checks andgit diff --checkpass.New proof/checker by ywz65 with substantial OpenAI Codex assistance. Predecessor credits are retained, including the selected word lineage, Cinna Davis's typed echo and Aaron Wang's PR2464 handoff. No independent human review, full selected cold replay or hosted CI is claimed.
Canonical investigation: advance claim on PR2464. Canonical main was freshly fetched unchanged at 2026-10-15 12:29:53 UTC, priority revision 4. The final local overlap refresh covered 683 open PRs at 12:30:47 UTC. After a temporary Discussion API limit, publication screening used the newer complete team snapshot of 1,197 Discussion/comment/reply records from 12:29:05 UTC. That cached search found predecessor context and this package, with no competing exact full-reader obstruction; it can miss subsequent changes. The relevant PR2464 head was checked directly and is unchanged. No text search covers every diff or proves novelty.
An independent Codex agent reviewed commit
c25a4ce22a887daf8cba8b3cfad72796752ab2ee, replayed the registered package and seven tests, and separately reconstructed all 5,632 reader coefficients without importing this verifier. Its row norms, data Gram and explicit nonunitary escape agree. This agent review is distinct from human or maintainer acceptance.