{
  "run_id": "TayHCode--release-check-claude-haiku-5-5-1792660434503412412",
  "checker": {
    "claims": [
      {
        "claim": "audit reports only a relative report locator",
        "command": "<guest-path> <guest-path> --denylist <guest-path> --reports <guest-path>",
        "evidence": "\"report\": \"workspace/20261022T101625.092749Z/report.json\"}\n",
        "expected": "JSON with a relative report path",
        "input": "audit of workspace with --scrub-plan omitted",
        "kind": "claim",
        "outcome": "Real input produced the expected result: \"report\": \"workspace/",
        "returncode": 2,
        "source": "prints only a relative report locator.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      },
      {
        "claim": "audit exit codes map to PASS/FAIL/INCOMPLETE",
        "command": "<guest-path> <guest-path> --denylist <guest-path> --reports <guest-path>",
        "evidence": "\"outcome\": \"INCOMPLETE\", \"ready\": false, \"counts\": {\"coverage\": 1, \"quality\": 1}, \"report\": \"workspace/20261022T101625.947714Z/report.json\"}\n",
        "expected": "exit 2 with INCOMPLETE outcome",
        "input": "audit of workspace without --verify",
        "kind": "claim",
        "outcome": "Real input produced the expected result: \"outcome\": \"INCOMPLETE\"",
        "returncode": 2,
        "source": "Exit codes: 0 = PASS, 1 = FAIL, 2 = INCOMPLETE.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Entry points inspected: release_check.py main() and README. The README states 'This tool starts no services or timers itself.' There is no cron, scheduler, loop, webhook, --once or --now option; each release-check invocation is a single audit run that exits with PASS/FAIL/INCOMPLETE. No product cycle exists, so no cycle check was run.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Entry points inspected: release_check.py main() and README. The README states 'This tool starts no services or timers itself.' There is no cron, scheduler, loop, webhook, --once or --now option; each release-check invocation is a single audit run that exits with PASS/FAIL/INCOMPLETE. No product cycle exists, so no cycle check was run.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "<guest-path>",
        "--denylist",
        "<guest-path>",
        "--reports",
        "<guest-path>"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 2,
      "scope": "product operation",
      "stderr": "",
      "stdout": "{\"outcome\": \"INCOMPLETE\", \"ready\": false, \"counts\": {\"coverage\": 1, \"quality\": 1}, \"report\": \"workspace/20261022T101624.211461Z/report.json\"}",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "offline CLI proof from the README Development section",
        "command": "<guest-path> -m unittest discover -s tests -p test_audit_rework.py -k _cli_ -v",
        "deferred": false,
        "evidence": "not_report_ready (test_audit_rework.ReworkTests.test_round_3_cli_second_unknown_file_cannot_report_ready) ... ok\ntest_round_3_cli_standard_apache_is_ready (test_audit_rework.ReworkTests.test_round_3_cli_standard_apache_is_ready) ... ok\ntest_round_3_cli_standard_weak_texts_are_ready (test_audit_rework.ReworkTests.test_round_3_cli_standard_weak_texts_are_ready) ... ok\ntest_v3_r2_cli_permissive_weak_and_unlabelled (test_audit_rework.ReworkTests.test_v3_r2_cli_permissive_weak_and_unlabelled) ... ok\n\n----------------------------------------------------------------------\nRan 18 tests in 135.057s\n\nOK",
        "expected": "all 18 CLI tests pass",
        "input": "unittest -k _cli_ subset",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md: Development / Offline CLI proof",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}