Struct OptimalCertificate 

pub struct OptimalCertificate { /* private fields */ }

KKT optimality certificate — all fields private, minted only by [prove_optimal].

Construction is only possible via the pub(crate) new method called from crate::qp::certificate::prove_optimal. External code cannot build this struct directly, eliminating the “proof-less Optimal” anti-pattern.

Implementations

impl OptimalCertificate

pub fn stationarity_rel(&self) -> f64

Componentwise relative stationarity: max_j |Qx+c+Aᵀy+z|_j / scale_j.

pub fn primal_residual_rel(&self) -> f64

Componentwise relative primal violation: max_i viol_i / scale_i.

pub fn bound_violation(&self) -> f64

Primal bound violation: max_j max(lb_j−x_j, x_j−ub_j, 0) / scale_j.

pub fn complementarity_rel(&self) -> f64

Complementarity: max(|y_i · slack_i|, |z_j · (x_j−bnd_j)|) / normaliser.

pub fn dual_sign_violation(&self) -> f64

Dual-sign violation: max_k viol_k / (1 + |v_k|) over sign-constrained duals.

pub fn duality_gap_rel(&self) -> f64

Relative duality gap: |p_obj − d_obj| / max(|p|, |d|, 1).

pub fn tol(&self) -> f64

Tolerance used when the certificate was issued.

Trait Implementations

impl Clone for OptimalCertificate

fn clone(&self) -> OptimalCertificate

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for OptimalCertificate

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.