{
  "all_ok": true,
  "executed": true,
  "explicit_non_claim": "Source is read, never executed: no server here was imported, started or contacted. A hint counted is a hint WRITTEN, not a hint honoured -- whether a declared hint is true is exactly what capinfer must observe, and this census only says which servers can be asked that question.",
  "honest_scope": "Detection is by source pattern (@mcp.tool / @server.tool / FastMCP / types.Tool) or by the tools/list method it must answer. A server whose hints are loaded from data at runtime is not seen. Test files and build/ trees are excluded by path. The first version of this detector looked for SDK surface only and reported 0 servers for three lanes that each ship one; the count below is from the corrected detector.",
  "lanes": {
    "f2": {
      "censused": true,
      "n_gradable": 0,
      "n_servers": 1,
      "root": "$HOME/Desktop/untitled folder 2/06_video_codec_discovery_foundry",
      "servers": [
        {
          "declares_tools": true,
          "file": "oss/crs-mcp/src/crs_mcp/server.py",
          "hints": {},
          "n_hint_mentions": 0,
          "n_tool_declarations": 2,
          "style": "mcp_sdk",
          "verdict": "UNGRADABLE_NO_HINTS"
        }
      ]
    },
    "f3": {
      "censused": true,
      "n_gradable": 0,
      "n_servers": 1,
      "root": "$HOME/Desktop/untitled folder 3/05_wireless_reliability_fallback_lab",
      "servers": [
        {
          "declares_tools": true,
          "file": "oss/minicheck-mcp/src/minicheck_mcp/server.py",
          "hints": {},
          "n_hint_mentions": 0,
          "n_tool_declarations": 7,
          "style": "mcp_sdk",
          "verdict": "UNGRADABLE_NO_HINTS"
        }
      ]
    },
    "f4": {
      "censused": true,
      "n_gradable": 0,
      "n_servers": 1,
      "root": "$HOME/Desktop/untitled folder 4/wifi-pqc-failure-lab",
      "servers": [
        {
          "declares_tools": true,
          "file": "oss/pqc-migration-mcp/src/pqc_migration_mcp/server.py",
          "hints": {},
          "n_hint_mentions": 0,
          "n_tool_declarations": 7,
          "style": "json_rpc_no_sdk",
          "verdict": "UNGRADABLE_NO_HINTS"
        }
      ]
    },
    "f5": {
      "censused": true,
      "n_gradable": 0,
      "n_servers": 1,
      "root": "$HOME/worktrees/f5-site-program",
      "servers": [
        {
          "declares_tools": true,
          "file": "oss/packages/formal-proof-mcp/src/formal_proof_mcp/server.py",
          "hints": {},
          "n_hint_mentions": 0,
          "n_tool_declarations": 10,
          "style": "json_rpc_no_sdk",
          "verdict": "UNGRADABLE_NO_HINTS"
        }
      ]
    },
    "f6": {
      "censused": true,
      "n_gradable": 0,
      "n_servers": 1,
      "root": "$HOME/Desktop/untitled folder 6/computational_lithography_lab",
      "servers": [
        {
          "declares_tools": true,
          "file": "oss/certified-mcp/src/certified_mcp/server.py",
          "hints": {},
          "n_hint_mentions": 0,
          "n_tool_declarations": 1,
          "style": "json_rpc_no_sdk",
          "verdict": "UNGRADABLE_NO_HINTS"
        }
      ]
    },
    "f8": {
      "censused": true,
      "n_gradable": 0,
      "n_servers": 1,
      "root": "$HOME/Desktop/untitled folder 8/eda-platform",
      "servers": [
        {
          "declares_tools": true,
          "file": "oss/hw-verify-mcp/hwverify/server.py",
          "hints": {},
          "n_hint_mentions": 0,
          "n_tool_declarations": 2,
          "style": "mcp_sdk",
          "verdict": "UNGRADABLE_NO_HINTS"
        }
      ]
    },
    "genesis": {
      "censused": true,
      "n_gradable": 0,
      "n_servers": 3,
      "root": "$HOME/Downloads/Genesis",
      "servers": [
        {
          "declares_tools": true,
          "file": "mcp/genesis-glass-pdk/src/genesis_glass_pdk/_tools.py",
          "hints": {},
          "n_hint_mentions": 0,
          "n_tool_declarations": 30,
          "style": "mcp_sdk",
          "verdict": "UNGRADABLE_NO_HINTS"
        },
        {
          "declares_tools": true,
          "file": "oss/physics-lint-mcp/src/physics_lint_mcp/server.py",
          "hints": {},
          "n_hint_mentions": 0,
          "n_tool_declarations": 1,
          "style": "json_rpc_no_sdk",
          "verdict": "UNGRADABLE_NO_HINTS"
        },
        {
          "declares_tools": true,
          "file": "api/mcp_server.py",
          "hints": {},
          "n_hint_mentions": 0,
          "n_tool_declarations": 19,
          "style": "mcp_sdk",
          "verdict": "UNGRADABLE_NO_HINTS"
        }
      ]
    },
    "lattice": {
      "censused": true,
      "n_gradable": 0,
      "n_servers": 1,
      "root": "$HOME/Documents/GitHub/Lattice combined/lattice_graph_prd",
      "servers": [
        {
          "declares_tools": true,
          "file": "backend/features/mcp/server.py",
          "hints": {},
          "n_hint_mentions": 0,
          "n_tool_declarations": 40,
          "style": "mcp_sdk",
          "verdict": "UNGRADABLE_NO_HINTS"
        }
      ]
    },
    "vllm": {
      "censused": true,
      "n_gradable": 0,
      "n_servers": 0,
      "root": "$HOME/vLLM-site-program",
      "servers": []
    }
  },
  "n_gradable_total": 0,
  "n_servers_total": 10,
  "n_ungradable_total": 10,
  "ownership": "f3 owns the instrument. Each lane owns its own servers and the decision whether to declare hints.",
  "schema": "mcp-annotation-census-v1",
  "skipped": false,
  "why_ungradable_is_not_clean": "capinfer grades a DECLARED hint against observed syscalls. A server that declares no hints has nothing to contradict, so '0 disagreements' for it would be a green that means nothing. Those servers are reported UNGRADABLE, never clean."
}