MdiDecoy

The joint two-sender decoy inversion, bounded against the forward model

4/4 passed in 0ms

Test	What it does	Result
test_asymmetric_arms	With the relay at 20 km against 80 the bound stays under the forward yield for equal intensity sets and both orders of unequal ones.	✅ pass
test_error_bound	The e11 bound is under 3% where the raw diagonal QBER is past 24%, and above the 1.5% misalignment.	✅ pass
test_infeasible	Data no single-photon component explains returns e11 = 1/2, not zero.	✅ pass
test_yield_sandwich	The three-intensity Y11 bound sits under the forward yield at every decoy strength, tightening monotonically as the decoy weakens to past 99% of it at nu = 0.005.	✅ pass