{
  "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"
  },
  "deviations": [
    "Documented uv sync --all-groups failed building optional DuckDB because the C++ compiler process was killed for memory; installed only CLI and psycopg groups to run the documented useful operation."
  ],
  "fault_owner": "null",
  "main_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}",
  "operation": "sqlty rewrite inferred tuple row types for a marked SQL query",
  "operation_scope": "Python 3.15.1 runtime, source build, and documented rewrite operation",
  "outcome": "blocked",
  "plain_failure": null,
  "steps": [
    "Installed Python 3.14 and 3.15 with uv; source setup selected Python 3.15.",
    "Installed Rust stable 1.99.1 after system Cargo 1.75 could not parse lockfile v4.",
    "Installed project and documented CLI dependencies with uv sync --no-default-groups --group cli --group psycopg.",
    "Ran sqlty rewrite -v on a directory with the README SQL sample; it added the SQL import and SQL[tuple[int, str]] wrapper."
  ],
  "stuck_step": "<guest-path> rewrite <guest-path>",
  "suggested_fix": null
}