{
  "run_id": "Eeman1113--diskhalo-claude-haiku-5-5-1793018510198313080",
  "checker": {
    "claims": [
      {
        "claim": "The total example prints text totals for a directory",
        "command": "<guest-path> run --release --example total -- <guest-path>",
        "evidence": "dirs 1  files 9  unreadable 0\n      20.0 K  sunburst.rs\n      20.0 K  ui.rs\n      12.0 K  app.rs\n      12.0 K  main.rs\n      8.00 K  scan.rs\n      8.00 K  treemap.rs\n      4.00 K  canvas.rs\n      4.00 K  lib.rs\n      4.00 K  theme.rs\n    Finished `release` profile [optimized] target(s) in 0.97s\n     Running `target/release/examples/total <guest-path>\n",
        "expected": "text totals with directory and file counts",
        "input": "<guest-path>",
        "kind": "claim",
        "outcome": "Real input produced the expected result: dirs 1  files 9  unreadable 0",
        "returncode": 0,
        "source": "text totals, for cross-checking du",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      },
      {
        "claim": "A dev harness renders the TUI straight to an image",
        "command": "<guest-path> run --release --example preview -- synthetic <guest-path> sunburst",
        "evidence": "(960x640)\n",
        "expected": "image file written at 960x640",
        "input": "synthetic sunburst to <guest-path>",
        "kind": "claim",
        "outcome": "Real input produced the expected result: (960x640)",
        "returncode": 0,
        "source": "There's a dev harness that renders the TUI straight to an image",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Entry points inspected: src/main.rs is a one-shot TUI launcher (diskhalo [path]) with an event loop for keys/mouse only; README has no cron, schedule, --once, --now, watch, or webhook features. The examples are one-shot commands. No product cycle to trigger.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Entry points inspected: src/main.rs is a one-shot TUI launcher (diskhalo [path]) with an event loop for keys/mouse only; README has no cron, schedule, --once, --now, watch, or webhook features. The examples are one-shot commands. No product cycle to trigger.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "run",
        "--release",
        "--example",
        "total",
        "--",
        "<guest-path>"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "    Finished `release` profile [optimized] target(s) in 0.97s\n     Running `target/release/examples/total <guest-path>",
      "stdout": "disk            92.0 K (94208 bytes)\napparent        72.3 K (74086 bytes)\ndirs 1  files 9  unreadable 0\n      20.0 K  sunburst.rs\n      20.0 K  ui.rs\n      12.0 K  app.rs\n      12.0 K  main.rs\n      8.00 K  scan.rs\n      8.00 K  treemap.rs\n      4.00 K  canvas.rs\n      4.00 K  lib.rs\n      4.00 K  theme.rs",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Text totals example for cross-checking du",
        "command": "<guest-path> run --release --example total -- <guest-path>",
        "deferred": false,
        "evidence": "disk            92.0 K (94208 bytes)\napparent        72.3 K (74086 bytes)\ndirs 1  files 9  unreadable 0\n      20.0 K  sunburst.rs\n      20.0 K  ui.rs\n      12.0 K  app.rs\n      12.0 K  main.rs\n      8.00 K  scan.rs\n      8.00 K  treemap.rs\n      4.00 K  canvas.rs\n      4.00 K  lib.rs\n      4.00 K  theme.rs\n    Finished `release` profile [optimized] target(s) in 0.95s\n     Running `target/release/examples/total <guest-path>",
        "expected": "disk, apparent and per-file totals",
        "input": "<guest-path>",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md Build from source / dev harness section",
        "verdict": "yes"
      },
      {
        "claim": "Offline test suite from Build from source",
        "command": "<guest-path> test",
        "deferred": false,
        "evidence": "nside_and_tile ... ok\n\ntest result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s\n\n\nrunning 0 tests\n\ntest result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s\n\n\nrunning 0 tests\n\ntest result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s\n\n    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.99s\n     Running unittests src/lib.rs (target/debug/deps/diskhalo-5ceded7cead0c68e)\n     Running unittests src/main.rs (target/debug/deps/diskhalo-4889069a129222d1)\n   Doc-tests diskhalo",
        "expected": "all unit tests pass",
        "input": "cargo test",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md Build from source",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}