{
  "run_id": "ModernRelay--omnigraph-claude-haiku-5-5-1792775373235323521",
  "checker": {
    "claims": [
      {
        "claim": "The built-in MCP server lets an agent connect to a running omnigraph server and call its tools.",
        "command": "<guest-path> --cluster /tmp/cb/company-data --bind 127.0.0.1:8080 tools/call {\"tool\": \"schema\", \"arguments\": {\"graph\": \"knowledge\"}}",
        "evidence": "edge Supports: Source -> Claim\\\\n\\\",\\\"system_columns\\\":{\\\"id\\\":\\\"__id\\\",\\\"src\\\":\\\"__src\\\",\\\"dst\\\":\\\"__dst\\\"},\\\"catalogue_source\\\":\\\"node @Operator {\\\\n    name: String @key\\\\n    inputs: [I64]\\\\n}\\\\n\\\\nnode @Pass {\\\\n    name: String @key\\\\n    position: I64\\\\n}\\\\n\\\\nnode @Setting {\\\\n    name: String @key\\\\n    kind: String\\\\n    default: String\\\\n    scope: String\\\\n}\\\\n\\\\nnode @Engine {\\\\n    version: String @key\\\\n    current_internal_schema_version: I64\\\\n    min_supported_internal_schema_version: I64\\\\n}\\\\n\\\\nnode @LogicalKind {\\\\n    name: String @key\\\\n    coverage: String\\\\n}\\\"}\"}], \"",
        "expected": "returns the declared Supports edge",
        "input": "{\"tool\": \"schema\", \"arguments\": {\"graph\": \"knowledge\"}}",
        "kind": "claim",
        "outcome": "Real input produced the expected result: edge Supports: Source -> Claim",
        "source": "connect an agent to the server's `/mcp`",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      },
      {
        "claim": "A --target ./graph.omni flag addresses a standalone local graph for querying.",
        "command": "<guest-path> query sources_for_claim --query queries.gq --params '{\"claim\":\"lower-latency\"}' --format table --target ./graph.omni",
        "evidence": "Load test report  \nProduction metrics\ntarget ./graph.omni (inline): direct graph /tmp/qs/graph.omni; requested=/tmp/qs/graph.omni; provider=Local\n",
        "expected": "returns the two source titles",
        "input": "stored query sources_for_claim on the local quickstart graph",
        "kind": "claim",
        "outcome": "Real input produced the expected result: Load test report",
        "returncode": 0,
        "source": "Use `--target ./graph.omni` for a standalone local graph.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Entry points inspected (README.md, docs/user/operations/server.md, docs/user/cli/reference.md, crates/*/src). omnigraph and omnigraph-server run on demand: a CLI command or a long-running request server with no internal scheduler, cron, --once or --now trigger. The only polling (two-second interval, reference.md) is a client-side wait for managed-cloud deployments, which this local setup does not use.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Entry points inspected (README.md, docs/user/operations/server.md, docs/user/cli/reference.md, crates/*/src). omnigraph and omnigraph-server run on demand: a CLI command or a long-running request server with no internal scheduler, cron, --once or --now trigger. The only polling (two-second interval, reference.md) is a client-side wait for managed-cloud deployments, which this local setup does not use.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "--cluster",
        "/tmp/cb/company-data",
        "--bind",
        "127.0.0.1:8080"
      ],
      "hosting": "local",
      "kind": "mcp_http",
      "protocolVersion": "2025-06-18",
      "scope": "remote hosted MCP initialize + tools/list",
      "serverInfo": {
        "name": "omnigraph-server",
        "version": "0.14.0"
      },
      "tool_result": {
        "content": [
          {
            "text": "{\"schema_source\":\"node Source {\\n  slug: String @key\\n  title: String\\n}\\n\\nnode Claim {\\n  slug: String @key\\n  statement: String\\n}\\n\\nedge Supports: Source -> Claim\\n\",\"system_columns\":{\"id\":\"__id\",\"src\":\"__src\",\"dst\":\"__dst\"},\"catalogue_source\":\"node @Operator {\\n    name: String @key\\n    inputs: [I64]\\n}\\n\\nnode @Pass {\\n    name: String @key\\n    position: I64\\n}\\n\\nnode @Setting {\\n    name: String @key\\n    kind: String\\n    default: String\\n    scope: String\\n}\\n\\nnode @Engine {\\n    version: String @key\\n    current_internal_schema_version: I64\\n    min_supported_internal_schema_version: I64\\n}\\n\\nnode @LogicalKind {\\n    name: String @key\\n    coverage: String\\n}\"}",
            "type": "text"
          }
        ],
        "isError": false,
        "structuredContent": {
          "catalogue_source": "node @Operator {\n    name: String @key\n    inputs: [I64]\n}\n\nnode @Pass {\n    name: String @key\n    position: I64\n}\n\nnode @Setting {\n    name: String @key\n    kind: String\n    default: String\n    scope: String\n}\n\nnode @Engine {\n    version: String @key\n    current_internal_schema_version: I64\n    min_supported_internal_schema_version: I64\n}\n\nnode @LogicalKind {\n    name: String @key\n    coverage: String\n}",
          "schema_source": "node Source {\n  slug: String @key\n  title: String\n}\n\nnode Claim {\n  slug: String @key\n  statement: String\n}\n\nedge Supports: Source -> Claim\n",
          "system_columns": {
            "dst": "__dst",
            "id": "__id",
            "src": "__src"
          }
        }
      },
      "tool_result_checked": true,
      "tool_schema_bytes": 12980,
      "tools": [
        "health",
        "graphs",
        "schema",
        "queries",
        "query",
        "snapshot",
        "access",
        "branches_list",
        "commits_list",
        "commits_get",
        "commits_changes",
        "changes_poll"
      ],
      "transport": "streamable-http",
      "url": "http://127.0.0.1:8080/mcp",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Validate a cluster bundle before deploying it",
        "command": "<guest-path> cluster validate --config /tmp/cb/company-brain",
        "deferred": false,
        "evidence": "cluster config valid: 5 resource(s), 4 dependency edge(s)\nWARN  external_blob_ingress_default_deny graphs.knowledge.external_blobs: effective policy is deny: new external Blob URI references will be rejected; existing stored references remain readable",
        "expected": "cluster config valid",
        "input": "/tmp/cb/company-brain",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "docs/user/clusters/index.md#bootstrap-a-cluster",
        "verdict": "yes"
      },
      {
        "claim": "Quickstart query returns the two sources supporting the claim",
        "command": "<guest-path> query sources_for_claim --query queries.gq --params '{\"claim\":\"lower-latency\"}' --format table --target ./graph.omni",
        "deferred": false,
        "evidence": "2 rows from branch main via sources_for_claim\nsource            \n------------------\nLoad test report  \nProduction metrics\ntarget ./graph.omni (inline): direct graph /tmp/qs/graph.omni; requested=/tmp/qs/graph.omni; provider=Local",
        "expected": "Load test report and Production metrics",
        "input": "sources_for_claim lower-latency",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "docs/user/quickstart.md#4-query",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}