{
  "checker": {
    "claims": [
      {
        "claim": "Search every history",
        "command": "<guest-path> frobnicator",
        "evidence": "Resolved frobnicator timeout by raising connection pool limit\n",
        "expected": "Resolved frobnicator timeout by raising connection pool limit",
        "input": "frobnicator",
        "kind": "claim",
        "outcome": "Real input produced the expected result: Resolved frobnicator timeout by raising connection pool limit",
        "returncode": 0,
        "source": "Search every history.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "README and entry points inspected: this is an on-demand local history search/index CLI; no product scheduler or recurring cycle is provided.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "README and entry points inspected: this is an on-demand local history search/index CLI; no product scheduler or recurring cycle is provided.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "frobnicator"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "[claude] demo       \u00b7 - \u00b7 session \u2014 1 match\n  Resolved frobnicator timeout by raising connection pool limit",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Install deja and search indexed history",
        "command": "<guest-path> frobnicator",
        "deferred": false,
        "evidence": "[claude] demo       \u00b7 - \u00b7 session \u2014 1 match\n  Resolved frobnicator timeout by raising connection pool limit",
        "expected": "prints matching session and message",
        "input": "query frobnicator over local indexed session",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md / Install and CLI",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "deviations": [
    "The README's install pipeline is served via the repository's pinned snapshot installer instead of curl; DEJA_OFFLINE=1 and DEJA_NO_UPDATE_NOTICE=1 suppress update lookups during replay."
  ],
  "fault_owner": null,
  "main_blocker": null,
  "operation": "Installed deja from the repository installer, indexed a synthetic Claude session, and searched it with the documented CLI query.",
  "operation_scope": "Local CLI search with one indexed synthetic session; installer wired no agent because the VM had no agent configuration.",
  "outcome": "working",
  "plain_failure": null,
  "steps": [
    "Ran the repository install.sh into <guest-path>; installed deja v0.23.0.",
    "Ran <guest-path> install --auto.",
    "Indexed one local synthetic session and queried it with deja frobnicator; matching text was returned.",
    "Replayed probe, README claim, and example successfully with the checker."
  ],
  "stuck_step": null,
  "suggested_fix": null
}