{
  "run_id": "vitali87--code-graph-rag-claude-haiku-5-5-1792786733641133401",
  "checker": {
    "claims": [
      {
        "claim": "The graph is stored in an embedded SQLite file by default",
        "command": "<guest-path> mcp-server tools/call {\"tool\": \"resolve\", \"arguments\": {\"target\": \"serve_stdio\", \"project\": \"workspace__87bbb53e\"}}",
        "evidence": "workspace__87bbb53e.codebase_rag.mcp.server.serve_stdio\\\",\\n    \\\"path\\\": \\\"codebase_rag/mcp/server.py\\\",\\n    \\\"start_line\\\": 251,\\n    \\\"end_line\\\": 267\\n  }\\n]\"}], \"isError\": false}",
        "expected": "qualified name in the graph",
        "input": "{\"tool\": \"resolve\", \"arguments\": {\"target\": \"serve_stdio\", \"project\": \"workspace__87bbb53e\"}}",
        "kind": "claim",
        "outcome": "Real input produced the expected result: workspace__87bbb53e.codebase_rag.mcp.server.serve_stdio",
        "source": "The graph is stored in an embedded SQLite file by default.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      },
      {
        "claim": "Code-Graph-RAG runs as an MCP server",
        "command": "<guest-path> mcp-server tools/call {\"tool\": \"resolve\", \"arguments\": {\"target\": \"serve_stdio\", \"project\": \"workspace__87bbb53e\"}}",
        "evidence": "workspace__87bbb53e.codebase_rag.mcp.server.serve_stdio\\\",\\n    \\\"path\\\": \\\"codebase_rag/mcp/server.py\\\",\\n    \\\"start_line\\\": 251,\\n    \\\"end_line\\\": 267\\n  }\\n]\"}], \"isError\": false}",
        "expected": "tool result contains qualified name",
        "input": "{\"tool\": \"resolve\", \"arguments\": {\"target\": \"serve_stdio\", \"project\": \"workspace__87bbb53e\"}}",
        "kind": "claim",
        "outcome": "Real input produced the expected result: workspace__87bbb53e.codebase_rag.mcp.server.serve_stdio",
        "source": "Code-Graph-RAG runs as an [MCP](https://modelcontextprotocol.io) server",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "cgr watch (docs/guide/realtime-updates.md) runs until Ctrl+C and is a foreground watcher, not a scheduled or looping product cycle; no cron/--once trigger is documented, so no bounded cycle replay was run.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "cgr watch (docs/guide/realtime-updates.md) runs until Ctrl+C and is a foreground watcher, not a scheduled or looping product cycle; no cron/--once trigger is documented, so no bounded cycle replay was run.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "mcp-server"
      ],
      "kind": "mcp",
      "scope": "product operation",
      "serverInfo": {
        "name": "code-graph-rag",
        "version": "1.30.0"
      },
      "tool_result": {
        "content": [
          {
            "text": "[\n  {\n    \"label\": \"Function\",\n    \"qualified_name\": \"workspace__87bbb53e.codebase_rag.mcp.server.serve_stdio\",\n    \"path\": \"codebase_rag/mcp/server.py\",\n    \"start_line\": 251,\n    \"end_line\": 267\n  }\n]",
            "type": "text"
          }
        ],
        "isError": false
      },
      "tool_result_checked": true,
      "tool_schema_bytes": 33853,
      "tools": [
        "list_projects",
        "delete_project",
        "wipe_database",
        "index_repository",
        "update_repository",
        "reingest",
        "resolve",
        "definition",
        "callers",
        "callees",
        "implementors",
        "overrides",
        "annotate",
        "glosses",
        "importers",
        "tests_reaching",
        "endpoints",
        "endpoint_callers",
        "remote_dependencies",
        "rename",
        "context",
        "query_code_graph",
        "get_code_snippet",
        "surgical_replace_code",
        "read_file",
        "write_file",
        "list_directory",
        "structural_search",
        "structural_replace",
        "find_duplicate_code",
        "get_function_source",
        "ask_agent",
        "flow_verdict",
        "explain_traceback",
        "rank_root_causes"
      ],
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Real-time watcher",
        "command": "",
        "deferred": true,
        "evidence": "cgr watch is a long-running foreground process; it is not a bounded documented command and is covered by source inspection only.",
        "expected": "documented command completes successfully",
        "input": "",
        "kind": "example",
        "outcome": "cgr watch is a long-running foreground process; it is not a bounded documented command and is covered by source inspection only.",
        "source": "docs/guide/realtime-updates.md",
        "verdict": "deferred"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}