Repository navigation
Native Clifford realization of the P104 low-rank channel (no new kappa) - #1991
Conversation
|
Batch review at Merged to 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. |
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.
PR1972 supplies a complete P104
G/2channel with arbitrary dirty helpers, but its replay assumes abstract consistent frame charts. This adds a concrete finite native realization at its pinned headfd82d172f46933fd253c2c6de4bd5eaff5429cfd: 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/2side 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: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.