Skip to content

Exclude unitary paired cycles for the full selected dirty reader - #2491

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
ywz65:codex/round-028-handoff-review
Oct 16, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
ywz65:codex/round-028-handoff-review

Conversation

@ywz65

@ywz65 ywz65 commented Oct 15, 2026

Copy link
Copy Markdown
Contributor

The full selected gauge44 centre 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_224 to squared norm 8/7; paid nonorthogonal implementations, changed cuts and new contracts remain open.

  • Exact source pins: canonical main 0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2; selected replay SHA256 f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6; PR2464 head f364b97ff4700147fc06e622b79952b9fe6c4fa8, with its README retained and hashed. Seven named archive members are individually authenticated.
  • Validation: python3.12 -B scripts/research_package.py --package research/selected-dirty-reader-z4 passes on CPython 3.12.7, including seven failure/positive-control groups. Primary verifier and tests also pass with -I -B -O on CPython 3.14.5. Selected baseline bindings, the card's ceiling/lever checks and git diff --check pass.
  • Scope: native interpretation inherits the pinned exact Clifford transition identities; this does not rerun their complete compiler audit, supply a new invoice, alter the selected record or claim a new kappa. Unitarity is required at the named cut: a unitary action before the nonunitary precondition can fall outside the result.

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants