{
  "checks": [
    {
      "label": "line_distinct feasible solver proposal",
      "passed": true
    },
    {
      "label": "line_distinct primal exactly audited",
      "passed": true
    },
    {
      "label": "line_distinct candidate cost respects lower",
      "passed": true
    },
    {
      "label": "line_distinct solver attains independent optimum",
      "passed": true
    },
    {
      "label": "rational_line feasible solver proposal",
      "passed": true
    },
    {
      "label": "rational_line primal exactly audited",
      "passed": true
    },
    {
      "label": "rational_line candidate cost respects lower",
      "passed": true
    },
    {
      "label": "rational_line solver attains independent optimum",
      "passed": true
    },
    {
      "label": "grid_25 feasible solver proposal",
      "passed": true
    },
    {
      "label": "grid_25 primal exactly audited",
      "passed": true
    },
    {
      "label": "grid_25 candidate cost respects lower",
      "passed": true
    },
    {
      "label": "grid_25 solver attains independent optimum",
      "passed": true
    },
    {
      "label": "empty_clients feasible solver proposal",
      "passed": true
    },
    {
      "label": "empty_clients primal exactly audited",
      "passed": true
    },
    {
      "label": "empty_clients candidate cost respects lower",
      "passed": true
    },
    {
      "label": "empty_clients solver attains independent optimum",
      "passed": true
    },
    {
      "label": "zero_optimum feasible solver proposal",
      "passed": true
    },
    {
      "label": "zero_optimum primal exactly audited",
      "passed": true
    },
    {
      "label": "zero_optimum candidate cost respects lower",
      "passed": true
    },
    {
      "label": "zero_optimum solver attains independent optimum",
      "passed": true
    },
    {
      "label": "dual_tight_line feasible solver proposal",
      "passed": true
    },
    {
      "label": "dual_tight_line primal exactly audited",
      "passed": true
    },
    {
      "label": "dual_tight_line candidate cost respects lower",
      "passed": true
    },
    {
      "label": "dual_tight_line solver attains independent optimum",
      "passed": true
    },
    {
      "label": "dual_tight_line independent dual meets candidate",
      "passed": true
    },
    {
      "label": "restricted_candidates feasible solver proposal",
      "passed": true
    },
    {
      "label": "restricted_candidates primal exactly audited",
      "passed": true
    },
    {
      "label": "restricted_candidates candidate cost respects lower",
      "passed": true
    },
    {
      "label": "restricted_candidates solver attains independent optimum",
      "passed": true
    },
    {
      "label": "budget_limited_24 feasible solver proposal",
      "passed": true
    },
    {
      "label": "budget_limited_24 primal exactly audited",
      "passed": true
    },
    {
      "label": "budget_limited_24 candidate cost respects lower",
      "passed": true
    },
    {
      "label": "budget_limited_24 exhausted reference retains unknown",
      "passed": true
    },
    {
      "label": "budget_limited_24 solver status does not confer independent optimum",
      "passed": true
    }
  ],
  "passed": 34,
  "cases": 8,
  "comparison": "research/prototypes/metric-facility-comparison-2026-10-09-v1/comparison.json"
}