{ "checker": { "claims": [ { "claim": "EKOS exposes the read-only Runtime as an MCP server over stdio.", "command": " 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 ` 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": [ "", "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": " 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 \n artifacts: \n ledger: \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": " 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" }, "deviations": [ "The initial documented pipeline command exceeded the exec call ceiling after committing the ledger; persisted ledger was checked with status and an EKL query.", "The snapshot contained no Git metadata, so the requested pinned commit could not be fetched or verified. No product source files were changed." ], "fault_owner": null, "main_blocker": null, "operation": "Built EKOS from source, initialized and indexed the repository, and queried the compiled ledger with EKL.", "operation_scope": "README source build on Python 3.12.3 host with pinned Rust 1.98.0 and C build prerequisites; generated ledger lives in .ekos.", "outcome": "working", "plain_failure": null, "steps": [ "Installed README-required Linux prerequisites: build-essential, curl, git, pkg-config.", "Installed pinned Rust 1.98.0 with rustfmt and clippy using rustup.", "Ran README documented `cargo build --release --workspace` from ekos/ successfully.", "Ran README first-run `ekos init --detect` and `ekos build` successfully.", "Ran the documented compilation pipeline; ledger status reported 83,176 entries and 18,747 objects, and `ekos ekl \"FIND Object LIMIT 5\"` returned five rows.", "Validated and replayed probe, README claim, cycles, and examples with the supplied checker; all passed." ], "stuck_step": null, "suggested_fix": null }