{
  "schema": "facility-review-v1",
  "generated_at_utc": "2026-10-09T01:29:42.470751+00:00",
  "status": "review_complete",
  "input_files": [
    {
      "name": "distances.csv",
      "bytes": 288,
      "sha256": "996d17bd6dc4c0b6f336d8f38399bf3cabe00e4f8152a4e5caeb81dd8d4a810a"
    },
    {
      "name": "locations.csv",
      "bytes": 275,
      "sha256": "bb634e50770c8e7bc741130d28583ca796dc5b3f16f67c10d7409a663f313c8f"
    },
    {
      "name": "plan.csv",
      "bytes": 24,
      "sha256": "4e1fb8966f38b9511eb85ece1f6bfd1724187340516329e2d3afa247cb4a9f3a"
    },
    {
      "name": "study.json",
      "bytes": 479,
      "sha256": "b0e974038969ae40c32b8904827a13d270f496b4a75c1c6522e8ad8af6d5b656"
    }
  ],
  "errors": [],
  "model_support": {
    "supported": true,
    "issues": []
  },
  "metric_scope": {
    "eligible": true,
    "scope": "Exact symmetry, diagonal/strict positivity and every triangle on the supplied matrix"
  },
  "submitted_plan": {
    "valid": true,
    "selected_ids": [
      "A",
      "F"
    ],
    "exact_cost": "24",
    "assignments": [
      {
        "client_id": "A",
        "site_id": "A"
      },
      {
        "client_id": "B",
        "site_id": "A"
      },
      {
        "client_id": "C",
        "site_id": "A"
      },
      {
        "client_id": "D",
        "site_id": "F"
      },
      {
        "client_id": "E",
        "site_id": "F"
      },
      {
        "client_id": "F",
        "site_id": "F"
      }
    ]
  },
  "solver": {
    "status": "not_requested"
  },
  "comparison": {
    "reference": {
      "status": "exact_optimum",
      "reason": "all_k_subsets_completed",
      "metric_valid": true,
      "primal": {
        "valid": true,
        "selected": [
          0,
          3
        ],
        "clients": [
          0,
          1,
          2,
          3,
          4,
          5
        ],
        "assignments": [
          0,
          0,
          0,
          3,
          3,
          3
        ],
        "exact_cost": "17"
      },
      "dual": null,
      "exact_lower_bound": "17",
      "exact_upper_bound": "17",
      "independently_known_optimum": "17",
      "certified_ratio_upper": "1",
      "absolute_gap": "0",
      "total_k_subsets": 6,
      "examined_subsets": 6,
      "enumeration_distance_lookups": 72,
      "subset_budget": 1000,
      "lookup_budget": 5000000,
      "resource_scope": "Counts cover enumeration subsets and distance lookups only; metric parsing, O(n^3) triangle checks, primal/dual audits, Fraction bit arithmetic, allocations and runtime are not charged. Input dimensions/rationals have separate caps.",
      "enumeration_justification": "An at-most-k nonempty set can be augmented to k candidates without increasing uncapacitated nearest-distance cost. Exhausting exactly-k subsets therefore suffices.",
      "source_algorithm_implemented": false,
      "source_proof_verification": "not_run",
      "formal_python_verification": "not_run",
      "input_scope": "Exact frozen unweighted finite metric only; no rounded/geographic/traffic fidelity or buyer value is established."
    },
    "best_checked_plan": {
      "valid": true,
      "selected_ids": [
        "A",
        "D"
      ],
      "exact_cost": "17",
      "assignments": [
        {
          "client_id": "A",
          "site_id": "A"
        },
        {
          "client_id": "B",
          "site_id": "A"
        },
        {
          "client_id": "C",
          "site_id": "A"
        },
        {
          "client_id": "D",
          "site_id": "D"
        },
        {
          "client_id": "E",
          "site_id": "D"
        },
        {
          "client_id": "F",
          "site_id": "D"
        }
      ]
    },
    "improvement_over_submitted": "7"
  },
  "dual": null,
  "execution": {
    "solver_requested": "none",
    "subset_budget": 1000,
    "lookup_budget": 5000000
  },
  "interpretation": "Exact frozen input review only. Distance provenance is supplied, not verified. No source approximation algorithm, customer benefit or physical planning validity is established.",
  "study": {
    "schema": "facility-review-v1",
    "title": "Generated facility planning review",
    "units": "distance units",
    "distance_provenance": "Generated line coordinates for a software control; no customer or geographic data.",
    "k": 2,
    "model": {
      "objective": "unweighted_sum_nearest_distance",
      "distance": "strict_rational_metric",
      "capacities": "unlimited",
      "facility_budget": "at_most_k",
      "extra_constraints": "none"
    },
    "additional_constraints": []
  },
  "location_ids": [
    "A",
    "B",
    "C",
    "D",
    "E",
    "F"
  ],
  "normalized_input_sha256": "785c718db061262050b38269900de08c7311da88916209e39bfe7281fb6e8b5e"
}