{
  "run_id": "TayHCode--fixledger-claude-haiku-5-5-1793102422066544268",
  "date": "2026-10-27T12:04:56.730854+00:00",
  "repo": "TayHCode/fixledger",
  "kind": "mcp",
  "source": "https://github.com/TayHCode/fixledger",
  "commit": "d2b1cdf257f50709f6a05ccfda57adf9be6a5af2",
  "model": "claude-haiku-5-5",
  "model_version": "claude-haiku-5-5",
  "test_version": "readme-d5b140d3c0f8b95c2dd6fe6fc381a303cacb92679582c22317d8e78b572f0cf2",
  "pass": true,
  "outcome": "pass",
  "time_to_working_s": 231.4219804899767,
  "total_s": 274.6642253398895,
  "steps": [
    "cd <guest-path> && ls -la && cat README.md 2>/dev/null | head -c 6000; echo; id -u; python3 --version; echo $CDP_URL",
    "cd <guest-path> && python3 -m venv .venv && . .venv/bin/activate && python3 -m pip install . 2>&1 | tail -5; echo EXIT=$?; fixledger --help 2>&1 | head -30",
    "cd <guest-path> && . .venv/bin/activate && sh examples/prove.sh; echo EXIT=$?; python3 -m unittest discover -s tests 2>&1 | tail -4; echo EXIT=$?",
    "cd <guest-path> && cat scripts/fresh_install.sh; echo ----; cat scripts/no_personal.sh; echo ----; ls examples .coldpass; cat .gitignore",
    "cd <guest-path> && sh scripts/fresh_install.sh; echo EXIT=$?",
    "cd <guest-path> && git init -q && git remote add origin https://github.com/TayHCode/fixledger && git fetch --depth 1 origin d2b1cdf257f50709f6a05ccfda57adf9be6a5af2 2>&1 | tail -3; echo FETCH=$?; git reset --mixed FETCH_HEAD 2>&1; git log --oneline -1 2>&1; git status --short | head -20",
    "cd <guest-path> && sh scripts/no_personal.sh; echo EXIT=$?",
    "mkdir -p <guest-path> && cd <guest-path> && export FIXLEDGER_FILE=<guest-path> && F=.venv/bin/fixledger && $F check --file app.py --symbol load --title 'Missing input validation'; echo CHECK=$?; $F add --file app.py --symbol load --title 'Missing input validation' --severity high; echo ADD=$?; $F list; echo LIST=$?; $F check --file app.py --symbol load --title 'Missing input validation'; echo CHECK2=$?",
    "cd <guest-path> && export FIXLEDGER_FILE=<guest-path> && F=.venv/bin/fixledger && $F fix 689e2d2000 --note 'Validate input before parsing'; echo FIX=$?; $F list --status fixed --json; echo LISTJ=$?; $F check --file app.py --symbol load --title 'Missing input validation'; echo CHECK3=$?; printf '%s\\n' '{\"jsonrpc\":\"2.0\",\"id\":1,\"method\":\"initialize\",\"params\":{\"protocolVersion\":\"2024-11-05\",\"capabilities\":{},\"clientInfo\":{\"name\":\"t\",\"version\":\"1\"}}}' '{\"jsonrpc\":\"2.0\",\"method\":\"notifications/initialized\"}' '{\"jsonrpc\":\"2.0\",\"id\":2,\"method\":\"tools/call\",\"params\":{\"name\":\"ledger_list\",\"arguments\":{\"status\":\"fixed\"}}}' | $F mcp; echo MCP=$?",
    "cd <guest-path> && export FIXLEDGER_FILE=<guest-path> && echo '{\"hook_event_name\":\"SessionStart\",\"cwd\":\"<guest-path>\"}' | .venv/bin/fixledger hook; echo HOOK=$?; grep -rniE \"sleep|while True|schedule|cron|--once|--now|webhook|daemon\" fixledger/ README.md | head; echo GREP=$?; grep -n \"def hook\\|def main\\|def cmd_hook\\|PreCompact\" fixledger/*.py | head",
    "cd <guest-path> && F=.venv/bin/fixledger && FIXLEDGER_FILE=<guest-path> $F check --file app.py --symbol load --title 'Missing input validation'; echo CHK=$?; ls <guest-path>; printf '%s\\n' '{\"jsonrpc\":\"2.0\",\"id\":1,\"method\":\"initialize\",\"params\":{\"protocolVersion\":\"2024-11-05\",\"capabilities\":{},\"clientInfo\":{\"name\":\"t\",\"version\":\"1\"}}}' '{\"jsonrpc\":\"2.0\",\"method\":\"notifications/initialized\"}' '{\"jsonrpc\":\"2.0\",\"id\":2,\"method\":\"tools/call\",\"params\":{\"name\":\"ledger_add\",\"arguments\":{\"file\":\"app.py\",\"symbol\":\"load\",\"title\":\"Missing input validation\",\"severity\":\"high\"}}}' | FIXLEDGER_FILE=<guest-path> $F mcp; echo MCP=$?",
    "cd <guest-path> && mkdir -p .coldpass && cat > .coldpass/probe.json <<'EOF'\n{\"kind\":\"mcp\",\"argv\":[\"<guest-path>\",\"mcp\"],\"cwd\":\"<guest-path>\",\"tool\":\"ledger_add\",\"arguments\":{\"file\":\"app.py\",\"symbol\":\"load\",\"title\":\"Missing input validation\",\"severity\":\"high\"},\"env\":{\"FIXLEDGER_FILE\":\"<guest-path>\"},\"expected_text\":\"689e2d2000\"}\nEOF\ncat > .coldpass/claims.json <<'EOF'\n[\n{\"kind\":\"claim\",\"claim\":\"MCP ledger_add returns a finding ID as JSON text\",\"source\":\"Tool results contain JSON text.\",\"input\":\"app.py load Missing input validation high\",\"expected\":\"ID 689e2d2000 in tool result\",\"probe_kind\":\"mcp\",\"argv\":[\"<guest-path>\",\"mcp\"],\"tool\":\"ledger_add\",\"arguments\":{\"file\":\"app.py\",\"symbol\":\"load\",\"title\":\"Missing input validation\",\"severity\":\"high\"},\"env\":{\"FIXLEDGER_FILE\":\"<guest-path>\"},\"expected_text\":\"689e2d2000\",\"cwd\":\"<guest-path>\"},\n{\"kind\":\"claim\",\"claim\":\"add prints the ID\",\"source\":\"`add` prints the ID and preserves an existing entry when you add the same finding again.\",\"input\":\"add app.py load Missing input validation high\",\"expected\":\"prints ID 689e2d2000\",\"probe_kind\":\"cli\",\"argv\":[\"<guest-path>\",\"add\",\"--file\",\"app.py\",\"--symbol\",\"load\",\"--title\",\"Missing input validation\",\"--severity\",\"high\"],\"env\":{\"FIXLEDGER_FILE\":\"<guest-path>\"},\"expected_text\":\"689e2d2000\",\"cwd\":\"<guest-path>\"},\n{\"kind\":\"claim\",\"claim\":\"check reports a new finding with exit 0\",\"source\":\"`check` exits with code 0 for a new finding and 3 for a known finding, including closed findings.\",\"input\":\"check on empty ledger\",\"expected\":\"new finding, exit 0\",\"probe_kind\":\"cli\",\"argv\":[\"<guest-path>\",\"check\",\"--file\",\"app.py\",\"--symbol\",\"load\",\"--title\",\"Missing input validation\"],\"env\":{\"FIXLEDGER_FILE\":\"<guest-path>\"},\"expected_text\":\"new finding\",\"cwd\":\"<guest-path>\"},\n{\"kind\":\"claim\",\"claim\":\"hook returns hookSpecificOutput for SessionStart\",\"source\":\"For SessionStart and PreCompact it returns `hookSpecificOutput` with the event name and an `additionalContext` reminder listing fixed and wontfix findings.\",\"input\":\"SessionStart event JSON with cwd and a fixed finding in ledger\",\"expected\":\"hookSpecificOutput JSON with additionalContext\",\"probe_kind\":\"cli\",\"argv\":[\"<guest-path>\",\"hook\"],\"stdin\":\"{\\\"hook_event_name\\\":\\\"SessionStart\\\",\\\"cwd\\\":\\\"<guest-path>\\\"}\",\"env\":{\"FIXLEDGER_FILE\":\"<guest-path>\"},\"expected_text\":\"hookSpecificOutput\",\"cwd\":\"<guest-path>\"}\n]\nEOF\npython3 -I -c 'import json;json.load(open(\".coldpass/claims.json\"));json.load(open(\".coldpass/probe.json\"));print(\"ok\")'",
    "cd <guest-path> && cat > .coldpass/examples.json <<'EOF'\n[\n{\"kind\":\"example\",\"claim\":\"Proof workflow in a temporary Git repo\",\"source\":\"README.md ## Prove the workflow\",\"input\":\"sh examples/prove.sh\",\"expected\":\"four PASS lines\",\"argv\":[\"sh\",\"examples/prove.sh\"],\"cwd\":\"<guest-path>\",\"env\":{},\"expected_text\":\"PASS fixed check exits 3 and reports fixed\"},\n{\"kind\":\"example\",\"claim\":\"Unit tests\",\"source\":\"README.md ## Prove the workflow\",\"input\":\"python3 -m unittest discover -s tests\",\"expected\":\"18 tests pass\",\"argv\":[\"python3\",\"-m\",\"unittest\",\"discover\",\"-s\",\"tests\"],\"cwd\":\"<guest-path>\",\"env\":{}},\n{\"kind\":\"example\",\"claim\":\"Fresh install check\",\"source\":\"README.md ## Prove the workflow\",\"input\":\"sh scripts/fresh_install.sh\",\"expected\":\"PASS fresh venv, pip install ., fixledger --help\",\"argv\":[\"sh\",\"scripts/fresh_install.sh\"],\"cwd\":\"<guest-path>\",\"env\":{},\"expected_text\":\"PASS fresh venv, pip install ., fixledger --help\"},\n{\"kind\":\"example\",\"claim\":\"Privacy check\",\"source\":\"README.md ## Prove the workflow\",\"input\":\"sh scripts/no_personal.sh\",\"expected\":\"PASS tracked files and git log contain no personal information\",\"argv\":[\"sh\",\"scripts/no_personal.sh\"],\"cwd\":\"<guest-path>\",\"env\":{},\"expected_text\":\"PASS tracked files and git log contain no personal information\"}\n]\nEOF\ncat > .coldpass/cycles.json <<'EOF'\n{\"detected\":false,\"reason\":\"Entry points inspected: fixledger CLI (add/check/fix/wontfix/reopen/list), hook (single stdin event per Claude Code SessionStart/PreCompact invocation), and mcp (stdio JSON-RPC loop driven by the client). No scheduler, cron, loop, --once/--now, or webhook trigger exists in the source or README; grep for sleep/while True/schedule/cron/daemon found nothing.\",\"checks\":[]}\nEOF\nmkdir -p .coldpass && cat > .coldpass/report.json <<'EOF'\n{\"outcome\":\"working\",\"fault_owner\":null,\"operation\":\"Record, check, fix, list, and serve findings with the fixledger CLI and MCP server\",\"operation_scope\":\"Local, Python 3.12.3 in a venv from the README install command; no external services, no browser, no credentials\",\"steps\":[\"python3 -m venv .venv\",\". .venv/bin/activate && python3 -m pip install .\",\"fixledger --help\",\"sh examples/prove.sh\",\"python3 -m unittest discover -s tests\",\"sh scripts/fresh_install.sh\",\"sh scripts/no_personal.sh\",\"fixledger check/add/fix/list --status fixed --json\",\"fixledger mcp (tools/call ledger_add and ledger_list)\",\"fixledger hook (SessionStart)\"],\"deviations\":[\"Workspace had no Git metadata; ran git init, remote add origin, fetch --depth 1 of d2b1cdf, reset --mixed FETCH_HEAD as the task specified, needed by scripts/no_personal.sh.\",\"Venv not activated for every call; used absolute <guest-path> in probes and claims.\",\"Ledgers for manual and replay runs use <guest-path> via FIXLEDGER_FILE, not the checkout.\",\"README says check on a known finding exits 3; the CLI prints nothing on that path, so it was verified by exit code only.\",\"No product cycle exists, so cycles.json is detected:false.\"],\"stuck_step\":null,\"main_blocker\":null,\"plain_failure\":null,\"suggested_fix\":null}\nEOF\nfor f in examples cycles report; do python3 -I -c \"import json,sys;json.load(open('.coldpass/$f.json'));print('$f ok')\"; done",
    "cd <guest-path> && <env-var>=<guest-path> python3 -I <guest-path> --validate --replay 2>&1 | tail -60; echo EXIT=${PIPESTATUS[0]}",
    "grep -n \"env\" <guest-path> | head -60",
    "sed -n 862,880p <guest-path>; echo ----; sed -n 1178,1190p <guest-path>; echo ----; sed -n 200,210p <guest-path>; echo ----; sed -n 655,666p <guest-path>",
    "cd <guest-path> && F=<guest-path> && cat > .coldpass/probe.json <<'EOF'\n{\"kind\":\"mcp\",\"argv\":[\"<guest-path>\",\"mcp\"],\"cwd\":\"<guest-path>\",\"tool\":\"ledger_add\",\"arguments\":{\"file\":\"app.py\",\"symbol\":\"load\",\"title\":\"Missing input validation\",\"severity\":\"high\"},\"expected_text\":\"689e2d2000\"}\nEOF\ncat > .coldpass/claims.json <<'EOF'\n[\n{\"kind\":\"claim\",\"claim\":\"MCP ledger_add returns a finding ID as JSON text\",\"source\":\"Tool results contain JSON text.\",\"input\":\"app.py load Missing input validation high\",\"expected\":\"ID 689e2d2000 in tool result\",\"probe_kind\":\"mcp\",\"argv\":[\"<guest-path>\",\"mcp\"],\"tool\":\"ledger_add\",\"arguments\":{\"file\":\"app.py\",\"symbol\":\"load\",\"title\":\"Missing input validation\",\"severity\":\"high\"},\"expected_text\":\"689e2d2000\",\"cwd\":\"<guest-path>\"},\n{\"kind\":\"claim\",\"claim\":\"add prints the ID\",\"source\":\"`add` prints the ID and preserves an existing entry when you add the same finding again.\",\"input\":\"add app.py load Missing input validation high\",\"expected\":\"prints ID 689e2d2000\",\"probe_kind\":\"cli\",\"argv\":[\"<guest-path>\",\"--ledger\",\"<guest-path>\",\"add\",\"--file\",\"app.py\",\"--symbol\",\"load\",\"--title\",\"Missing input validation\",\"--severity\",\"high\"],\"expected_text\":\"689e2d2000\",\"cwd\":\"<guest-path>\"},\n{\"kind\":\"claim\",\"claim\":\"check reports a new finding with exit 0\",\"source\":\"`check` exits with code 0 for a new finding and 3 for a known finding, including closed findings.\",\"input\":\"check on empty ledger\",\"expected\":\"new finding, exit 0\",\"probe_kind\":\"cli\",\"argv\":[\"<guest-path>\",\"--ledger\",\"<guest-path>\",\"check\",\"--file\",\"app.py\",\"--symbol\",\"load\",\"--title\",\"Missing input validation\"],\"expected_text\":\"new finding\",\"cwd\":\"<guest-path>\"},\n{\"kind\":\"claim\",\"claim\":\"hook returns hookSpecificOutput for SessionStart\",\"source\":\"For SessionStart and PreCompact it returns `hookSpecificOutput` with the event name and an `additionalContext` reminder listing fixed and wontfix findings.\",\"input\":\"SessionStart event JSON with cwd and a fixed finding in ledger\",\"expected\":\"hookSpecificOutput JSON with additionalContext\",\"probe_kind\":\"cli\",\"argv\":[\"<guest-path>\",\"--ledger\",\"<guest-path>\",\"hook\"],\"stdin\":\"{\\\"hook_event_name\\\":\\\"SessionStart\\\",\\\"cwd\\\":\\\"<guest-path>\\\"}\",\"expected_text\":\"hookSpecificOutput\",\"cwd\":\"<guest-path>\"}\n]\nEOF\nsed -i 's#\"argv\":\\[\"sh\",\"examples/prove.sh\"\\]#&#' .coldpass/examples.json; python3 -I -c \"import json;[json.load(open('.coldpass/'+f)) for f in ['claims.json','probe.json']];print('ok')\"; sed -i 's#\"argv\":\\[\"python3\",\"-m\",\"unittest\",\"discover\",\"-s\",\"tests\"\\],\"cwd\":\"<guest-path>\",\"env\":{}}#\"argv\":[\"python3\",\"-m\",\"unittest\",\"discover\",\"-s\",\"tests\"],\"cwd\":\"<guest-path>\",\"env\":{}}#' .coldpass/examples.json; ls <guest-path>",
    "cd <guest-path> && <env-var>=<guest-path> python3 -I <guest-path> --validate --replay > <guest-path> 2>&1; echo EXIT=$?; python3 -I -c \"\nimport json\nd=json.load(open('<guest-path>'))\nprint('valid', d.get('valid'))\nprint('problems', d.get('problems'))\nr=d.get('replay',{}).get('details',{})\nfor c in r.get('claims',[]): print('CLAIM', c.get('claim'), c.get('verdict'), c.get('outcome'))\nfor c in r.get('example_checks',[]): print('EX', c.get('claim'), c.get('verdict'), c.get('returncode'))\n\" 2>&1 | head -40",
    "cd <guest-path> && cat > .coldpass/report.json <<'EOF'\n{\"outcome\":\"working\",\"fault_owner\":null,\"operation\":\"Record, check, close, list and serve findings with the fixledger CLI and MCP server\",\"operation_scope\":\"Local, Python 3.12.3 venv per README install; no external services, no browser, no credentials\",\"steps\":[\"python3 -m venv .venv\",\"python3 -m pip install . (inside activated .venv)\",\"fixledger --help\",\"sh examples/prove.sh\",\"python3 -m unittest discover -s tests\",\"sh scripts/fresh_install.sh\",\"sh scripts/no_personal.sh\",\"fixledger add / check / fix / list --status fixed --json\",\"fixledger mcp (tools/call ledger_add, ledger_list)\",\"fixledger hook (SessionStart)\"],\"deviations\":[\"Workspace had no Git metadata; ran git init, git remote add origin https://github.com/TayHCode/fixledger, git fetch --depth 1 origin d2b1cdf257f50709f6a05ccfda57adf9be6a5af2, git reset --mixed FETCH_HEAD, as the task specified. Needed by scripts/no_personal.sh.\",\"Did not keep the venv activated between calls; probes and claims use the absolute <guest-path>\",\"First replay failed on my evidence setup, not the product: the checker applies an MCP probe's env to the process environment for all later steps, and ignores per-claim env for CLI claims. I removed env from the MCP probe and passed ledger paths with the README's documented --ledger PATH option. Replay is then valid with no problems.\",\"README says check on a known finding exits 3; the CLI prints nothing on that path, so it was verified by exit code only in manual runs.\",\"No product cycle exists (no scheduler/loop/--once/--now/webhook), so cycles.json is detected:false.\"],\"stuck_step\":null,\"main_blocker\":null,\"plain_failure\":null,\"suggested_fix\":null}\nEOF\npython3 -I -c \"import json;json.load(open('.coldpass/report.json'));print('report ok')\"; ls -la .coldpass; git status --short"
  ],
  "stuck_step": null,
  "error_excerpt": null,
  "what_it_did": "Record, check, close, list and serve findings with the fixledger CLI and MCP server",
  "suggested_fix": null,
  "tokens_in": 450633,
  "tokens_out": 21396,
  "cost_usd": 0.022799949999999996,
  "usage_complete": true,
  "checks": [
    {
      "check": "operation",
      "status": "PASS",
      "details": {
        "working": true,
        "argv": [
          "<guest-path>",
          "mcp"
        ],
        "kind": "mcp",
        "serverInfo": {
          "name": "fixledger",
          "version": "0.1.0"
        },
        "tools": [
          "ledger_check",
          "ledger_add",
          "ledger_close",
          "ledger_list"
        ],
        "tool_schema_bytes": 1292,
        "tool_result": {
          "content": [
            {
              "type": "text",
              "text": "{\"file\": \"app.py\", \"file_hash\": \"\", \"first_seen\": \"2026-10-27T12:03:52.949744+00:00\", \"id\": \"689e2d2000\", \"note\": \"\", \"rev\": \"\", \"severity\": \"high\", \"status\": \"open\", \"symbol\": \"load\", \"title\": \"Missing input validation\", \"updated\": \"2026-10-27T12:03:52.949744+00:00\"}"
            }
          ],
          "isError": false
        },
        "tool_result_checked": true,
        "scope": "product operation"
      }
    }
  ],
  "safety": {
    "version": "z2x-1",
    "rules_version": "z2x-1",
    "summary": "No problems traced to this repository code in these checks.",
    "expected": "Reviewed as expected for a test run: a Python interpreter or package manager probed its own interpreter file under a system program folder; attempted writes that failed, so nothing was written.",
    "findings": [],
    "context": [],
    "limitations": [
      "A short run cannot establish that code is safe.",
      "Connections show IP addresses; proxies can hide the final hostname.",
      "Tracing covers dispatched commands and their children, not the whole OS; guest root can interfere with tracing."
    ],
    "static": {
      "dependency_note": "OSV scanned supported lockfiles; unpinned dependencies and unsupported formats are outside this check."
    },
    "evidence_url": "/safety/?run=TayHCode--fixledger-claude-haiku-5-5-1793102422066544268",
    "evidence_file": "/data/safety/TayHCode--fixledger-claude-haiku-5-5-1793102422066544268.json.gz"
  },
  "agent_execution": "native_agent",
  "agent_runtime": "claude-code",
  "agent_runtime_version": "2.1.310 (Claude Code)",
  "tool_transport": "mcp-assigned-vm",
  "platform": "linux",
  "reasoning": "low",
  "service_tier": null,
  "resources": {
    "cpus": 2,
    "memory_mib": 4096,
    "disk_mib": 32768
  },
  "native_tool_calls": 19,
  "native_bundle": null,
  "architecture": null,
  "backend": "hyperv",
  "platform_details": {
    "backend": "hyperv",
    "os": "linux"
  },
  "platform_conflicts": null,
  "sandbox_source": null,
  "source_pin": {
    "commit": "d2b1cdf257f50709f6a05ccfda57adf9be6a5af2",
    "url": "https://github.com/TayHCode/fixledger"
  },
  "purpose": "initial",
  "profile": {
    "model": "claude-haiku-5-5",
    "reasoning": "low"
  },
  "fault": {
    "owner": null,
    "status": "resolved",
    "reason": null
  },
  "fix_id": null,
  "verifies_run_id": null,
  "hosting": null,
  "operation_scope": "product operation",
  "tool_calls": 19,
  "guest_setup": null,
  "runtime": null,
  "runtime_version": null,
  "runtime_revision": null,
  "source_revision": null,
  "evidence_version": null,
  "failure_origin": null,
  "evidence_strength": "readme_checked",
  "works": "yes",
  "install_s": null,
  "first_use_s": null,
  "mcp": "local",
  "needs": [],
  "needs_which": null,
  "agent_interface": [
    "mcp"
  ],
  "license": "MIT",
  "repo_url": "https://github.com/TayHCode/fixledger",
  "cost_to_try": "free",
  "hardware": null,
  "what_failed": null,
  "local_or_hosted": "local",
  "cycle_checks": [
    {
      "kind": "cycle",
      "claim": "Scheduled or looping main behavior",
      "source": "repository entry points",
      "input": "source inspection",
      "expected": "identify the product trigger",
      "verdict": "yes",
      "outcome": "Entry points inspected: fixledger CLI (add/check/fix/wontfix/reopen/list), hook (single stdin event per Claude Code SessionStart/PreCompact invocation), and mcp (stdio JSON-RPC loop driven by the client). No scheduler, cron, loop, --once/--now, or webhook trigger exists in the source or README; grep for sleep/while True/schedule/cron/daemon found nothing.",
      "evidence": "Entry points inspected: fixledger CLI (add/check/fix/wontfix/reopen/list), hook (single stdin event per Claude Code SessionStart/PreCompact invocation), and mcp (stdio JSON-RPC loop driven by the client). No scheduler, cron, loop, --once/--now, or webhook trigger exists in the source or README; grep for sleep/while True/schedule/cron/daemon found nothing.",
      "command": ""
    }
  ],
  "claims": [
    {
      "kind": "claim",
      "claim": "MCP ledger_add returns a finding ID as JSON text",
      "source": "Tool results contain JSON text.",
      "input": "{\"tool\": \"ledger_add\", \"arguments\": {\"file\": \"app.py\", \"symbol\": \"load\", \"title\": \"Missing input validation\", \"severity\": \"high\"}}",
      "expected": "ID 689e2d2000 in tool result",
      "command": "<guest-path> mcp tools/call {\"tool\": \"ledger_add\", \"arguments\": {\"file\": \"app.py\", \"symbol\": \"load\", \"title\": \"Missing input validation\", \"severity\": \"high\"}}",
      "verdict": "yes",
      "outcome": "Real input produced the expected result: 689e2d2000",
      "evidence": "689e2d2000\\\", \\\"note\\\": \\\"\\\", \\\"rev\\\": \\\"\\\", \\\"severity\\\": \\\"high\\\", \\\"status\\\": \\\"open\\\", \\\"symbol\\\": \\\"load\\\", \\\"title\\\": \\\"Missing input validation\\\", \\\"updated\\\": \\\"2026-10-27T12:03:52.949744+00:00\\\"}\"}], \"isError\": false}",
      "source_checked": true,
      "source_file": "README.md"
    },
    {
      "kind": "claim",
      "claim": "add prints the ID",
      "source": "`add` prints the ID and preserves an existing entry when you add the same finding again.",
      "input": "add app.py load Missing input validation high",
      "expected": "prints ID 689e2d2000",
      "command": "<guest-path> --ledger <guest-path> add --file app.py --symbol load --title 'Missing input validation' --severity high",
      "verdict": "yes",
      "outcome": "Real input produced the expected result: 689e2d2000",
      "evidence": "689e2d2000 [open] high app.py:load: Missing input validation\n",
      "returncode": 0,
      "source_checked": true,
      "source_file": "README.md"
    },
    {
      "kind": "claim",
      "claim": "check reports a new finding with exit 0",
      "source": "`check` exits with code 0 for a new finding and 3 for a known finding, including closed findings.",
      "input": "check on empty ledger",
      "expected": "new finding, exit 0",
      "command": "<guest-path> --ledger <guest-path> check --file app.py --symbol load --title 'Missing input validation'",
      "verdict": "yes",
      "outcome": "Real input produced the expected result: new finding",
      "evidence": "new finding\n",
      "returncode": 0,
      "source_checked": true,
      "source_file": "README.md"
    },
    {
      "kind": "claim",
      "claim": "hook returns hookSpecificOutput for SessionStart",
      "source": "For SessionStart and PreCompact it returns `hookSpecificOutput` with the event name and an `additionalContext` reminder listing fixed and wontfix findings.",
      "input": "SessionStart event JSON with cwd and a fixed finding in ledger",
      "expected": "hookSpecificOutput JSON with additionalContext",
      "command": "<guest-path> --ledger <guest-path> hook",
      "verdict": "yes",
      "outcome": "Real input produced the expected result: hookSpecificOutput",
      "evidence": "hookSpecificOutput\": {\"hookEventName\": \"SessionStart\", \"additionalContext\": \"Recorded findings: do not report or fix again; call check before reporting/fixing, add new findings.\\n689e2d2000 [fixed] high app.py:load: Missing input validation; Validate input before parsing\"}}\n",
      "returncode": 0,
      "source_checked": true,
      "source_file": "README.md"
    }
  ],
  "claims_note": null,
  "example_checks": [
    {
      "kind": "example",
      "claim": "Proof workflow in a temporary Git repo",
      "source": "README.md ## Prove the workflow",
      "input": "sh examples/prove.sh",
      "command": "sh examples/prove.sh",
      "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",
      "deferred": false,
      "expected": "four PASS lines",
      "returncode": 0,
      "verdict": "yes",
      "outcome": "command completed successfully"
    },
    {
      "kind": "example",
      "claim": "Unit tests",
      "source": "README.md ## Prove the workflow",
      "input": "python3 -m unittest discover -s tests",
      "command": "python3 -m unittest discover -s tests",
      "evidence": "..................\n----------------------------------------------------------------------\nRan 18 tests in 8.913s\n\nOK",
      "deferred": false,
      "expected": "18 tests pass",
      "returncode": 0,
      "verdict": "yes",
      "outcome": "command completed successfully"
    },
    {
      "kind": "example",
      "claim": "Fresh install check",
      "source": "README.md ## Prove the workflow",
      "input": "sh scripts/fresh_install.sh",
      "command": "sh scripts/fresh_install.sh",
      "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",
      "deferred": false,
      "expected": "PASS fresh venv, pip install ., fixledger --help",
      "returncode": 0,
      "verdict": "yes",
      "outcome": "command completed successfully"
    },
    {
      "kind": "example",
      "claim": "Privacy check",
      "source": "README.md ## Prove the workflow",
      "input": "sh scripts/no_personal.sh",
      "command": "sh scripts/no_personal.sh",
      "evidence": "PASS tracked files and git log contain no personal information",
      "deferred": false,
      "expected": "PASS tracked files and git log contain no personal information",
      "returncode": 0,
      "verdict": "yes",
      "outcome": "command completed successfully"
    }
  ],
  "does_what_it_says": "yes",
  "maintenance": {
    "last_commit_at": "2026-10-24T19:38:45Z",
    "commits_90d": 1,
    "merged_prs_90d": 0,
    "open_issues": 0,
    "open_prs": 0,
    "reply_share": null,
    "reply_threads": 0,
    "median_reply_hours": null,
    "last_release_at": null,
    "archived": false,
    "verdict": "maintained",
    "note": "actively maintained: last commit 2 days ago; 1 commits and 0 merged PRs in 90 days; 0 open issues, 0 open PRs; no releases"
  },
  "maintenance_verdict": "maintained",
  "maintenance_note": "actively maintained: last commit 2 days ago; 1 commits and 0 merged PRs in 90 days; 0 open issues, 0 open PRs; no releases",
  "maintained": "active",
  "maintained_note": "last commit 2 days ago",
  "last_commit_at": "2026-10-24T19:38:46Z",
  "last_release_at": null,
  "open_issues": null,
  "answered_issues": null,
  "platforms_claimed": [
    "linux"
  ],
  "topic": "mcp-server",
  "agent_interfaces": [
    {
      "interface": "mcp",
      "evidence": "independent checker",
      "observed": true,
      "operation_checked": true
    }
  ],
  "agent_interfaces_note": "README metadata is a discovery hint, not pinned documentation proof. Observed interfaces were exercised in this run. An empty list means unknown.",
  "mcp_context": {
    "tool_count": 4,
    "schema_bytes": 1292,
    "tokens_approx": 323,
    "estimate_method": "ceil(compact UTF-8 tools/list JSON bytes / 4)",
    "scope": "returned tools/list page only; excludes client framing and tool results"
  },
  "tested_at": "2026-10-27T12:04:56.730854+00:00",
  "tested_commit": "d2b1cdf257f50709f6a05ccfda57adf9be6a5af2",
  "tested_with": {
    "agent": "claude-code",
    "agent_version": "2.1.310 (Claude Code)",
    "model": "claude-haiku-5-5",
    "model_route": "claude-haiku-5-5",
    "reasoning": "low",
    "os": "linux",
    "backend": "hyperv",
    "transport": "mcp-assigned-vm"
  },
  "setup_identity": {
    "repo": "TayHCode/fixledger",
    "source": "https://github.com/TayHCode/fixledger",
    "commit": "d2b1cdf257f50709f6a05ccfda57adf9be6a5af2",
    "source_revision": null,
    "os": "linux",
    "architecture": null,
    "backend": "hyperv",
    "model": "claude-haiku-5-5",
    "model_version": "claude-haiku-5-5",
    "agent_execution": "native_agent",
    "agent_runtime": "claude-code",
    "agent_runtime_version": "2.1.310 (Claude Code)",
    "tool_transport": "mcp-assigned-vm",
    "runtime": null,
    "runtime_version": null,
    "runtime_revision": null,
    "sandbox_source": null,
    "guest_setup": null,
    "source_pin": {
      "commit": "d2b1cdf257f50709f6a05ccfda57adf9be6a5af2",
      "url": "https://github.com/TayHCode/fixledger"
    },
    "platform_details": {
      "os": "linux",
      "backend": "hyperv"
    },
    "platform_conflicts": null,
    "reasoning": "low",
    "service_tier": null,
    "resources": {
      "cpus": 2,
      "memory_mib": 4096,
      "disk_mib": 32768
    },
    "operation": "Record, check, close, list and serve findings with the fixledger CLI and MCP server",
    "operation_scope": "product operation",
    "hosting": null,
    "kind": "mcp",
    "test_version": "readme-d5b140d3c0f8b95c2dd6fe6fc381a303cacb92679582c22317d8e78b572f0cf2",
    "evidence_version": null
  },
  "other_model": null,
  "other_run_id": null,
  "models_agree": null,
  "furthest_model": null,
  "transcript_url": "/transcripts/TayHCode--fixledger-claude-haiku-5-5-1793102422066544268.txt",
  "report_url": "/reports/TayHCode--fixledger-claude-haiku-5-5-1793102422066544268.json"
}