Merge pull request 'docs(blueprint/agent-client-parity): P7 实测服务器说明仅 Claude/DSH 带入模型上下文，保留 skill 引导' (#30) from feat/agent-client-parity-p7 into master

三端无头探针（node 桩 MCP 服务，实验组 initialize 带含唯一标记的 instructions，
对照组不带）结论为部分支持：Claude Code 2.1.173 与 DSH headless 答出标记、
对照组答 NONE；Codex 0.155.0-alpha.9.2 两组都答 NONE、输入 token 完全相同，
桩服务日志证明 initialize 与 tools/list 均成功、模型能调用桩工具，说明已送达
客户端却没进入模型。

按 acceptance 不迁移：引导提示仍以 lian-jing skill 与 AGENTS.md 托管块为三端
单一来源，mcp_server.rs 与 skill 均不改。

- 蓝图 P7 标 ✅，记录结论、三端证据与 known_limits（Codex TUI/桌面版与 SSE
  未验、真实说明未实测、服务器说明中两条通用规则在 skill 只有分场景表述）
- agent-button-system.md「本地 Agent 控制面的稳定边界」增一条：服务器说明只是
  增强层，三端都须遵守的引导不得只写在服务器说明里
- manifest 中 agent-client-parity 进度 55 → 64，note 补 P7

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

.blueprint/manifest.yaml

@@ -511,9 +511,9 @@ modules:
     name: 三端客户端对等
     area: infra
     status: in_progress
-    progress: 55
+    progress: 64
     updated: 2026-10-03
-    note: "P1/P2/P3/P3b/P9/P10 完成：三端（Claude Code、Codex 含 Desktop、DSH 含桌面 GUI）在 Enterprise 经 %USERPROFILE%\\.lian-jing 稳定入口连项目专用地址，人终验通过。Claude 条目经 claude CLI 写入、以 claude mcp get 为准；DSH 由托管块全局行（headless）+ 会话级插件（GUI/web/acp 按会话工作目录）路由；接入写入幂等；接入包改写块外带未提交改动的托管块文件时给出混合文件预警。待做 P4 探针固化（依赖 architecture-evolution A1）、P5–P8。"
+    note: "P1/P2/P3/P3b/P7/P9/P10 完成：三端（Claude Code、Codex 含 Desktop、DSH 含桌面 GUI）在 Enterprise 经 %USERPROFILE%\\.lian-jing 稳定入口连项目专用地址，人终验通过。Claude 条目经 claude CLI 写入、以 claude mcp get 为准；DSH 由托管块全局行（headless）+ 会话级插件（GUI/web/acp 按会话工作目录）路由；接入写入幂等；接入包改写块外带未提交改动的托管块文件时给出混合文件预警；P7 实测 MCP 服务器说明仅 Claude/DSH 带入模型上下文、Codex 不带，引导提示保留在 skill。待做 P4 探针固化（依赖 architecture-evolution A1）、P5、P6、P8。"
     position: [3500, 950]
 
   - id: architecture-evolution

.blueprint/modules/agent-client-parity.md

@@ -132,13 +132,20 @@ skill 只是五个接入面之一，兼容层覆盖全部五面。
 - 为什么：2026-09-30 探针显示同一批 skill 在三端各维护一份（Claude `~/.claude/skills`、Codex `source-command-*` 副本、DSH 手写 `.dsh/skills`），是实际的重复与漂移源。先把 skill 中的确定性步骤下沉为炼境 MCP 工具，让 skill 变薄，再做投影。
 - 不做：炼境不执行推理类 skill（无模型、会丢失会话代码上下文、越过「不替 agent 思考」边界）；不以运行时拉取 skill 正文作为主路径（炼境离线即失效、脱离 Git 分支）。
 
-### 📋 P7 — MCP 服务器说明的三端支持验证
+### ✅ P7 — MCP 服务器说明的三端支持验证
-- status: todo
+- status: done
 - complexity: S
-- files: src-tauri/src/mcp_server.rs, docs/ai-context/agent-button-system.md
+- files: .blueprint/modules/agent-client-parity.md, docs/ai-context/agent-button-system.md（结论为部分支持，src-tauri/src/mcp_server.rs 与 lian-jing skill 均不改）
 - depends: P1
 - acceptance: "agent_verify: [三端无头探针] 在 initialize 下发唯一标记的 instructions，判定三端是否把它带入模型上下文。全部支持则把引导提示迁到服务器说明，本地 skill 只保留 MCP 不可达时的排障步骤；部分支持则如实记录、保留 skill 引导。"
 - 为什么：Claude 已实证会把 lian-jing 的服务器说明带入上下文；若三端皆支持，引导提示可由炼境集中维护。
+- 结论（2026-10-03）：部分支持。Claude Code 与 DSH 会把 initialize 下发的 instructions 带入模型上下文，Codex 不会。按 acceptance 不迁移：引导提示仍以 lian-jing skill（及 AGENTS.md 托管块）为三端单一来源，服务器说明保持现状，只作 Claude/DSH 的增强层；三端都须遵守的规则不得只写在服务器说明里（已写入 agent-button-system.md「本地 Agent 控制面的稳定边界」）。
+- verification: "2026-10-03 三端无头探针（零凭据；不改用户配置，不连运行中的炼境）：node 写的最小 MCP 桩服务（streamable-http，纯 JSON 响应），每端两个端口——实验组 initialize 带 instructions，内含该端专属随机标记；对照组不带 instructions 字段，其余完全相同。标记只出现在 instructions 里，工具 probe_ping 的名字、描述和返回值都不含标记。同一问题：「MCP 服务器说明里有什么标记字符串？只回答标记，不调用工具，没收到就答 NONE」。桩服务记录收到的请求，用来证明客户端确实完成了 initialize → tools/list。
+  ① Claude Code 2.1.173（claude-sonnet-4-6；claude -p --mcp-config --strict-mcp-config --tools ''，cwd 为空目录）：支持。实验组 init 显示 ljprobe connected，答出 LJ-P7-3067CE459B；对照组答 NONE；实验组输入 token 多 99（10774 对 10675），与多出的说明长度相符。
+  ② Codex CLI 0.155.0-alpha.9.2（codex exec --json -s read-only，-c mcp_servers.ljprobe.url 临时覆盖，用户默认模型，cwd 为空目录）：不支持。实验组、对照组都答 NONE；桩服务日志证明 initialize（codex-mcp-client，协议 2025-06-18）与 tools/list 均成功，即说明已送达客户端、但没进入模型；两组输入 token 完全相同（16320 = 16320；换宽问法「全部上下文里是否有 LJ-P7- 开头的字符串」为 16335 = 16335）；该会话 rollout 文件中标记出现 0 次。正向对照：让模型调用 probe_ping，它确实发起 mcp_tool_call(server=ljprobe, tool=probe_ping)（被 approval policy never 拦下），说明桩服务的工具在模型视野里，NONE 不是没连上。加开发中特性 --enable mcp_2026_07_28 后仍答 NONE，输入 token 仍为 16320。
+  ③ DSH（桌面版内置运行时 headless；--patch 叠加层停用用户已有的三个 MCP 条目、插入指向桩服务的 dsh-mcp-client 条目，用户 ~/.dsh 与 DSH_HOME 均未改）：支持。实验组答出 LJ-P7-B0628021BF，思考过程原样复述了说明全文；对照组答 NONE；实验组输入 token 多 53（6487 对 6434）。DSH 在 initialize 前先发 server/discover，桩服务与炼境一样回 -32601，DSH 随即回退到 initialize → tools/list；其 mcp-client 配置有 maxInstructionBytes（默认 32768）。
+  探针脚本、桩服务与原始日志留在本机 %TEMP%\lj-p7-probe（未入库，P4 固化时可参考）。"
+- known_limits: "Claude 与 DSH 只验了无头模式，Claude 只用了 sonnet-4-6；Codex 未验 TUI 与桌面版（桌面版可能走 app-server 路径，结论可能不同），也未验 SSE 传输。探针用的是桩服务的中英混合短说明，未用炼境真实说明（中文 238 字、UTF-8 500 字节，远低于 DSH 默认上限 32768 字节）实测。Codex 后续版本若开始带入服务器说明，按「检测行为而非嗅探版本」重跑本探针（P4 固化后纳入矩阵），三端都支持时再迁移。现有服务器说明五条要点中，「先读状态」「canonical project_id」「开发变量先查后登记」在 skill 有对应条目；「其他写操作须用户明确确认」与「unavailable/unknown 不得当作成功」在 skill 与 AGENTS.md 中只有分场景表述（合并 PR、CI workflow、工具链安装；MCP 不可用时不伪造诊断），Codex 会话只能从这些条目与工具描述获知——是否补成通用条目留待下次改 skill 时一并处理（需升接入包版本），本卡不改。"
 
 ### 📋 P8 — 一键接入：创建/添加子项目即完成三端可用
 - status: todo

docs/ai-context/agent-button-system.md

@@ -132,6 +132,7 @@ acceptance 是 agent 自验的唯一判断依据，必须是可执行断言：
 - 项目使用 `/mcp/projects/<project_id>` scoped endpoint；服务端以连接 scope 为准，拒绝跨项目参数和全局管理写工具。旧 `/mcp` 仅用于兼容迁移，不扩展新写能力。
 - readiness 分为 `configured → reachable → handshake → tools_ready → reload_required`。配置存在不等于当前任务已加载；停在哪层，就只修哪一层。
 - `.lian-jing/context.json` 是项目身份唯一来源；Skill 和插件不复制项目身份、Gitea 凭证或 MCP 实现。
+- MCP 服务器说明（initialize 的 `instructions`）只是增强层，并非所有客户端都会把它带入模型上下文（各客户端实测结果见蓝图 `agent-client-parity` P7）。三端都须遵守的引导以 lian-jing skill 与 AGENTS.md 托管块为单一来源，不得只写在服务器说明里；探针证实三端都支持后，才把引导迁到服务器说明。
 - Windows 登录自启动只服务正式安装版，默认关闭且由用户主动启用；debug 和 `target/release` 直接运行明确拒绝注册。single-instance 继续保证同一时间只有一个炼境实例。
 - 日常开发优先运行 `pnpm tauri dev`，Agent 直接消费同一 loopback MCP；正式安装包只在安装、自启动、升级或发布里程碑做一次验收，不作为每次提交的前置条件。
 - 开发炼境前先从托盘完全退出正式安装版；不得把正式版与 `pnpm tauri dev` 并行运行。single-instance 是运行时兜底，不替代这一开发约定。