{
  "run_id": "TayHCode--fixledger-gpt-6-luna-1793108282090113916",
  "checker": {
    "claims": [
      {
        "claim": "check returns 0 for a new finding",
        "command": "<guest-path> check --file fixledger/__init__.py --symbol load --title 'Coldpass sample finding'",
        "evidence": "new finding\n",
        "expected": "new finding with exit code 0",
        "input": "fixledger/__init__.py, load, Coldpass sample finding",
        "kind": "claim",
        "outcome": "Real input produced the expected result: new finding",
        "returncode": 0,
        "source": "`check` exits with code 0 for a new finding and 3 for a known finding, including closed findings.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "README entry points provide direct CLI operations and hooks, with no scheduler, loop, webhook, or cycle trigger; documented proof workflow runs a finite sequence instead.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "README entry points provide direct CLI operations and hooks, with no scheduler, loop, webhook, or cycle trigger; documented proof workflow runs a finite sequence instead.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "check",
        "--file",
        "fixledger/__init__.py",
        "--symbol",
        "load",
        "--title",
        "Coldpass sample finding"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "new finding",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "README prove workflow",
        "command": "sh examples/prove.sh",
        "deferred": false,
        "evidence": "PASS add and duplicate share one ID\nPASS known check exits 3\nPASS fixed check exits 3 and reports fixed\nPASS different issue exits 0",
        "expected": "PASS workflow output",
        "input": "documented script invocation",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md / Prove the workflow",
        "verdict": "yes"
      },
      {
        "claim": "README fresh installation check",
        "command": "sh scripts/fresh_install.sh",
        "deferred": false,
        "evidence": "usage: fixledger [-h] [--version] [--ledger LEDGER]\n                 {add,check,fix,wontfix,reopen,list,hook,mcp} ...\n\nRemember findings before reporting or fixing them again.\n\npositional arguments:\n  {add,check,fix,wontfix,reopen,list,hook,mcp}\n\noptions:\n  -h, --help            show this help message and exit\n  --version             show program's version number and exit\n  --ledger LEDGER       ledger path; defaults to FIXLEDGER_FILE or the\n                        repository root\nPASS fresh venv, pip install ., fixledger --help",
        "expected": "installed CLI help",
        "input": "documented script invocation",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md / Prove the workflow",
        "verdict": "yes"
      },
      {
        "claim": "README privacy acceptance check",
        "command": "sh scripts/no_personal.sh",
        "deferred": false,
        "evidence": "PASS tracked files and git log contain no personal information",
        "expected": "privacy check passes",
        "input": "documented script invocation",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md / Prove the workflow",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}