Expand description
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§
- Bound
GapCertificate - Branch-and-bound gap certificate — minted only by the B&B driver when:
- Farkas
Certificate - Placeholder for Farkas infeasibility certificate (Phase 2+).
- NotProven
- Reason why [
prove_optimal] failed to issue anOptimalCertificate. - Optimal
Certificate - KKT optimality certificate — all fields private, minted only by [
prove_optimal]. - Unbounded
RayCertificate - Placeholder for unbounded-ray certificate (Phase 2+).
Enums§
- Incomplete
Reason - Why a solve completed without a full optimality proof.
- Solve
Outcome - Typed solver outcome carrying certificates.