B92States

Two non-orthogonal states, Bob's displacement receiver, and Eve's discrimination

4/4 passed in 0ms

Test	What it does	Result
test_conclusive_form	With no dark counts the conclusive rate is (1 - c^2)/2 over the states reaching the detector, and the bit error is (1 - visibility)/2 at weak flux and the dark count on the nulled gate at a perfect fringe.	✅ pass
test_overlap	The state overlap is exp(-2 mu) and unambiguous discrimination of two equiprobable pure states succeeds with probability 1 - c.	✅ pass
test_receiver_idp	The displacement receiver reaches the unambiguous-discrimination optimum as mu -> 0 and trails it by (1 + c)/2 as the signal brightens.	✅ pass
test_usd_outruns	Eve's unambiguous discrimination outruns Bob's conclusive rate at every signal strength, even lossless.	✅ pass