DecoyInfeasible

Infeasible measurements degrade the bounds toward proving nothing

2/2 passed in 0ms

Test	What it does	Result
test_e1_docstring_path	The vacuum's e_nu2 = 0.5 at nu2 above 0 (src/decoy.rs prescribes it for nu2 = 0 alone) pushes e1 from 0.0466 to the 1/2 cap.	✅ pass
test_e1_never_zeroed	A negative Eq. (25) numerator returns e1 = 1/2, not the 0.0 a downward clamp gives, and e1 stays in [0, 1/2] for e_nu2 up to 1/2.	✅ pass