{
  "run_id": "sugarsweetrobotics--idl_parser-gpt-6-luna-1793172101798590337",
  "checker": {
    "claims": [
      {
        "claim": "The example parses an IDL module and displays its interface.",
        "command": "/tmp/idl-venv/bin/python examples/example.py",
        "evidence": "interface my_module::Calculator\n  long add(in long a, in long b)\n  void reset()\n  boolean divide(in double a, in double b, out double result)\n",
        "expected": "interface my_module::Calculator",
        "input": "examples/example.py",
        "kind": "claim",
        "outcome": "Real input produced the expected result: interface my_module::Calculator",
        "returncode": 0,
        "source": "Run them with e.g. `python examples/union_example.py` (in a source checkout no install is needed).",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README examples and package entrypoints; no scheduler, cron loop, webhook, or cycle trigger is documented.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README examples and package entrypoints; no scheduler, cron loop, webhook, or cycle trigger is documented.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "/tmp/idl-venv/bin/python",
        "examples/example.py"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "interface my_module::Calculator\n  long add(in long a, in long b)\n  void reset()\n  boolean divide(in double a, in double b, out double result)",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Run the smallest documented example",
        "command": "/tmp/idl-venv/bin/python examples/example.py",
        "deferred": false,
        "evidence": "interface my_module::Calculator\n  long add(in long a, in long b)\n  void reset()\n  boolean divide(in double a, in double b, out double result)",
        "expected": "Calculator interface summary",
        "input": "examples/example.py",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md Example",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}