{
  "status": "passed",
  "checks": [
    {
      "name": "generated-nine-job-heuristic-counterexample live solver returns a directly valid witness",
      "passed": true
    },
    {
      "name": "generated-nine-job-heuristic-counterexample independent optimum agrees with declared tiny-case value",
      "passed": true
    },
    {
      "name": "generated-nine-job-heuristic-counterexample existing solver already reaches exact optimum",
      "passed": true
    },
    {
      "name": "generated-nine-job-heuristic-counterexample deadline answer independently agrees",
      "passed": true
    },
    {
      "name": "generated-six-job-synchronization-bottleneck live solver returns a directly valid witness",
      "passed": true
    },
    {
      "name": "generated-six-job-synchronization-bottleneck independent optimum agrees with declared tiny-case value",
      "passed": true
    },
    {
      "name": "generated-six-job-synchronization-bottleneck existing solver already reaches exact optimum",
      "passed": true
    },
    {
      "name": "generated-six-job-synchronization-bottleneck deadline answer independently agrees",
      "passed": true
    },
    {
      "name": "generated-independent-18 live solver returns a directly valid witness",
      "passed": true
    },
    {
      "name": "generated-independent-18 independent optimum agrees with declared tiny-case value",
      "passed": true
    },
    {
      "name": "generated-independent-18 existing solver already reaches exact optimum",
      "passed": true
    },
    {
      "name": "generated-independent-18 deadline answer independently agrees",
      "passed": true
    },
    {
      "name": "generated-chain-18 live solver returns a directly valid witness",
      "passed": true
    },
    {
      "name": "generated-chain-18 independent optimum agrees with declared tiny-case value",
      "passed": true
    },
    {
      "name": "generated-chain-18 existing solver already reaches exact optimum",
      "passed": true
    },
    {
      "name": "generated-chain-18 deadline answer independently agrees",
      "passed": true
    },
    {
      "name": "generated-two-stage-barrier-12 live solver returns a directly valid witness",
      "passed": true
    },
    {
      "name": "generated-two-stage-barrier-12 independent optimum agrees with declared tiny-case value",
      "passed": true
    },
    {
      "name": "generated-two-stage-barrier-12 existing solver already reaches exact optimum",
      "passed": true
    },
    {
      "name": "generated-two-stage-barrier-12 deadline answer independently agrees",
      "passed": true
    },
    {
      "name": "generated-unbalanced-fork-8 live solver returns a directly valid witness",
      "passed": true
    },
    {
      "name": "generated-unbalanced-fork-8 independent optimum agrees with declared tiny-case value",
      "passed": true
    },
    {
      "name": "generated-unbalanced-fork-8 existing solver already reaches exact optimum",
      "passed": true
    },
    {
      "name": "generated-unbalanced-fork-8 deadline answer independently agrees",
      "passed": true
    },
    {
      "name": "generated-diamond-4 live solver returns a directly valid witness",
      "passed": true
    },
    {
      "name": "generated-diamond-4 independent optimum agrees with declared tiny-case value",
      "passed": true
    },
    {
      "name": "generated-diamond-4 existing solver already reaches exact optimum",
      "passed": true
    },
    {
      "name": "generated-diamond-4 deadline answer independently agrees",
      "passed": true
    },
    {
      "name": "generated-three-chains-12 live solver returns a directly valid witness",
      "passed": true
    },
    {
      "name": "generated-three-chains-12 independent optimum agrees with declared tiny-case value",
      "passed": true
    },
    {
      "name": "generated-three-chains-12 existing solver already reaches exact optimum",
      "passed": true
    },
    {
      "name": "generated-three-chains-12 deadline answer independently agrees",
      "passed": true
    },
    {
      "name": "invalid supplied candidate is recorded separately from valid new solver proposal",
      "passed": true
    },
    {
      "name": "solver optimum is not independently certified after finite-reference exhaustion",
      "passed": true
    },
    {
      "name": "invalid time limit 0",
      "passed": true
    },
    {
      "name": "invalid time limit -1",
      "passed": true
    },
    {
      "name": "invalid time limit 11",
      "passed": true
    },
    {
      "name": "invalid time limit True",
      "passed": true
    },
    {
      "name": "invalid time limit inf",
      "passed": true
    },
    {
      "name": "invalid time limit nan",
      "passed": true
    }
  ],
  "report": "research/prototypes/scheduling-existing-solver-comparison-2026-10-09-v1.json",
  "current_tool_hashes": [
    {
      "path": "/Users/bradleymutemi/Documents/ultimate/research/tools/validate_scheduling_baseline_2026_10_09.py",
      "sha256": "9f4b8f00c295a848e40a9c95a450d96faf2b24dad5fbf52601d3261077e20774"
    },
    {
      "path": "/Users/bradleymutemi/Documents/ultimate/research/tools/solve_and_audit_three_machine.py",
      "sha256": "8706abf5071c535dba05e3a2192eaf4cc5f0cfc8f68ffa0c4e7535f6cd2809ce"
    },
    {
      "path": "/Users/bradleymutemi/Documents/ultimate/research/tools/three_machine_reference.py",
      "sha256": "a3b808e5e2e9a686fbef79a7df13ac313933a2ff9f865a042f898a1ebb99e6c4"
    }
  ],
  "scope": "Live CP-SAT proposer/model integration plus independent tiny unit-job optima; no theorem-backend or commercial validation."
}