{
  "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"
  },
  "deviations": [
    "git fetch with 'timeout' failed: macOS has no timeout command. Re-ran git fetch --depth 1 origin <pin> without it; succeeded, reset --mixed FETCH_HEAD to the pin.",
    "python3 -m readtrial doctor exited 1: missing dedicated macOS trial account, its group, owned home, sudo denial attestation and SSH session. Not created; the README says an administrator must do this.",
    "Real 'run' trials (--target lxc:ubuntu:24.04 or ssh:readtrial-mac) were not executed: no Linux controller with LXD and no trial account. Recorded as a blocked example.",
    "The unit suite printed 'Root-owned sudo denial attestation written' during its run; this came from the repository's own tests, not a manual action."
  ],
  "fault_owner": null,
  "main_blocker": null,
  "operation": "Run readtrial's documented macOS quickstart: CLI help, the offline demo FAIL-to-PASS loop, and the offline unit suite",
  "operation_scope": "macOS 26-style arm64 VM, Python 3.14.8 at /opt/homebrew/bin/python3 (README needs 3.11+), pinned commit 1662f23. Covers only the offline demo and unit tests. Real README trials against LXC or SSH targets were not run: they need a Linux controller with LXD or a dedicated macOS trial account, and the README calls macOS-controller trials unverified.",
  "outcome": "working",
  "plain_failure": null,
  "steps": [
    "python3 -m readtrial --help",
    "python3 -m readtrial demo --out trial-results/demo",
    "python3 -m unittest discover -s tests -q",
    "python3 -m readtrial doctor (read-only; exit 1 on missing macOS trial account)"
  ],
  "stuck_step": null,
  "suggested_fix": "None needed for the offline quickstart. To verify real trials, use a Linux controller with LXD and a quota-capable pool, or set up the dedicated macOS trial account per the README."
}
