[Bug] mcp-client: 工具 inputSchema 缺少与 outputSchema 对称的子集规范化

[idoall]

Summary

dsh-mcp-client 对上游 MCP 工具的 outputSchema 做了优雅降级，但 inputSchema 原样透传；同时 ToolRuntime.register() 只断言 output.schema，parameters 在整个 harness 中从不做子集校验，直接进入模型请求。两者处理方式不对称，属于潜在缺陷。

需要说明的是：这不是任何一次会话创建/恢复失败的根因（见下方「实际影响」中的实测结论），而是一处尚未被触发的边界不一致。

证据

1. 消费侧不对称 —— packages/mcp/mcp-client/src/tools.ts

// :234  inputSchema 原样透传
parameters: inputSchema,
// :235  outputSchema 走优雅降级（:185 supportedOutputSchema）
output: createOutput(rawName, supportedOutputSchema(options.outputSchema)),

:185 的注释写明该分支的意图：

/** Keep a supported advertised schema; unsupported MCP vocabulary falls back to JsonValue. */

2. 校验侧不对称 —— packages/core/tools/src/index.ts

• :1051 register() 只做 assertSupportedJsonSchema(output.schema)；parameters 不校验。
• :1262–:1272 schemaOf() 对 parameters 只做 lossless JSON 检查（snapshotJsonValue），不检查 schema 子集。
• :1804 执行期只对 tool.output.schema 调 validateJsonSchemaValue。

3. 越界词汇确实会到达模型 provider

• packages/llm/llm-deepseek/src/protocols/chat-completions/serialize.ts:346 → parameters: tool.parameters
• packages/llm/llm-deepseek/src/protocols/messages/serialize.ts:134 → input_schema: tool.parameters

4. 真实越界样本（@playwright/mcp@0.0.80，browser-use-playwright-mcp/package.json:31 精确 pin）

实际拉起该 stdio server 并读取 tools/list，24 个工具的 inputSchema 24/24 落在 assertSupportedJsonSchema（packages/core/tools/src/json-schema.ts:385）子集之外：

• 全部 24 个：根级 $schema
• browser_drop：额外 propertyNames，以及非布尔的 additionalProperties: { "type": "string" }
• browser_network_request：额外 minimum / maximum

实际影响

实测（未打任何临时补丁的 master 源码）：

• 直接以 failOnStartupError: true + 生产参数 --browser chromium --isolated --headless 挂载：24 个工具全部注册成功。
• packages/experimental/browser-use-playwright-mcp/tests/upstream.e2e.ts 全链路（Loader → Sessions → Agents → AgentLoop → provider → mcp-client，真实 agent 创建 + 真实浏览器导航）：2/2 通过。

因此当前影响仅限于：

1. 越界词汇原样出现在模型可见的 tool 定义中；
2. 一旦将来在参数边界补上子集校验（与 output 对称），这 24 个工具会同时失效。

Deliverables（建议方向）

• 在 packages/core/tools/src/json-schema.ts 导出一个规范化工具（例如 sanitizeJsonSchema），由 mcp-client 等消费方共用，而不是在 mcp-client 内硬编码。
• 语义保留优先级：丢弃纯元信息（$schema、$id、$defs、$ref、propertyNames）；additionalProperties 非布尔时归为 true；properties / items / oneOf 递归处理；数值约束（minimum / maximum 等）是否折进 description 待维护者裁定。
• 在 tools.ts:234 接入该规范化，使 input 与 :235 的 output 处理对称。
• 补一条回归测试：stdio MCP server 返回带 $schema 的 inputSchema，断言 failOnStartupError: true 时工具仍能注册。