Optimization Assurance · Assignment review

Generated weighted facility review

Submitted plan fails the declared constraints

Objective units: demand units × cost units per demand unit · 09 October 2026, 01:54 UTC

Submitted costNot accepted

Best checked costUnknown

Relaxed lower bound2

Best plan proven optimal?Unknown

Review findings

Capacity exceeded at S0: load 2, capacity 1

Lower bound: Each client may use its cheapest candidate; opening count, required sites and capacities relaxed.

The nearest-site reassignment was rejected: Capacity exceeded at S0: load 2, capacity 1.

Conventional solver

Infeasible, as reported by the solver. Solver status and numerical bounds remain separate from independent optimality.

Input provenance

Generated computational control; no customer or geographic data.

Supplied provenance is not independently verified.

assignments.csv · SHA-256 e0c7f0f08a01df41c01f47fa7068becde54bf157011f0e8ee9cb1f70f6f7d485
clients.csv · SHA-256 e73155fa67eda2169a7b533e51b04bbbf8de50da0a11269984882d349e276a10
costs.csv · SHA-256 e744805ab606d72ccd6a6470fd372d011cb71474de79b45ad39a48646a165be2
selected.csv · SHA-256 e0fbf53dac7e863b9625e750aa3e48c7561139613819bdf5c91de031a8362dcb
sites.csv · SHA-256 3cad286f92b14aa7b243b33e60ea0592a992a2b57b5c7534116463ab6b8b6bc8
study.json · SHA-256 6c3fdd6ef62f7ca9635da3d734f6ec8cd95d0c35dbadccd63efd5910676ffd1d

Evidence and scope

Exact frozen weighted assignment model only. No strict-metric/source-theorem eligibility, geographic validation or customer benefit is established.

Limits: 512 clients, 128 sites, eight MiB per file, sixteen MiB combined and 128-bit rational input components. Optional solver: two seconds, one worker; exact scales capped at one million and integer range capped conservatively.

Review JSON · File manifest