{
  "run_id": "TayHCode--readtrial-claude-haiku-5-5-1792636554300450414",
  "checker": {
    "claims": [
      {
        "claim": "The offline demo writes real sample reports and a diff",
        "command": "python3 -m readtrial demo --out trial-results/claim-demo-checker-b39b79df7e874018bf168de50da2d8bb",
        "evidence": "diff.json: 1 resolved finding; evidence in before/ and after/.\n",
        "expected": "prints a FAIL then PASS loop and reports diff.json with one resolved finding",
        "input": "python3 -m readtrial demo --out trial-results/claim-demo",
        "kind": "claim",
        "outcome": "Real input produced the expected result: diff.json: 1 resolved finding",
        "returncode": 0,
        "source": "The demo finishes in under 20 seconds and writes real sample reports and a diff;",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected readtrial/cli.py, demo.py, verify.py and worker.py: no cron, schedule, --once, --now, webhook or polling loop for the product. The only loop is the offline demo (readtrial/demo.py), run by hand; rerun is a manual repeat. The while-loops in proxy.py and verify.py are internal I/O/agent loops, not product cycles.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected readtrial/cli.py, demo.py, verify.py and worker.py: no cron, schedule, --once, --now, webhook or polling loop for the product. The only loop is the offline demo (readtrial/demo.py), run by hand; rerun is a manual repeat. The while-loops in proxy.py and verify.py are internal I/O/agent loops, not product cycles.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "python3",
        "-m",
        "readtrial",
        "demo",
        "--out",
        "trial-results/probe-demo-checker-be05f64e4bd64997a6c880eb33f6d9d2"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "OFFLINE DEMO: fake agent and fake target; no model, SSH, LXC or repository execution.\nBefore: FAIL (README step exit 3; declared check failed)\nAfter: PASS (README step exit 0; declared check passed)\ndiff.json: 1 resolved finding; evidence in before/ and after/.",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Show the CLI help",
        "command": "python3 -m readtrial --help",
        "deferred": false,
        "evidence": "ires --yes\n    leftovers           read-only discovery of exact journaled identities;\n                        removes nothing\n    recover             delete only exact journal-owned LXC instances;\n                        requires --yes\n    rerun               repeat saved targets/checks against latest HEAD and\n                        diff advisory findings\n    demo                offline fake agent/target FAIL then PASS loop (under\n                        20 seconds)\n\noptions:\n  -h, --help            show this help message and exit\n  --version             show program's version number and exit",
        "expected": "usage text listing the subcommands",
        "input": "--help",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md Five-minute CLI quickstart (macOS)",
        "verdict": "yes"
      },
      {
        "claim": "Run the offline demo loop as documented",
        "command": "python3 -m readtrial demo --out trial-results/example-demo-checker-753d67285b894a7d850a233ba7f96fd5",
        "deferred": false,
        "evidence": "OFFLINE DEMO: fake agent and fake target; no model, SSH, LXC or repository execution.\nBefore: FAIL (README step exit 3; declared check failed)\nAfter: PASS (README step exit 0; declared check passed)\ndiff.json: 1 resolved finding; evidence in before/ and after/.",
        "expected": "Before FAIL, After PASS",
        "input": "--out trial-results/example-demo",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md Five-minute CLI quickstart (macOS)",
        "verdict": "yes"
      },
      {
        "claim": "Run the repository's offline unit suite as documented",
        "command": "python3 -m unittest discover -s tests -q",
        "deferred": false,
        "evidence": "(valid for 24 hours).\nssh:example: AGENT deviation: ignored added cd; selected the exact README command from the clone root: py -3 hello.py --name Check\n/private<guest-path>\nRecorded 0 requirements; Factory decides gate passage.\nreadtrial: previous run is incompatible or did not fetch source successfully\nreadtrial: --out must be a new folder beneath job.evidence_dir\nreadtrial: model and source hash overrides must match the supplied job\n----------------------------------------------------------------------\nRan 399 tests in 45.369s\n\nOK (skipped=11)",
        "expected": "OK with skipped tests on macOS",
        "input": "discover -s tests -q",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md Five-minute CLI quickstart (macOS)",
        "verdict": "yes"
      },
      {
        "claim": "Real isolated trial against an LXC or SSH target",
        "command": "",
        "deferred": false,
        "evidence": "Missing prerequisite: no Linux controller with LXD, no LXC target, and no dedicated macOS trial account (doctor exit 1, missing account, group, owned home, sudo attestation and SSH session). README says full macOS-controller trials are unverified; not run.",
        "expected": "documented command completes successfully",
        "input": "",
        "kind": "example",
        "outcome": "Missing prerequisite: no Linux controller with LXD, no LXC target, and no dedicated macOS trial account (doctor exit 1, missing account, group, owned home, sudo attestation and SSH session). README says full macOS-controller trials are unverified; not run.",
        "source": "README.md Isolated trials / Dedicated macOS test account",
        "verdict": "blocked"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}