FuzzRate

dps, bb84 and cow rates: bounded above by their own prefactors, refusing f_ec < 1

3/3 passed in 13ms

Test	What it does	Result
test_bb84_contract	bb84_rate over 300 points is finite and inside [0, q_sift*q1]; q1 above q_mu, an error rate past 1/2 and an f_ec below 1 raise.	✅ pass
test_cow_contract	Over 300 points cow_rate stays in [0, q_z], cow_ceiling in [0, 1] and cow_visibility in [-1, 1]; a monitoring line that never clicked and an error rate past 1/2 raise.	✅ pass
test_dps_contract	dps_rate over 300 points is finite and inside [0, p_click]; an f_ec below 1, a probability outside [0, 1] and mu <= 0 all raise.	✅ pass