{
  "run_id": "alexeyban--EKOS-gpt-6-luna-1792781544657884037",
  "checker": {
    "claims": [
      {
        "claim": "EKOS exposes the read-only Runtime as an MCP server over stdio.",
        "command": "<guest-path> ekl 'FIND Object LIMIT 5'",
        "evidence": "5 row(s).\n",
        "expected": "EKOS returns five ledger objects from a real EKL query.",
        "input": "FIND Object LIMIT 5",
        "kind": "claim",
        "outcome": "Real input produced the expected result: 5 row(s).",
        "returncode": 0,
        "source": "`ekos mcp serve --workspace <dir>` exposes the read-only Runtime as a Model Context Protocol",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README entry points and product command list; EKOS runs explicit build/recover/resolve/compile/commit operations and exposes no scheduled recurring product cycle.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README entry points and product command list; EKOS runs explicit build/recover/resolve/compile/commit operations and exposes no scheduled recurring product cycle.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "ekl",
        "FIND Object LIMIT 5"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "id\tname\tkind\ndefd9fb5-1f4f-5ac0-b1ff-b2225b8f4a35\tassert_round_behaves\tRustSymbol\n6f72c6ac-8b64-5b8e-b6f5-9998c9a9a35d\tdevlogs/devlog_272.md \u00a7 Devlog 272 \u2014 Uninstall in the browser, Init & compile, first CI on Windows and macOS \u203a RFC 0189 \u2014 Init & compile \u203a What was built\tSection\n8babfa92-8815-5b07-b774-d681b55b288b\tekos/docs/rfcs/0196-lakehouse-monitoring.md \u00a7 RFC 0196 \u2014 EKOS Lakehouse M5: monitoring and self-serve \u203a Design \u203a 3. Surfaces\tSection\n97607ee0-8504-557d-b668-55580f7466d9\temit_model\tRustSymbol\n741f3c98-87d8-5d3f-bedb-72004f82bd5c\tsection_json\tRustSymbol\n\n5 row(s).",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "README first-run initialization detects workspace inputs",
        "command": "<guest-path> init --detect",
        "deferred": false,
        "evidence": "luded (not this project's own knowledge):\n    target             4476 file(s)\n\n  Not enabled automatically:\n    Documents found, `tesseract` not on PATH\n\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\nekos.toml already exists \u2014 skipping (pass --force to overwrite)\nInitialized .ekos/ workspace at <guest-path>\n  artifacts: <guest-path>\n  ledger:    <guest-path>\n\nNext: ekos build && ekos recover && ekos resolve && ekos compile && ekos commit\nThen: ekos coverage   \u2014 confirms every input kind actually produced objects.",
        "expected": "workspace inventory is printed and .ekos initialized",
        "input": "ekos init --detect in the checkout",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md \u00a7 Installation / First run",
        "verdict": "yes"
      },
      {
        "claim": "README EKL examples query compiled ledger objects",
        "command": "<guest-path> ekl 'FIND Object LIMIT 5'",
        "deferred": false,
        "evidence": "bd0-565d-a00d-77df678540b2\tdevlogs/devlog_5.md\tFile\n98f4c0a9-5cb7-518a-9078-700ed31789b4\t.gitignore\tFile\nd2e340e6-1683-5cfe-8ded-f4f4ca218c8a\tdevlogs/devlog_34.md \u00a7 Devlog 34 \u2014 RFC 0035 Phases 1\u20135: Markdown + HTML + Mermaid + LLM-prose generation from the compiled ledger \u203a Knowledge Captured\tSection\n7b2305b6-ba0c-53cc-beeb-097d14dd6a51\tdevlogs/devlog_46.md \u00a7 Devlog 46 \u2014 RFC 0046: OpenAI LLM provider, and what live-testing it against RFC 0045 found \u203a RFC 0046 \u2014 OpenAI LLM Provider \u203a Live-testing findings (not bugs in RFC 0046 \u2014 pre-existing `AiRuntime::ask` behavior) (part 2)\tSection\n\n5 row(s).",
        "expected": "Five ledger results",
        "input": "FIND Object LIMIT 5",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md \u00a7 From source, Verify the install; README.md \u00a7 AI agent access (MCP)",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}