{
  "checker": {
    "claims": [
      {
        "claim": "The deterministic demo demonstrates stale input rejection and recomputation.",
        "command": "<guest-path> demo --directory <guest-path>",
        "evidence": "{\n  \"error\": \"ValueError\",\n  \"message\": \"The demo directory must be new or empty\"\n}",
        "expected": "stale output rejected atomically, refreshed output accepted",
        "input": "agentsql demo",
        "kind": "claim",
        "outcome": "Real input did not produce the expected result: Demo passed: stale output rejected atomically, refreshed output accepted.",
        "returncode": 1,
        "source": "The deterministic demo uses **simulated agent workers**, runs locally, and needs",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "no"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README product entry points and examples; AgentSQL is invoked per CLI/API operation and documents no scheduler, recurring loop, or webhook cycle.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README product entry points and examples; AgentSQL is invoked per CLI/API operation and documents no scheduler, recurring loop, or webhook cycle.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "demo",
        "--directory",
        "<guest-path>"
      ],
      "blocker": "product invocation failed: {\"argv\": [\"<guest-path>\", \"demo\", \"--directory\", \"<guest-path>\"], \"returncode\": 1, \"stdout\": \"\", \"stderr\": \"{\\n  \\\"error\\\": \\\"ValueError\\\",\\n  \\\"message\\\": \\\"The demo directory must be new or empty\\\"\\n}\\n\", \"needs_credentials\": false, \"needs_browser\": false}",
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 1,
      "stderr": "{\n  \"error\": \"ValueError\",\n  \"message\": \"The demo directory must be new or empty\"\n}",
      "stdout": "",
      "working": false
    },
    "evidence_strength": "partly_checked",
    "example_checks": [
      {
        "claim": "Run deterministic scenarios",
        "command": "<guest-path> examples/scenarios.py --directory <guest-path>",
        "deferred": false,
        "evidence": "ERROR: The scenario directory must be new or empty and not a symlink",
        "expected": "11 deterministic scenarios",
        "input": "python examples/scenarios.py",
        "kind": "example",
        "outcome": "command exited with code 1",
        "returncode": 1,
        "source": "README.md: Install and run",
        "verdict": "no"
      }
    ],
    "status": "FAIL"
  },
  "deviations": [],
  "fault_owner": null,
  "main_blocker": "product invocation failed: {\"argv\": [\"<guest-path>\", \"demo\", \"--directory\", \"<guest-path>\"], \"returncode\": 1, \"stdout\": \"\", \"stderr\": \"{\\n  \\\"error\\\": \\\"ValueError\\\",\\n  \\\"message\\\": \\\"The demo directory must be new or empty\\\"\\n}\\n\", \"needs_credentials\": false, \"needs_browser\": false}",
  "operation": "Run AgentSQL deterministic demo and scenarios",
  "operation_scope": "Python 3.12 venv; package installed from checkout; local SQLite only",
  "outcome": "blocked",
  "plain_failure": null,
  "steps": [
    "python3 -m venv .venv",
    ".venv/bin/python -m pip install .",
    ".venv/bin/agentsql demo --directory ./demo-output",
    ".venv/bin/python examples/scenarios.py --directory .coldpass/scenarios"
  ],
  "stuck_step": "<guest-path> demo --directory <guest-path>",
  "suggested_fix": null
}