Module certificate 

Proof-carrying certificate types for solver outcomes.

An OptimalCertificate can only be obtained by running [prove_optimal] (defined in crate::qp::certificate), which verifies all KKT conditions. Holding a certificate is a proof token: it is impossible to construct one without passing the full verifier.

Structs

BoundGapCertificate

Branch-and-bound gap certificate — minted only by the B&B driver when:

NotProven

Reason why [prove_optimal] failed to issue an OptimalCertificate.

OptimalCertificate

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