{
  "run_id": "jirikuncar--sqlty-gpt-6-luna-1793119621534719689",
  "checker": {
    "claims": [
      {
        "claim": "sqlty rewrite wraps SQL queries with their inferred row type",
        "command": "",
        "evidence": "",
        "expected": "SQL[tuple[int, str]]",
        "input": "sample query to type",
        "kind": "claim",
        "outcome": "Claim needs an exact quote from source_file (default README.md).",
        "source": "`sqlty rewrite` and `strip` only touch the wrapper, never the SQL, so you can adopt\nsqlty one module at a time and back out.",
        "source_checked": false,
        "source_file": "README.md",
        "verdict": "blocked"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README and CLI entry points; sqlty performs explicit rewrite/check/strip commands and documents no scheduler or recurring cycle.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README and CLI entry points; sqlty performs explicit rewrite/check/strip commands and documents no scheduler or recurring cycle.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "rewrite",
        "<guest-path>"
      ],
      "blocker": "product invocation failed: {\"argv\": [\"<guest-path>\", \"rewrite\", \"<guest-path>\"], \"returncode\": 2, \"stdout\": \"\", \"stderr\": \"sqlty: error: path does not exist: <guest-path>\\n\", \"needs_credentials\": false, \"needs_browser\": false}",
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 2,
      "stderr": "sqlty: error: path does not exist: <guest-path>",
      "stdout": "",
      "working": false
    },
    "evidence_strength": "partly_checked",
    "example_checks": [
      {
        "claim": "README get started rewrite operation",
        "command": "<guest-path> rewrite <guest-path>",
        "deferred": false,
        "evidence": "sqlty: error: path does not exist: <guest-path>",
        "expected": "SQL typed query wrapper",
        "input": "queries.py containing the documented marked SQL query",
        "kind": "example",
        "outcome": "command exited with code 2",
        "returncode": 2,
        "source": "README.md, Get started",
        "verdict": "no"
      }
    ],
    "status": "FAIL"
  },
  "diagnosis": null
}