{
  "schema": "facility-assignment-review-v1",
  "generated_at_utc": "2026-10-09T01:54:40.239001+00:00",
  "status": "submitted_plan_infeasible",
  "errors": [],
  "input_files": [
    {
      "name": "assignments.csv",
      "bytes": 24,
      "sha256": "e0c7f0f08a01df41c01f47fa7068becde54bf157011f0e8ee9cb1f70f6f7d485"
    },
    {
      "name": "clients.csv",
      "bytes": 22,
      "sha256": "e73155fa67eda2169a7b533e51b04bbbf8de50da0a11269984882d349e276a10"
    },
    {
      "name": "costs.csv",
      "bytes": 44,
      "sha256": "e744805ab606d72ccd6a6470fd372d011cb71474de79b45ad39a48646a165be2"
    },
    {
      "name": "selected.csv",
      "bytes": 14,
      "sha256": "e0fbf53dac7e863b9625e750aa3e48c7561139613819bdf5c91de031a8362dcb"
    },
    {
      "name": "sites.csv",
      "bytes": 48,
      "sha256": "3cad286f92b14aa7b243b33e60ea0592a992a2b57b5c7534116463ab6b8b6bc8"
    },
    {
      "name": "study.json",
      "bytes": 414,
      "sha256": "6c3fdd6ef62f7ca9635da3d734f6ec8cd95d0c35dbadccd63efd5910676ffd1d"
    }
  ],
  "submitted": {
    "valid": false,
    "selected_ids": [
      "S0",
      "S1"
    ],
    "issues": [
      "Capacity exceeded at S0: load 2, capacity 1"
    ],
    "exact_cost": null,
    "assignments": [
      {
        "client_id": "C0",
        "site_id": "S0"
      }
    ],
    "loads": {
      "S0": "2",
      "S1": "0"
    }
  },
  "nearest_reassignment": {
    "valid": false,
    "selected_ids": [
      "S0",
      "S1"
    ],
    "issues": [
      "Capacity exceeded at S0: load 2, capacity 1"
    ],
    "exact_cost": null,
    "assignments": [
      {
        "client_id": "C0",
        "site_id": "S0"
      }
    ],
    "loads": {
      "S0": "2",
      "S1": "0"
    }
  },
  "solver": {
    "status": "INFEASIBLE",
    "checked_plan": null,
    "version": "9.15.6755",
    "time_limit_seconds": 2,
    "workers": 1,
    "seed": 125,
    "demand_scale": 1,
    "objective_scale": 1,
    "reported_scaled_objective": null,
    "reported_scaled_best_bound": 0.0,
    "reported_wall_seconds": 2.9e-05,
    "model_sha256": "40d19cbcc6a615da001f2ebf88b4726e4dc5ca5cbe0b432079f3fbd1c1918422",
    "scope": "Solver status and floating numerical bounds are reported only; independent quality uses an exact checked plan and the separately justified relaxation bound."
  },
  "comparison": {
    "best_origin": null,
    "best_checked_plan": null,
    "exact_lower_bound": "2",
    "lower_bound_scope": "Each client may use its cheapest candidate; opening count, required sites and capacities relaxed",
    "exact_gap": null,
    "independently_known_optimum": null,
    "improvement_over_submitted": null
  },
  "scope": "Exact frozen weighted assignment model only. No strict-metric/source-theorem eligibility, geographic validation or customer benefit is established.",
  "study": {
    "schema": "facility-assignment-review-v1",
    "title": "Generated weighted facility review",
    "cost_units": "cost units per demand unit",
    "demand_units": "demand units",
    "provenance": "Generated computational control; no customer or geographic data.",
    "k": 2,
    "selection_rule": "exactly_k",
    "assignment_rule": "whole_client_to_one_open_site",
    "objective": "weighted_sum_assignment_cost",
    "additional_constraints": []
  },
  "normalized_input_sha256": "80f1049d51630b9e4683083eea682f924550b7150b5f2602db59c8c499ba81ea",
  "model_support": {
    "supported": true,
    "issues": []
  }
}