{
  "run_id": "Eeman1113--diskhalo-gpt-6-luna-1793018827803433928",
  "checker": {
    "claims": [
      {
        "claim": "The example reports text totals for a directory scan.",
        "command": "cargo run --release --example total -- .",
        "evidence": "dirs 169  files 809  unreadable 0\n       155 M  target/\n      1.72 M  assets/\n      92.0 K  src/\n      48.0 K  Cargo.lock\n      24.0 K  .coldpass/\n      12.0 K  examples/\n      8.00 K  README.md\n      4.00 K  .github/\n      4.00 K  .gitignore\n      4.00 K  Cargo.toml\n    Finished `release` profile [optimized] target(s) in 0.88s\n     Running `target/release/examples/total .`\n",
        "expected": "Output includes disk and apparent totals with directory and file counts.",
        "input": ".",
        "kind": "claim",
        "outcome": "Real input produced the expected result: dirs",
        "returncode": 0,
        "source": "cargo run --release --example total -- ~/Downloads                    # text totals, for cross-checking du",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README usage and source entry points; diskhalo performs one scan and remains an interactive terminal viewer, with no scheduling or cycle trigger documented.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README usage and source entry points; diskhalo performs one scan and remains an interactive terminal viewer, with no scheduling or cycle trigger documented.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "cargo",
        "run",
        "--release",
        "--example",
        "total",
        "--",
        "."
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "    Finished `release` profile [optimized] target(s) in 0.88s\n     Running `target/release/examples/total .`",
      "stdout": "disk             157 M (165036032 bytes)\napparent         155 M (162645792 bytes)\ndirs 169  files 809  unreadable 0\n       155 M  target/\n      1.72 M  assets/\n      92.0 K  src/\n      48.0 K  Cargo.lock\n      24.0 K  .coldpass/\n      12.0 K  examples/\n      8.00 K  README.md\n      4.00 K  .github/\n      4.00 K  .gitignore\n[excerpt truncated]",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Print text totals for the workspace scan.",
        "command": "cargo run --release --example total -- .",
        "deferred": false,
        "evidence": "disk             157 M (165036032 bytes)\napparent         155 M (162645792 bytes)\ndirs 169  files 809  unreadable 0\n       155 M  target/\n      1.72 M  assets/\n      92.0 K  src/\n      48.0 K  Cargo.lock\n      24.0 K  .coldpass/\n      12.0 K  examples/\n      8.00 K  README.md\n      4.00 K  .github/\n      4.00 K  .gitignore\n      4.00 K  Cargo.toml\n    Finished `release` profile [optimized] target(s) in 0.91s\n     Running `target/release/examples/total .`",
        "expected": "Totals plus directory and file counts",
        "input": ".",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md / Build from source",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}
