OPTIMIZATION ASSURANCE · LOCAL BROWSER REVIEW
Capacities require explicit assignments
Submitted plan passes the declared checks
Objective units: demand units × cost units per demand unit
- Submitted cost
- 12
- Best checked cost
- 12
- Relaxed lower bound
- 4
- Best plan independently proven optimal?
- Unknown
Findings
- Selected IDs, required sites, assignment completeness and capacity loads passed exact checks.
Lower bound: Each client may use its cheapest candidate; opening count, required sites and capacities relaxed.
The best checked cost is at most 8 above the optimum. This bounds suboptimality; the actual difference from the optimum may be smaller.
Nearest-site reassignment rejected: Capacity exceeded at S0: load 4, capacity 2.
Submitted plan
Open sites: S0, S1
| Site | Assigned demand |
|---|
| S0 | 2 |
| S1 | 2 |
Assignments
Best checked plan
Open sites: S0, S1
| Site | Assigned demand |
|---|
| S0 | 2 |
| S1 | 2 |
Assignments
Scope and evidence
Exact frozen weighted assignment model only. No strict-metric/source-theorem eligibility, geographic validation or customer benefit is established.
No optimization solver ran in this browser review. It checks only the submitted plan and nearest-site alternative. Supplied provenance: Generated computational control; no customer or geographic data..
Provenance is not independently authenticated. Review sign-off: not supplied.
- study.json · 419 bytes · SHA-256 4ec921ee86dee83e0ef236f78ec9124d2ff8b5bfcc0c92a26eaa91b47801b015
- clients.csv · 27 bytes · SHA-256 ada84fbede9ebf46e1eacfa60f45056d62e7cd5c5d50ba6e9a6f28f669dc6526
- sites.csv · 48 bytes · SHA-256 76d941660529c4a05bddab90e09b6f7175b23e5e18b65f571e9c7272281bfa4f
- costs.csv · 60 bytes · SHA-256 4120811aaf5e90a9ff2a7b6e497a51fbe6692680fba4a870ef4d0c294f70331c
- selected.csv · 14 bytes · SHA-256 e0fbf53dac7e863b9625e750aa3e48c7561139613819bdf5c91de031a8362dcb
- assignments.csv · 30 bytes · SHA-256 92e08db4079de7c1eee8c2f726f0224e4eeb3b5dac502813fffefd1810a4f6cd
Generated 2026-10-09T02:12:59.247Z. Browser engine: 5d615fc81ab8caa3f7928e509f76507fcdeb31e0f54217aeeab6588edb62090e. Finite tests are not a formal program proof.