{
  "checker": {
    "claims": [
      {
        "claim": "Install the Python package",
        "command": "<guest-path> -m pip show jupyasyncclient",
        "evidence": "Version: 0.2.22\nSummary: Async kernel client for Jupyter Server via HTTP/WebSocket\nHome-page: \nAuthor: Jeremy Howard\nAuthor-email: \nLicense: \nLocation: <guest-path>\nEditable project location: <guest-path>\nRequires: fastcore, fastspec, fasttransport, jupywire, websockets\nRequired-by: \n",
        "expected": "Version: 0.2.22",
        "input": "installed package metadata",
        "kind": "claim",
        "outcome": "Real input produced the expected result: Version: 0.2.22",
        "returncode": 0,
        "source": "pip install jupyasyncclient",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README.md, DEV.md, tools/build.py, package modules, and tests; this library exposes client calls and documents no scheduler, cron, loop, webhook, --once, or --now cycle.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README.md, DEV.md, tools/build.py, package modules, and tests; this library exposes client calls and documents no scheduler, cron, loop, webhook, --once, or --now cycle.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "-m",
        "pip",
        "show",
        "jupyasyncclient"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "Name: jupyasyncclient\nVersion: 0.2.22\nSummary: Async kernel client for Jupyter Server via HTTP/WebSocket\nHome-page: \nAuthor: Jeremy Howard\nAuthor-email: \nLicense: \nLocation: <guest-path>\nEditable project location: <guest-path>\nRequires: fastcore, fastspec, fasttransport, jupywire, websockets\nRequired-by: ",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Install the documented package",
        "command": "<guest-path> -m pip show jupyasyncclient",
        "deferred": false,
        "evidence": "Name: jupyasyncclient\nVersion: 0.2.22\nSummary: Async kernel client for Jupyter Server via HTTP/WebSocket\nHome-page: \nAuthor: Jeremy Howard\nAuthor-email: \nLicense: \nLocation: <guest-path>\nEditable project location: <guest-path>\nRequires: fastcore, fastspec, fasttransport, jupywire, websockets\nRequired-by:",
        "expected": "Version: 0.2.22",
        "input": "pip install jupyasyncclient",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md, Install",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "deviations": [
    "Coldpass Python example replay cannot independently run the README notebook cells: it fails on top-level await and missing live session state. The actual documented behavior was run successfully manually; the replayed claim covers the README install instruction."
  ],
  "fault_owner": null,
  "main_blocker": null,
  "operation": "Install and exercise jupyasyncclient against a live Jupyter kernel",
  "operation_scope": "Python 3.12 venv with the README development extras, rustygate gateway, and ipymini kernel",
  "outcome": "working",
  "plain_failure": null,
  "steps": [
    "Read README.md and DEV.md",
    "Created .venv and installed the package and development extras with .venv/bin/python -m pip install -e '.[dev]'",
    "Started the documented rustygate gateway helper and executed print('hello'); 6*7 through JupyAsyncKernelClient; observed stream output 'hello\\n' and execute_reply status 'ok'",
    "Replayed the install claim and pip metadata operation successfully with the Coldpass checker"
  ],
  "stuck_step": null,
  "suggested_fix": null
}