{
  "harness": "sj-harness 0.1.0",
  "job": "job:781b5b39354fa27d004ad3d22cf3ca56",
  "kind": "domain_review",
  "bundle": "sha256:1ad340cc60a3be28daaa0a4099af254a799d5d0d363a103e609dedc36a556bb8",
  "claims": [
    {
      "local_id": "C1",
      "claim_id": "claim:47025d7e838a9801f0841e77aea9cf7ae0ae97f76ba024defede16af23cb57aa",
      "verdict": "sound",
      "significance": "moderate",
      "reason": "The definitions match the cited graph problem, the exact submitted proof passes the Lean kernel with only standard axioms, and the cited prior work leaves the constructive case open."
    }
  ]
}