# Optimization solution audit

- Formulation record and revision:
- Candidate/source method:
- Solver status and termination message:
- Runtime/evaluation budget:
- Seed/repeat (if stochastic):

## Independent recomputation

| Check | Result | Tolerance | Evidence |
|---|---:|---:|---|
| Objective(s), with units |  |  |  |
| Variable domains/bounds |  |  |  |
| Hard-constraint residuals |  |  |  |
| Soft-constraint violations |  |  |  |
| Independent feasibility predicate |  |  |  |

## Quality evidence

- Best feasible objective:
- Infeasible candidate objective (if retained for diagnosis):
- Bound and gap definition/value:
- Repeat distribution and failure rate:
- Pareto alternatives or selected weights:
- Sensitivity/robustness result:

## Decision

- Verdict: accept / reject / unresolved / infeasible-proven
- Rationale and tradeoff:
- Missing evidence or limitations:
- Owner, approval, and next trigger: