Module certificate 

Proof-carrying certificate types. OptimalCertificate / BoundGapCertificate は内部ファクトリ経由でのみ生成され、保持自体が proof token になる。

Structs

BoundGapCertificate

B&B gap certificate — minted by the B&B driver when no region was abandoned (proof_uncertain == false) and gap_rel ≤ gap_tol. External code cannot construct it.

NotProven

Reason why prove_optimal failed: observed residuals + failing condition names.

OptimalCertificate

KKT optimality certificate — minted only by crate::qp::certificate::prove_optimal.