Corollary: A uniform constructive margin

For alternatives with $\lambda \ge {\lambda }_{\min }>0$, $t\ge t_{\min }>0$, and $0<r_{\mathrm{c}}\le R/100$, the oriented contrast $-C$ has a common deterministic gap at least

A positive value certifies separation within the declared attenuation model and residual bounds.

Proof. Use the fixed negative sign and (eq:small) in Theorem thm:contrast.