FuzzDecoy

Decoy forward model and single-photon bounds, swept against the infinite-decoy ceiling

4/4 passed in 57ms

Test	What it does	Result
test_decoy_boundary	decoy_bounds is finite with Y1 >= 0 at nu2 = 0, nu1 + nu2 just below mu and denormal intensities, and decoy_eta and decoy_ideal reach their closed-form edge values.	✅ pass
test_decoy_ceiling	Y1 from decoy_bounds on decoy_gain's own gains stays under decoy_ideal's infinite-decoy ceiling, and e1 above its floor, over 1000 channels plus one pinned reproducer.	✅ pass
test_decoy_exterior	decoy_bounds refuses nu2 >= nu1, nu1 + nu2 >= mu and out-of-range intensities or gains, and decoy_eta, decoy_ideal and decoy_gain refuse their exterior.	✅ pass
test_decoy_interior	Over 400 self-consistent decoy experiments, eta and Y1 lie in [0, 1], the QBER and the e1 bound in [0, 1/2], and Q1 is no larger than Q_mu.	✅ pass