Verification-oriented proofs

This entrypoint gathers theorem files that connect verification certificates to mathematical properties. The current results focus on robustness: Lipschitz and margin certificates imply stable classifier outputs under bounded perturbations.