{
  "run_id": "lmmx--mibz2-claude-haiku-5-5-1793133457078241352",
  "checker": {
    "claims": [
      {
        "claim": "Output is byte-for-byte libbzip2's and every block and stream CRC is checked",
        "command": "/tmp/rust-user/cargo/bin/cargo run --release --example windows -- /tmp/mibz-out/claim-1 /tmp/mibz-data/sample.txt.bz2",
        "evidence": "every block CRC checked: identical in libbzip2, lbzip2, mibz2 scalar, mibz2 simd, mibz2 simd 3t, mibz2 decode_blocks\n1 blocks, 5200 bytes, 0 windows failed\n    Finished `release` profile [optimized + debuginfo] target(s) in 0.21s\n     Running `target/release/examples/windows /tmp/mibz-out/claim-1 /tmp/mibz-data/sample.txt.bz2`\n",
        "expected": "decoded blocks identical in libbzip2 and lbzip2 with CRC checked",
        "input": "sample.txt.bz2 (bzip2 -9 of a 5200-byte text)",
        "kind": "claim",
        "outcome": "Real input produced the expected result: every block CRC checked: identical in libbzip2, lbzip2",
        "returncode": 0,
        "source": "Its output is byte for byte libbzip2's, and every block CRC and stream CRC is checked.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      },
      {
        "claim": "Documented windows example command decodes a .bz2 window file",
        "command": "/tmp/rust-user/cargo/bin/cargo run --release --example windows -- /tmp/mibz-out/claim-2 /tmp/mibz-data/sample.txt.bz2",
        "evidence": "1 blocks, 5200 bytes, 0 windows failed\n    Finished `release` profile [optimized + debuginfo] target(s) in 0.24s\n     Running `target/release/examples/windows /tmp/mibz-out/claim-2 /tmp/mibz-data/sample.txt.bz2`\n",
        "expected": "1 blocks, 5200 bytes, 0 windows failed",
        "input": "sample.txt.bz2",
        "kind": "claim",
        "outcome": "Real input produced the expected result: 1 blocks, 5200 bytes, 0 windows failed",
        "returncode": 0,
        "source": "cargo run --release --example windows -- OUT w.bin...",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README, src, examples, Justfile and .github workflows: mibz2 is a bzip2 decoder library and CLI-style examples (bzcat, windows); it has no scheduler, cron, daemon, loop, webhook, --once or --now entry point, so there is no product cycle to trigger.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README, src, examples, Justfile and .github workflows: mibz2 is a bzip2 decoder library and CLI-style examples (bzcat, windows); it has no scheduler, cron, daemon, loop, webhook, --once or --now entry point, so there is no product cycle to trigger.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "/tmp/rust-user/cargo/bin/cargo",
        "run",
        "--release",
        "--example",
        "windows",
        "--",
        "/tmp/mibz-out/probe",
        "/tmp/mibz-data/sample.txt.bz2"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "    Finished `release` profile [optimized + debuginfo] target(s) in 0.22s\n     Running `target/release/examples/windows /tmp/mibz-out/probe /tmp/mibz-data/sample.txt.bz2`",
      "stdout": "sample.txt: 1 whole blocks (bits 32..752), 1 streams ended, 5200 bytes decoded, every block CRC checked: identical in libbzip2, lbzip2, mibz2 scalar, mibz2 simd, mibz2 simd 3t, mibz2 decode_blocks\n1 blocks, 5200 bytes, 0 windows failed",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Repository Python test suite (CI pytest step) runs against the installed mibz2 package",
        "command": "/tmp/mibz-venv/bin/pytest -q --import-mode=importlib <guest-path>",
        "deferred": false,
        "evidence": "..............                                                           [100%]\n14 passed in 0.68s",
        "expected": "all tests pass",
        "input": "python/tests",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md ## Python",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}