[P1 exact] Joint dictionary: rank pair x wrapping-type x 5-names at axis L=3,4 (#665) - #668
Draft
LightChainr wants to merge 1 commit into
Draft
[P1 exact] Joint dictionary: rank pair x wrapping-type x 5-names at axis L=3,4 (#665)#668LightChainr wants to merge 1 commit into
LightChainr wants to merge 1 commit into
Conversation
…L=3,4 Both-same is NOT rank-2: it splits into rank-1 spirals (6 at L=3, 1120 at L=4) and rank-2 crosses (91 / 9045). both-same x both-same is pure rank-1 x rank-1 spiral pairing, D = 0. Rank-2 lives only in the exclusive-cross D cells (0,2)/(2,0). Tripwires: Bernstein collapse bit-for-bit at both L; r_b+r_w=2 zero violations; PR #653 rank-pair totals reproduced. Integers only. L=5 is NEED_HUAWEI, not run here. No STATUS edit, no ticket closed.
This was referenced Sep 8, 2026
Closed
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.
Closes nothing; deliverable for #665 (parent #650). Draft — do not merge.
What
Joint exact census of site configurations at axis L=3 (
2^9) and L=4 (2^16), recording for every configuration— the rank pair
(r_b, r_w)of PR #653's repaired lab crossed with the coarse 4×4 wrap labels and the #646 5-names, for the first time in one table.scripts/issue665_joint_rank_wrap_census.py(importsprobe635_sector_decomposition.pyfrom PR probe635: M(p) as both-same sector difference — exact at finite L (verdict A, degenerate sectors); #628 bond rank defect fixed #646 onto main, verbatim)results/issue665-joint-rank-wrap/axis-L3.json,axis-L4.jsonnotes/issue-665-joint-rank-wrap-20260908.mdtests/test_issue665_joint_rank_wrap.py(axis L=2,3, seconds)Answer to the ticket question
both-sameis NOT the same as rank 2, andboth-same × both-samecontains only spirals (rank-1 × rank-1), no rank-2.both-sameat L=3both-sameat L=4both-same × both-sameby rank pair:(1,1): 6(L=3, k=6) and(1,1): 1120(L=4, k=8..12). Zero rank-2 involvement — structurally impossible at any L, sincer_b + r_w = 2on site forbids rank-2 on both sides.neither × bothis exactly(0,2)(259 / 36559) andboth × neitherexactly(2,0)(91 / 9045).both × both; the probe635: M(p) as both-same sector difference — exact at finite L (verdict A, degenerate sectors); #628 bond rank defect fixed #646 both-same amplitude rows are therefore not rank-pure — any sector-level reading must splitboth-sameby rank.both-twomass 0 at every k at both sizes;dir0 × dir0 = dir1 × dir1(78 / 9406 each).Tripwires — pass
[-1,-9,-36,-78,-90,-36,36,36,9,1]; L=4 committed rung.r_b + r_w = 2on every configuration, zero violations; PR Repair #632 bond laboratory; wrapping-type census L=3,4 (#640) #653 rank-pair totals reproduced exactly.Integers only. Axis L=5 (
2^25) not run here — NEED_HUAWEI if wanted. Nodocs/STATUS.mdedit; no ticket closed; draft PR, not for merge without review.Related: #635, #640, #646, #650, #651, #653, #657, #660, #662.