Skip to content

Native Clifford realization of the P104 low-rank channel (no new kappa) - #1991

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
chafreaky:codex/p104-native-channel-20261014
Oct 14, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
chafreaky:codex/p104-native-channel-20261014

Conversation

@chafreaky

Copy link
Copy Markdown
Contributor

PR1972 supplies a complete P104 G/2 channel with arbitrary dirty helpers, but its replay assumes abstract consistent frame charts. This adds a concrete finite native realization at its pinned head fd82d172f46933fd253c2c6de4bd5eaff5429cfd: 740 exact Clifford transport recipes, 208 monomial intrinsic endpoint adapters, and a separate checker for the complete 280-input framed composition. The scalar channel and schedule remain credited to their authors.

The compiler first converts compressed E8 labels through their actual Gram form into physical binary labels. Independent signed-Pauli and exact Gaussian interpretation checks every primitive, including global phase, and all 4096 private-drop basis columns. The complete row induction restores all 72 arbitrary dirty helpers. Five genuine mutations reject. The profile remains rank mass 2368 = boundary coverage 2312 + COPY56.

No new kappa or complete P104 supplier. The I-G/2 side correction, chronological global ownership, recursive precision and all-size admission remain open. The selected record is unchanged. This closes a finite native-realization obligation, not those later gates.

Validation at 6e222517e182e98499239bc9a4009f540e1c5520:

  • Local Python 3.11.15 and 3.14.8 receipts are byte-identical; a read-only relocated export also passes complete recipe regeneration.
  • Linux CI: all three jobs pass on Python 3.11, 3.12 and 3.14, including complete regeneration. All three downloaded receipts are byte-identical to the local receipts.
  • Standard-library, read-only replay: python3 -I -O -B research/p104-native-channel/verify.py --regenerate. Regeneration uses temporary storage and compares complete decompressed payloads. Registered package metadata and source pins pass.

Credit Rohan Arun / PR1972 for the entire scalar/frame channel, Adam Gall / PR1940 for the schedule, Josie Elliston / PR1071 for the fixture, Ali Romman / PR1125 and PR1862, and the retained E8, dirty-helper and exact-compiler lineage. Exact input pins and inherited notices are included. Native lowering and independent checker work prepared for Chafik Boukhalfa with substantial OpenAI Codex assistance; no independent human review or formal proof assistant.

@Mister-Meeseeks
Mister-Meeseeks merged commit 85bbb64 into CrocSwap:main Oct 14, 2026
20 of 64 checks passed
@Mister-Meeseeks

Copy link
Copy Markdown
Contributor

Batch review at 6e222517e182e98499239bc9a4009f540e1c5520.

Merged to main, preserving the original contributor commits and package attribution.

Reviewed scope: P104 low-rank channel is compiled to concrete nine-coordinate Clifford recipes, with exact label isometry,740 distinct transports,208 monomial endpoint adapters and4096 private-drop basis columns. Both complete regenerations pass with arbitrary dirty helper restoration. The frozen draft source is retained as input, not merged as a supplier; side correction, global hosting and all-size obligations remain open.

The pinned scoped command passed; the batch ledger contains its command, input hashes, environment and log. This incorporates the research/tooling contribution and does not change the selected κ or discharge the inherited multiplication-theorem assumptions.

Batch review, attribution and evidence. Thank you for the contribution.

cursor Bot pushed a commit to VictorLiwentao/integer-mult-bounds that referenced this pull request Oct 18, 2026
Pin matched flag 2 (X1 to Y84, head 488) from the CrocSwap#2981 matching and show the
CrocSwap#1991 word drops the head at source first touch and never annotates it on
Y84, so frame-hosted coefficient delivery and dirty restoration along that
flag remain unmet. No new kappa.

Prepared by Wentao Li with substantial AI assistance.
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