{
  "checks": [
    {
      "name": "FEASIBLE incumbent plus exact dual proves optimum twelve",
      "passed": true
    },
    {
      "name": "no independent subsets needed",
      "passed": true
    },
    {
      "name": "every selected site and distance exactly checked",
      "passed": true
    },
    {
      "name": "invalid lambda refused",
      "passed": true
    }
  ],
  "scope": "Exact weak-duality witness on one generated line instance. No general solver advantage or formal source verification."
}