DmcsNumerical

Cutoffs, perturbations and channels the numerical proof refuses

8/8 passed in 7729ms

Test	What it does	Result
test_cutoff_domain	dm_secure and dm_cost refuse a photon-number cutoff outside [2, 30] and a constellation outside [2, 8] states.	✅ pass
test_detector_domain	All three trusted entry points refuse ${\eta }_d$ outside (0, 1) and negative $v_{el}$, an ideal receiver being dm_secure at $v_{el}=0$.	✅ pass
test_perturbation_domain	dm_secure refuses a perturbation outside Winick-Lutkenhaus-Coles Theorem 2's range and zero Frank-Wolfe steps.	✅ pass
test_phase_guard	dm_region refuses a phase guard wide enough to close a sector.	✅ pass
test_pure_loss	dm_secure refuses pure loss ($\xi =0$), where the linearisation collapses, rather than return a valid worthless certificate.	✅ pass
test_relaxed_slots	dm_relaxed refuses the sizes and controls dm_secure does, plus a non-positive clipped operator norm.	✅ pass
test_relaxed_weight	dm_relaxed refuses a weight outside (0, 1); zero is dm_secure's equality problem.	✅ pass
test_trusted_selectors	dm_noisy refuses a key symbol outside the constellation or a phase guard that closes the sector, and dm_observe an observable outside LL20's four.	✅ pass