SargGuards

Argument domains of the SARG04 engine

6/6 passed in 0ms

Test	What it does	Result
test_counted_slots	The one-decoy estimators refuse an inverted intensity pair, intensity probabilities summing above 1, errors above detections, and eps outside (0, 1).	✅ pass
test_error_domains	sarg_sift, sarg_cost and sarg_phase refuse an error rate outside [0, 1/2], past which the entropy factors turn upward and a worse channel reads as more key.	✅ pass
test_length_slots	sarg_length refuses s0 + s1 above n_key and every epsilon outside (0, 1); v1 is an uncapped count, a ratio above 1/2 buying zero.	✅ pass
test_photon_number	sarg_limit takes 1 or 2 photons and refuses 0, 3 and 7.	✅ pass
test_rate_slots	sarg_rate refuses gains outside [0, 1], error rates outside [0, 1/2], a sub-Shannon f_ec, and q1 + q2 above q_mu, naming the slot.	✅ pass
test_yield_slots	sarg_yield refuses eta or dark outside [0, 1] and e_det above 1/2, and sarg_ceiling a non-positive mu and a t or eta outside (0, 1].	✅ pass