SurfaceCertified

The certified discrete-modulation bound, and its two steps kept apart

5/5 passed in 7330ms

Test	What it does	Result
test_cutoff_declared	The cutoff has no default -- the bound is rigorous given it -- and the engine's own range refuses one below 2.	✅ pass
test_matches_engine	The component reaches _core.dm_secure with the same arguments in the same order.	✅ pass
test_pure_loss_refused	Pure loss is refused by the engine: at xi = 0 the certificate is valid and worthless, so it raises rather than returning it.	✅ pass
test_steps_apart	certify() returns the step-2 proof and the step-1 Frank-Wolfe value as separate fields, the second above the first, and key is bound less error correction.	✅ pass
test_upper_barred	A Certificate has no key_rate or rate: each raises rather than resolving to either of the two steps.	✅ pass