PASS independent Farey boundary: first disagreement = 42189065
Neighbor certificate: 846547/2490212 13495616/39698853 determinant = 1
PASS Sacks real-parameter counterexample: m=1, k=5/2
Y enclosed by -1.390658965205 -1.390658965204
Printed LHS minus RHS enclosed by 2.781317930409 2.781317930410
PASS missing streaming domain: s=1/2, r=0, b=255 gives q=510
PASS corrected integer streaming examples: 72
ALL FOCUSED CLAIM CHECKS PASS
