{
  "run_id": "Adityakk9031--cdebt-claude-haiku-5-5-1793018510050856552",
  "checker": {
    "claims": [
      {
        "claim": "cdebt map lists which files hold un-understood AI-written code",
        "command": "<guest-path> map --no-scip",
        "evidence": "Summary files=108 lines=18148 | AI=100.0% (18148) unknown=0.0% (0) | AI lines \nverified: 0% | attested (NON-VERIFIED): 0% | AI units verified: 0/953 (95% CI \n0%-0%), attested 0 | attribution sources: trailer=18148\n* coarse: commit-level trailer heuristic, not line-level.\n",
        "expected": "a summary table with file counts and AI attribution",
        "input": "cdebt map --no-scip run in the pinned repo",
        "kind": "claim",
        "outcome": "Real input produced the expected result: Summary files=108 lines=18148",
        "returncode": 0,
        "source": "Which files hold the most AI-written code no human has verifiably understood?",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected pyproject entry point cdebt=cdebt.cli:app and src/cdebt/*.py: no cron, scheduler, --once/--now, or webhook trigger. Loops found are interactive quiz input (adaptive.py), sandbox wait (sandbox.py), and SCIP handling (scip.py). The pre-push hook is git-triggered and not a product schedule. Commands run once per invocation.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected pyproject entry point cdebt=cdebt.cli:app and src/cdebt/*.py: no cron, scheduler, --once/--now, or webhook trigger. Loops found are interactive quiz input (adaptive.py), sandbox wait (sandbox.py), and SCIP handling (scip.py). The pre-push hook is git-triggered and not a product schedule. Commands run once per invocation.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "map",
        "--no-scip"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "                            cdebt map @ 406242619b01                            \n\u250f\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2533\u2501\u2501\u2501\u2501\u2501\u2501\u2533\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2533\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2533\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2533\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2533\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2533\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2533\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2533\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2513\n\u2503       \u2503      \u2503       \u2503 atte\u2026 \u2503       \u2503       \u2503       \u2503 blast \u2503       \u2503       \u2503\n\u2503 file  \u2503  AI% \u2503 veri\u2026 \u2503 (NON\u2026 \u2503 unkn\u2026 \u2503 churn \u2503 blast \u2503 src   \u2503 score \u2503 attr\u2026 \u2503\n\u2521\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2547\u2501\u2501\u2501\u2501\u2501\u2501\u2547\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2547\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2547\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2547\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2547\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2547\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2547\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2547\u2501\u2501\u2501\u2501\u2501\u2501\u2501\u2529\n\u2502 test\u2026 \u2502 100% \u2502    0% \u2502    0% \u2502    0% \u2502  1.00 \u2502  7.57 \u2502 appr\u2026 \u2502 15.1\u2026 \u2502 trai\u2026 \u2502\n\u2502 src/\u2026 \u2502 100% \u2502    0% \u2502    0% \u2502    0% \u2502  1.00 \u2502  7.56 \u2502 appr\u2026 \u2502 15.1\u2026 \u2502 trai\u2026 \u2502\n\u2502 test\u2026 \u2502 100% \u2502    0% \u2502    0% \u2502    0% \u2502  1.00 \u2502  7.18 \u2502 appr\u2026 \u2502 14.3\u2026 \u2502 trai\u2026 \u2502\n\u2502 test\u2026 \u2502 100% \u2502    0% \u2502    0% \u2502    0% \u2502  1.00 \u2502  7.10 \u2502 appr\u2026 \u2502 14.2\u2026 \u2502 trai\u2026 \u2502\n\u2502 src/\u2026 \u2502 100% \u2502    0% \u2502    0% \u2502    0% \u2502  1.00 \u2502  7.02 \u2502 appr\u2026 \u2502 14.0\u2026 \u2502 trai\u2026 \u2502\n\u2502 src/\u2026 \u2502 100% \u2502    0% \u2502    0% \u2502    0% \u2502  1.00 \u2502  6.92 \u2502 appr\u2026 \u2502 13.8\u2026 \u2502 trai\u2026 \u2502\n\u2502 scri\u2026 \u2502 100% \u2502    0% \u2502    0% \u2502    0% \u2502  1.00 \u2502  6.83 \u2502 appr\u2026 \u2502 13.6\u2026 \u2502 trai\u2026 \u2502\n[excerpt truncated]",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "the README 60-second demo builds a throwaway repo and walks map, quiz, map, gate",
        "command": "bash examples/demo.sh",
        "deferred": false,
        "evidence": "rstanding expires\ncdebt gate: FAIL (advisory, exit 0; use --enforce to fail) AI lines in \nun-understood units: 1 (max 0) | sources: {'trailer': 1}\n  pkg/shop.py::total  1 AI lines NOT UNDERSTOOD (code_changed) [trailer]\nSome attribution is from commit trailers: coarse, commit-level.\ncdebt gate: FAIL AI lines in un-understood units: 1 (max 0) | sources: \n{'trailer': 1}\n  pkg/shop.py::total  1 AI lines NOT UNDERSTOOD (code_changed) [trailer]\nSome attribution is from commit trailers: coarse, commit-level.\n(gate exit code 1 with --enforce: expected 1, total() changed and its understanding expired)",
        "expected": "quiz verifies answers and gate reports un-understood lines after edit",
        "input": "bash examples/demo.sh with venv PATH and CDEBT_TRUSTED=1",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md 60-second demo / examples/demo.sh",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}