B92Guards

Every argument domain, and a plain protocol that is priced rather than refused

8/8 passed in 1ms

Test	What it does	Result
test_azuma_slots	Every argument of the deviation bound is refused outside its domain, the test fraction at both ends.	✅ pass
test_ceiling_caps	A rate the beam-splitting attack has outrun is capped at the ceiling, not refused.	✅ pass
test_lossless_optimum	A lossless channel has no interior optimum overlap and is refused.	✅ pass
test_phase_domain	A phase error above 1/2 is refused: both proofs require twice the phase errors not exceed the conclusive count.	✅ pass
test_plain_priced	Neither the rate equation nor the operating point refuses plain B92.	✅ pass
test_slots	Every argument of the receiver, the rate equation, the operating point and the Tamaki-Lutkenhaus layer is refused outside its domain.	✅ pass
test_strong_refused	The three configurations the proof is not written for are refused by name: a reference no brighter than the signal, one too weak for D1 to sort, and a window past Appendix B's conditions.	✅ pass
test_strong_slots	Every argument of the strong-reference layer is refused outside its domain, the noise weight being a probability and not a per-gate dark count.	✅ pass