{
  "run_id": "Ablation-Tool--kevlar-claude-haiku-5-5-1792968489567784365",
  "checker": {
    "claims": [
      {
        "claim": "Tool call results pass through the proxy to the client",
        "command": "<guest-path> <guest-path> --mode strict -- uvx mcp-server-git tools/call {\"tool\": \"git_status\", \"arguments\": {\"repo_path\": \"<guest-path>\"}}",
        "evidence": "On branch main\\nnothing to commit, working tree clean\"}], \"isError\": false}",
        "expected": "status text returned intact",
        "input": "{\"tool\": \"git_status\", \"arguments\": {\"repo_path\": \"<guest-path>\"}}",
        "kind": "claim",
        "outcome": "Real input produced the expected result: On branch main",
        "source": "Tool call results cannot be stripped without breaking functionality.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "kevlar is a stdio proxy (policy.py pure engine, kevlar.py async stdio proxy per README Architecture); no cron, scheduler, loop, webhook, --once or --now entry points were found in README or kevlar.py main(). Each proxied session runs once per invocation.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "kevlar is a stdio proxy (policy.py pure engine, kevlar.py async stdio proxy per README Architecture); no cron, scheduler, loop, webhook, --once or --now entry points were found in README or kevlar.py main(). Each proxied session runs once per invocation.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "<guest-path>",
        "--mode",
        "strict",
        "--",
        "uvx",
        "mcp-server-git"
      ],
      "kind": "mcp",
      "scope": "product operation",
      "serverInfo": {
        "name": "mcp-git",
        "version": "2026.10.19"
      },
      "tool_result": {
        "content": [
          {
            "text": "Repository status:\nOn branch main\nnothing to commit, working tree clean",
            "type": "text"
          }
        ],
        "isError": false
      },
      "tool_result_checked": true,
      "tool_schema_bytes": 2263,
      "tools": [
        "git_status",
        "git_diff_unstaged",
        "git_diff_staged",
        "git_diff",
        "git_commit",
        "git_add",
        "git_reset",
        "git_log",
        "git_create_branch",
        "git_checkout",
        "git_show",
        "git_branch"
      ],
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Calls to tools outside the sanitized set are blocked",
        "command": "<guest-path> <guest-path> --mode strict -- uvx mcp-server-git",
        "deferred": false,
        "evidence": ": 3, \"result\": {\"content\": [{\"type\": \"text\", \"text\": \"kevlar: tool 'git_delete_everything' was not in CDR-sanitized set\"}], \"isError\": true}}\n{\"jsonrpc\": \"2.0\", \"id\": 1, \"result\": {\"protocolVersion\": \"2024-11-05\", \"capabilities\": {\"prompts\": {\"listChanged\": false}, \"resources\": {\"listChanged\": false, \"subscribe\": false}, \"tools\": {\"listChanged\": false}}, \"serverInfo\": {\"name\": \"mcp-git\", \"version\": \"2026.10.19\"}}}\n2026-10-25 22:52:53,911 INFO kevlar spawned server pid=4167 cmd=uvx mode=strict\n2026-10-25 22:52:53,912 WARNING kevlar tools/call blocked for unsanitized tool 'git_delete_everything'",
        "expected": "synthetic block message from kevlar",
        "input": "tools/call git_delete_everything sent without tools/list",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md",
        "verdict": "yes"
      },
      {
        "claim": "Repository test suite runs (README Tests section)",
        "command": "<guest-path> -q",
        "deferred": false,
        "evidence": "........................................................................ [ 48%]\n........................................................................ [ 96%]\n.....                                                                    [100%]\n149 passed in 8.78s",
        "expected": "149 passed",
        "input": "pytest",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md Tests section",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}