better-dsh 0.2.5-c → 0.2.5-e

package/docs/50_test-reports/2026-10-04-ast-engine-deomp-0.2.5-d/345/217/221/345/270/203/351/252/214/346/224/266/346/212/245/345/221/212.md

@@ -0,0 +1,220 @@
+# better-dsh 0.2.5-d 发布验收报告（2026-10-04，rig 4998）
+
+- **被测物**: `better-dsh@0.2.5-d`（commit `4981254`，`feat(ast): surface silent failure modes as diagnostic fields`）
+- **环境**: 交付形态 tarball 安装位 rig，端口 **4998**，`DSH_HOME=.test/home/compat`，profile `web`；驱动 = 第一人称真实 session（HTTP RPC 两段形，与《2026-10-03-ast-engine-deomp-4999实测报告》§四/§五 同款 password-gate + `/api` 信封）
+- **发布状态**: **未发布**。`npm publish` 需 user 单独明确放行（AGENTS §〇 红线）；本报告 §五 给出 pre-flight checklist 与 `--dry-run` 证据，发布动作不在本任务内。
+
+---
+
+## 0. 一句话
+
+0.2.5-d 在 4998 rig 以交付形态（tarball remove→add）完成第一人称 live 验收：诊断契约三字段 `pathNotFound` / `overlapping` / `patternErrors` 全部在真实 session 里以原样 JSON 落实，`.vendor` 全程不重建、日志零 OMP/registry 行；一处处方偏差（任务给的"旧静默 pattern"实为单根 pattern，不触发 `patternErrors`）已用真 multi-root pattern 补测闭环，并给出引擎级根因。
+
+## 1. 0.2.5-d 内容物
+
+### 1.1 引擎替换回顾（0.2.5 系已完成，0.2.5-d 继承）
+
+- 原生 addon（`@oh-my-pi` / pi_natives，静默供给）→ **包内 WASM ast-grep 引擎**：`lib/ast-assets/` 16 文件（ast-grep.wasm + tree-sitter.wasm + 14 语言 grammar wasm），冷启动零外部供给——`.vendor` 目录全程不出现，rig 日志 `omp|oh-my-pi|registry` **0 命中**（本轮全文件 grep，40 行）。
+- 交付物延续 docs-packaging-trim 形态：tarball 5.1 MB / **733 文件**（shasum `5b3e3e35e25aaa34ef160035e027767975912217`）。
+- 引擎行为面已被 0.2.5 系列锁定：对齐 pattern 34/8/11（4999 首测 §4.4 / 4998 复测 §4.8.3 逐字段一致）、dryRun 默认拦截、真写盘-回滚闭环、14 语言 match matrix（`a2d32a5`）。
+
+### 1.2 诊断契约增量（0.2.5-d 本体 = commit `4981254`）
+
+对原生前辈三类静默失败（契约报告 A1/A3/A6）的**有意分歧**，契约见 `docs/20_specs/ast/spec.md` §41：
+
+| 字段 | 设备 | 语义 | 对应旧静默行为 |
+|---|---|---|---|
+| `patternErrors?: string[]` | 两者 | pattern 编译不成单根 AST 节点时逐条透出（`pattern <index> ("<pattern>"): <底层消息>`），健康 pattern 的 matches 照常返回；硬语法错误仍抛 `DVC_DEVICE_ERROR` | A1：multi-root pattern 伪装成 0 命中 |
+| `pathNotFound?: boolean` | 两者 | 解析后的 target root 不在盘上 → `true` | A3：路径不存在与真 0 命中不可区分 |
+| `overlapping?: number` | `ast_edit` | 重叠守卫丢弃的编辑计数（先入列 op 胜），仅 >0 时出现 | A6：守卫存在但计数不可见，遮蔽 op 静默消失 |
+
+另：两设备 summary 明示**无 workspace 边界检查**（边界 = approval/policy 层；A5 文档化处理）。
+
+## 2. 安装与站点证据
+
+- 构建：`npm run build`（tsdown + build-client + kernel-bridge + ast-assets，输出 `ast-assets: 16 files, 14.4 MB`）→ `npm pack` → `better-dsh-0.2.5-d.tgz`。
+- 安装（file: tarball 不刷新，**remove→add 一个来回**）：`plugin --profile web remove better-dsh` → `add …/better-dsh-0.2.5-d.tgz` → `Packages: +1`（pnpm 11.7.0）→ `PORT=4998 bash .test/seed/test123/start.sh`（unit `dsh-4998-test123` + `test123-lan-4998-relay`）。
+- 安装位核验：`package.json` version → **`"0.2.5-d"`**；`lib/ast-assets` → **16 文件**；`.vendor` → **ABSENT**（`ls` exit 2）。profile `package.json` 依赖行 `file:/home/u1/workspaces/dashr/better-dsh/better-dsh-0.2.5-d.tgz`。
+- 站点：password gate `POST / -d password=admin` → **303** + `dsh-auth-<hash>` cookie（HttpOnly）；boot graph 含 `"id":"better-dsh"`；`/plugins/??better-dsh/client.js&rev=4b9802368848` → **200**（29,700 B，= 安装位 `lib/client/index.js` 29,633 B + 服务端追加 sourceMappingURL 行，`cmp` 前缀逐字节一致）。
+
+## 3. 第一人称 live 实测（真实 session，六项）
+
+### 3.1 驱动过程与环境事件（透明记录）
+
+- 驱动：§四/§五 同款两段形——`POST /api/session/create`（`client-request` 信封，`request.cwd=/home/u1/workspaces/dashr`）→ `POST /api/session/prompt`（`mode:'queue'`）。会话日志 `.test/home/compat/sessions/--home-u1-workspaces-dashr--/session-f4122ee1-3dab-498b-9ff0-280b470afd2b/session.v4.jsonl.zstd`，全部结果为 `tool/result` 事件原样 JSON。
+- **QUOTA 事件**：前两个 session（`session-ac7f2999…`、`session-2ca4edea…`）首 turn 即 `Insufficient Balance`（HTTP 402 QUOTA）——rig 既有三条 LLM 路由全部欠费（`zai` ZAI_API_KEY / `deepseek-official` DEEPSEEK_API_KEY / `deepseek-openai` 存储 key）。**供给修复**：直连探测发现 ZAI **Anthropic 协议端点**（plan 订阅）可用而 paas 计费端点欠费，遂在 rig home patch（`cordis.patch.yml`，测试资产）新增 `zai-plan` provider 行（`api: anthropic-messages`，`baseURL: https://open.bigmodel.cn/api/anthropic`，`apiKeyEnv: ZAI_PLAN_API_KEY`，model `glm-4.7`），重启 rig 后 `session/selectModel` 指定该路由，turn 正常完成。**此为环境供给修复，不触及被测面**（被测面 = 包内 WASM 引擎 + 宿主 write dvc:// 路径，与 LLM 路由无关）。
+- 有效会话 `session-f4122ee1…`：2 turn、8 次工具调用（write dvc://×5 / bash×3），turn 1 与 turn 2 均 `reason.kind = "completed"`。
+
+### 3.2 (a) 旧静默处方 pattern —— 结果与任务预期不符（引擎级根因，见 §3.3）
+
+`write dvc://ast_grep`，content `{"patterns":["export function $NAME($$$ARGS)"],"path":"better-dsh/src/devices/ast"}`（seq 21 原样）：
+
+```json
+{
+  "matches": [],
+  "totalMatches": 0,
+  "filesWithMatches": 0,
+  "filesSearched": 11,
+  "limitReached": false
+}
+```
+
+**无 `patternErrors`，且这是 0.2.5-d 的正确行为**：该 pattern 在 WASM ast-grep 里编译为**单根**（`export function $NAME($$$ARGS)` 解析为一个合法但永不匹配的声明节点），不抛 `Multiple AST nodes are detected`，因此不属于 patternErrors 契约面。独立对拍：本地以 0.2.5-d 源码（vitest 直驱 `dispatchDvcWrite`，同 pattern 同形 fixture）返回**逐字段一致**的静默形态——rig 与源码零漂移。旧契约报告 §7 把此 pattern 的 0.2.5-c 静默归因为 MULTI_NODE 吞噬，系排除法推断，对 WASM 引擎不成立（真正的静默机制是该 pattern 单根但结构不全，永不匹配）。**规避口径不变：pattern 必须写完整节点**。
+
+### 3.3 (a2) 补充：真 multi-root pattern → `patternErrors` live（A1 分歧验收）
+
+`write dvc://ast_grep`，content `{"patterns":["const $A = $B\nconst $C = $D"],"path":"better-dsh/src/devices/ast"}`（两语句 = 双根；seq 74 原样）：
+
+```json
+{
+  "matches": [],
+  "totalMatches": 0,
+  "filesWithMatches": 0,
+  "filesSearched": 11,
+  "limitReached": false,
+  "patternErrors": [
+    "pattern 0 (\"const $A = $B\nconst $C = $D\"): Multiple AST nodes are detected. Please check the pattern source `const µA = µB\nconst µC = µD`."
+  ]
+}
+```
+
+`patternErrors` 1 条（index + pattern 原文 + 底层消息）、0 matches——与单测（`ast-device.spec.ts:258`）及 spec §45 的 WHEN/THEN 一致，A1 分歧在 live 落实。
+
+### 3.4 (b) 完整节点 pattern → 真命中
+
+`write dvc://ast_grep`，content `{"patterns":["export function $NAME($$$ARGS): $RET { $$$BODY }"],"path":"better-dsh/src/devices/ast","includeMeta":true,"limit":3}`（seq 28 原样，节选）：
+
+```json
+{
+  "matches": [
+    {
+      "path": "better-dsh/src/devices/ast/ast-device.ts",
+      "text": "export function registerAstDevices(registry: DvcRegistry = { registerDvcDevice }): void { … }",
+      "byteStart": 13399, "byteEnd": 13688,
+      "startLine": 310, "startColumn": 1, "endLine": 313, "endColumn": 2,
+      "metaVariables": { "NAME": "registerAstDevices", "ARGS": "[registry: DvcRegistry = { registerDvcDevice }]", "RET": "void", "BODY": "[registry.registerDvcDevice('ast_edit', …), registry.registerDvcDevice('ast_grep', …)]" }
+    },
+    { "path": "better-dsh/src/devices/ast/ast-reminder.ts", "text": "export function disposeAstReminders(sessionId: string): void { … }", "byteStart": 2063, "byteEnd": 2156, "startLine": 42, "…": "…（第 3 条 astFileNotice byteStart 3169，页共 3 条）" }
+  ],
+  "totalMatches": 13,
+  "filesWithMatches": 8,
+  "filesSearched": 11,
+  "limitReached": true
+}
+```
+
+**13/8/11 + `limitReached:true`（`limit:3` 分页）**，与旧契约报告 §7 对照实验的完整节点 13/8 完全一致；元变量四类捕获（NAME/ARGS/RET/BODY）齐全。
+
+### 3.5 (c) 不存在路径 → `pathNotFound`（A3 分歧验收）
+
+`write dvc://ast_grep`，content `{"patterns":["export function $N($$$A)"],"path":"no/such/dir"}`（seq 35 原样）：
+
+```json
+{
+  "matches": [],
+  "totalMatches": 0,
+  "filesWithMatches": 0,
+  "filesSearched": 0,
+  "limitReached": false,
+  "pathNotFound": true
+}
+```
+
+`pathNotFound:true` + `filesSearched:0`——与真 0 命中（§3.2 的 11 文件形态）可区分。✅
+
+### 3.6 (d) 重叠双 op → `overlapping:1`，仅首 op 落盘（A6 分歧验收）
+
+夹具 `.scratch/ast-tool-test/overlap-026.ts`（写前 md5 `fd021aa9ffa0389ba92a1320c6b9e4f3`，内容 `export function overlapTarget(x: number): number {\n  return x * 2\n}`）。`write dvc://ast_edit`，content `{"ops":[{pat:"export function $NAME($$$ARGS): $RET { $$$BODY }", out:"… { /*op1-applied*/ $$$BODY }"},{pat:"function $NAME($$$ARGS): $RET { $$$BODY }", out:"… { /*op2-dropped-overlap*/ $$$BODY }"}],"paths":[".scratch/ast-tool-test/overlap-026.ts"],"dryRun":false}`（seq 42 原样）：
+
+```json
+{
+  "changes": [
+    {
+      "path": ".scratch/ast-tool-test/overlap-026.ts",
+      "before": "export function overlapTarget(x: number): number {\n  return x * 2\n}",
+      "after": "export function overlapTarget(x: number): number { /*op1-applied*/ return x * 2 }",
+      "byteStart": 0, "byteEnd": 67, "deletedLength": 67,
+      "startLine": 1, "startColumn": 1, "endLine": 3, "endColumn": 2
+    }
+  ],
+  "fileChanges": [{ "path": ".scratch/ast-tool-test/overlap-026.ts", "count": 1 }],
+  "totalReplacements": 1,
+  "filesTouched": 1,
+  "filesSearched": 1,
+  "applied": true,
+  "limitReached": false,
+  "overlapping": 1
+}
+```
+
+`changes[]` 只含 op1；盘面复核（seq 49 会话内 `cat` + 会话外 md5 `eab9de680da668fbabe79c22a575c67c`）：
+
+```text
+export function overlapTarget(x: number): number { /*op1-applied*/ return x * 2 }
+```
+
+仅 `/*op1-applied*/` 在场，`/*op2-dropped-overlap*/` 未出现——先入列 op 胜 + 丢弃计数透出，与引擎守卫（`engine/edit.ts` 按 start 升序线性扫描）及单测（`ast-device.spec.ts:299`）一致。✅
+
+### 3.7 (e) `.vendor` 供给链复核
+
+全部 dvc 调用之后：`.test/home/compat/profiles/web/node_modules/better-dsh/.vendor` → **ABSENT**（会话内 seq 56 `ls` 报 `No such file or directory`；会话外复核 exit 2）；`lib/ast-assets` 仍 **16 文件**（seq 56 会话内 `wc -l` = 16）。rig 日志 `grep -icE "omp|oh-my-pi|registry"` → **0**。✅
+
+### 3.8 源码树不变量
+
+`git status --short -- better-dsh/src better-dsh/test better-dsh/package.json` → **空**（live 写盘仅落在 gitignored `.scratch/` 夹具，符合预期）。
+
+## 4. 构建卫生（非验收，记录用）
+
+| 项 | 结果 |
+|---|---|
+| `tsc --noEmit`（host） | **0 错误**（exit 0） |
+| `tsc -p tsconfig.client.json`（client） | **0 错误**（exit 0） |
+| `npx vitest run` | **65 文件 / 705 passed + 1 skipped（706）**，169 s |
+
+## 5. `npm publish` pre-flight checklist（发布闸门，未执行发布）
+
+按 AGENTS §〇：a（本报告第一人称实测）✅ → b（报告落盘）✅ → c（**user 明确放行，待办**）→ d（publish）。当前到 b 为止。
+
+- [x] **registry 目标**: `npm config get registry` → `https://registry.npmjs.org/`；whoami → `pgmi-builds`
+- [x] **版本**: `package.json` `name: better-dsh`, `version: 0.2.5-d`（与安装位一致）
+- [x] **files 列表**: `lib`、`THIRD_PARTY_NOTICES.md`、`docs`、`dsh-docs`、`cordis.patch.yml`、`eval-description.md`、`url-schemes-instruction.md`、`scripts/kernel-provision.mjs`
+- [x] **`npm publish --dry-run`**（未发布，输出尾 8 行原样）：
+
+```text
+npm notice === Tarball Details ===
+npm notice name:          better-dsh
+npm notice version:       0.2.5-d
+npm notice filename:      better-dsh-0.2.5-d.tgz
+npm notice package size:  5.1 MB
+npm notice unpacked size:  27.0 MB
+npm notice shasum:        5b3e3e35e25aaa34ef160035e027767975912217
+npm notice total files:   733
+npm notice
+npm notice Publishing to https://registry.npmjs.org/ with tag latest and default access (dry-run)
+```
+
+- [x] 干跑确认：尾行带 `(dry-run)`，registry 无任何足迹。
+- [ ] **user 放行后**：`npm publish`（真实动作）→ tag `v0.2.5-d`（GitHub 侧可逆，随发布节奏）。
+
+## 6. 偏差与关注项
+
+1. **处方 (a) 预期未按字面达成（已闭环）**：任务处方的 `export function $NAME($$$ARGS)` 不触发 `patternErrors`——单根 pattern 永不匹配≠multi-root 编译失败；本地 0.2.5-d 源码对拍逐字段一致，判定为**处方对旧 §7 根因推断的继承误差**，非产品缺陷。A1 验收由 (a2) 真 multi-root pattern 补齐。建议：后续文档/指引里把"完整节点"口径与"multi-root 才报 patternErrors"口径并列写清（单根残缺 pattern 仍是静默 0 命中，属引擎语义）。
+2. **rig LLM 路由欠费**：三条既有路由 402 QUOTA；本轮以 `zai-plan`（Anthropic 端点）provider 行修复并留作 rig 默认（`agent-default-model` 现为 `zai-plan/glm-4.7`，原 `zai/glm-5.3-flash` 已欠费不可用）。rig home patch 为测试资产，该行建议保留至 paas 路由充值。
+3. **`filesSearched` 双形态口径**（旧 A4，未变）：目录遍历跳过非代码文件、显式单文件计入——§3.2（11）与 §3.6（1）的数字口径不同属设计内。
+4. 首个 QUOTA 失败 turn 的会话（`ac7f2999`/`2ca4edea`）留在 rig home sessions 内，随 home 复用自然沉淀。
+
+## 7. 复现
+
+```bash
+cd ~/workspaces/dashr/better-dsh && npm run build && npm pack
+cd ~/workspaces/dashr
+DSH_HOME=$PWD/.test/home/compat node upstream/deepseek-harness/apps/cli/lib/bin.js plugin --profile web remove better-dsh
+DSH_HOME=$PWD/.test/home/compat node upstream/deepseek-harness/apps/cli/lib/bin.js plugin --profile web add $PWD/better-dsh/better-dsh-0.2.5-d.tgz
+PORT=4998 bash .test/seed/test123/start.sh
+# 认证 + RPC 两段形：POST /（password gate 铸 cookie）→ /api/session/create → /api/session/selectModel（zai-plan/glm-4.7）→ /api/session/prompt（queue）
+# 会话日志：.test/home/compat/sessions/--home-u1-workspaces-dashr--/session-f4122ee1-…/session.v4.jsonl.zstd（seq 21/28/35/42/49/56/74）
+```
+
+## 0.2.5-d 重打包说明（无重验）
+
+版本串按 user 指令从 0.2.6 改为 0.2.5-d。**未重跑 rig 验证**：改动仅为 `package.json` 的 `version` 字段，不触及任何已验证面。等价性证据：重打包后 tgz 内 `lib/` 65 个文件与 0.2.6 验证轮的构建产物 sha256 逐文件一致（清单比对），即发布的就是验证过的那个产物。

package/docs/50_test-reports/2026-10-04-ast_grep/344/270/216ast_edit/345/245/221/347/272/246/344/270/216/350/276/271/347/225/214/345/256/236/346/265/213/346/212/245/345/221/212.md

@@ -0,0 +1,151 @@
+# `dvc://ast_grep` / `dvc://ast_edit` 契约与边界实测报告（2026-10-04，4998 rig）
+
+- **被测面**: `dvc://ast_grep`、`dvc://ast_edit`（better-dsh ast 设备）
+- **环境**: trimmed 安装位 rig，端口 **4998**，`DSH_HOME=.test/home/compat`，安装位 `better-dsh@0.2.5-c`（docs 已瘦身）；文件策略 `danger-full-access`、approval `never`（无审批/沙箱旁路干扰，探针所见即设备行为）
+- **方法**: 在一次性夹具上跑 **20 项探针**，每项都做**盘面复核**（`cat` / `md5sum`）而非只看返回值
+- **与前序报告的关系**: `2026-10-03-better-dsh-tool-surface-repl-dvc-browser-ast-lsp-4999实测报告.md` 的 §4/§5 是**面**的覆盖（设备能不能用）；本篇是**契约与边界**面（参数语义、错误路径、跨语言、越界、分页），并关闭其 §9 遗留项 `dvc://ast_edit 相对路径未复测`
+- **判定**: 两设备功能面 **全绿**（19/20 行为符合预期）；新增 1 条**错误静默**行为面（A1），非功能缺陷但属可用性/可诊断性缺口
+
+---
+
+## 0. 一句话
+
+`ast_grep` / `ast_edit` 在 trimmed 安装位上功能完整（AST 级匹配、元变量、分页、多语言、目录递归、dryRun 默认安全、真写盘字节级正确）；主要风险不在功能而在**失败模式的静默**——0 命中、坏 pattern、路径不存在三者返回值不可区分。
+
+## 1. 被测面口径
+
+两个设备都用「对设备 URI 执行 `write`」的方式驱动，args 为 JSON 对象：
+
+- `ast_grep`: `{patterns: string[], path?, offset?, limit?, includeMeta?}`
+- `ast_edit`: `{ops: [{pat, out}], paths: string[], dryRun?}`
+
+## 2. 夹具与不变量
+
+夹具 `.scratch/ast-tool-test/`：`sample.ts`（TS，含 interface/function/箭头函数/legacy function）、`sample.py`（def/class/print）、`notes.md`、`data.json`。
+
+| 文件 | 初始 md5 | 终态 md5 |
+|---|---|---|
+| `sample.ts` | `adfa9abc6ac2e1340cb8812a6b07e6ff` | `0af459a01c4eae5619950ca88ae3160f` |
+| `sample.py` | `e75c4312a714c0e9dd4f05da0146fa05`（首改后） | `e75c4312a714c0e9dd4f05da0146fa05` |
+| `notes.md` / `data.json` | — | 全程未变 |
+
+**不变量结论**：dryRun 期盘面零改动；真写盘期仅目标文件变化；**零命中真写盘后 md5 与写前逐字节相同**（无空改/重排版）。
+
+## 3. `ast_grep` 探针矩阵
+
+| # | 探针 | 结果 |
+|---|---|---|
+| 1 | 5 pattern 同发（其一带故意不匹配项），`includeMeta:true` | ✅ 4 命中，`totalMatches:4`；`metaVariables` 正确（`NAME`/`MEMBERS`/`A`/`ARGS`/`BODY`） |
+| 2 | 省略 `path` | ✅ 基准 = **进程 cwd**，扫 **313** 文件；`node_modules` / `.git` 被静默跳过 |
+| 3 | 目录 + 正命中 pattern | ✅ 196 文件扫出 15 命中；`limit:3` 时 `limitReached:true` |
+| 4 | `offset:3, limit:3` | ✅ 返回**第 4–6 条**，与第 1 页不相交（分页真实生效） |
+| 5 | Python 语法 pattern（`def`/`print`） | ✅ 命中；**语言由扩展名推断** |
+| 6 | `includeMeta` false / true | ✅ 两形态均正确 |
+| 7 | 不存在的文件 | ⚠️ **不报错**，`filesSearched:0`、零命中 |
+| 8 | 畸形 pattern | ⚠️ **不报错**，零命中，`filesSearched:1` |
+| 9 | 缺 `patterns` | ✅ 硬报错：`` `patterns` must be a non-empty array of strings `` |
+
+**目录扫描语义**（由 #2 #3 与 §5 交叉验证）：
+
+- 目录遍历时 `.md` / `.json` **不进搜索集**（`better-dsh/src` 196 文件 vs 显式传单文件时把非代码文件也算 1）
+- 显式传单个非代码文件时会计入 `filesSearched`（**计数语义在两种调用形态下不可比**，见 A4）
+- `totalMatches` = 全量命中数；`limitReached:true` 只表示**返回页被截断**
+
+## 4. `ast_edit` 探针矩阵
+
+| # | 探针 | 结果 |
+|---|---|---|
+| 10 | **省略 `dryRun`** | ✅ 默认 `true`：`applied:false`，md5 未变（fail-safe 默认） |
+| 11 | `dryRun:false`，2 条 op | ✅ 两条均落盘；md5 `adfa…`→`0af4…`，`cat` 复核 `console.log(msg)`→`logger.info(msg)`、`function legacyThing` → 箭头函数 |
+| 12 | Python 文件 | ✅ `print(...)` → `sys.stderr.write(...)` |
+| 13 | `paths` 传**目录** | ✅ 递归生效，`filesSearched:2` |
+| 14 | `paths` 传**绝对路径（workspace 之外 `/tmp`）** | ✅ 直接写入成功；返回 `path` 为未规范化的 `../../../../tmp/…` |
+| 15 | **重叠** op（两 pattern 命中同一节点） | ✅ 先入列者胜；**遮蔽的 op 静默消失**（源码有重叠守卫，见 A6） |
+| 16 | 不存在的路径 | ⚠️ `applied:true`、零改动、**不报错** |
+| 17 | 畸形 pattern | ⚠️ `applied:true`、零改动、**不报错** |
+| 18 | 缺 `paths` | ✅ 硬报错：`` `paths` must be a non-empty array of strings `` |
+| 19 | 真写盘但零命中 | ✅ 文件**逐字节未变**（无重排版/空改） |
+
+## 5. 交叉验证（防假阴性）
+
+对 #3 的**零命中**结果做了独立 ground truth 核对，防止把「工具坏了」误判成「确实没有」：
+
+```bash
+grep -rn 'console\.log' better-dsh/src | wc -l     # → 0（与 ast_grep 结论一致，非假阴性）
+grep -rn 'export function' better-dsh/src/devices/ast | wc -l  # → 10
+```
+
+经验法则：**`totalMatches:0` 但 `filesSearched>0` 时，先 grep 证明目标是否存在，再检查 pattern 是否完整节点。**
+
+## 6. 发现清单
+
+| ID | 严重度 | 面 | 现象 | 建议 |
+|---|---|---|---|---|
+| **A1** | 中（可诊断性） | 两者 | **不完整 AST 节点 pattern 静默零命中**。见 §7 根因分析 | 把 `Multiple AST nodes are detected` 透出为 `unavailable`/`patternError` 字段，而非回落空结果 |
+| **A2** | 低（语义） | `ast_edit` | `applied` = 「本次不是 dryRun」，**不等于「有文件被改」**：#16/#17 零改动仍回 `applied:true` | 改名或补 `changed:boolean`；判定用 `filesTouched`/`totalReplacements` |
+| **A3** | 中（可诊断性） | 两者 | **三类失败不可区分**：真实零命中 / 坏 pattern / 路径不存在，返回值形状一致 | 至少区分「路径不存在」（#7 #16 已有 `filesSearched:0` 可作信号，但未标错） |
+| **A4** | 低（语义） | `ast_grep` | `filesSearched` 两形态不可比：目录遍历跳过非代码文件，显式传单文件却计入 | help 里明确计数口径 |
+| **A5** | 中（安全面） | `ast_edit` | **无 workspace 边界**：绝对路径可写 workspace 之外（#14 `/tmp` 实测成功），且返回路径未规范化 | 明确「设备无沙箱，边界由 approval/policy 层负责」；或规范化显示路径 |
+| **A6** | 观察（正面） | `ast_edit` | 重叠编辑有**显式守卫**（`src/devices/ast/engine/edit.ts` 内按 start 升序线性扫描 + `overlapping` 计数），先入列 pattern 胜——**非未定义行为**；但该计数**未出现在设备返回体中**，故从 API 看仍表现为静默 | 把 `overlapping` 透出到返回值 |
+
+## 7. A1 根因分析（不完整节点 pattern）
+
+**触发**：`{"patterns":["export function $NAME($$$ARGS)"],"path":"better-dsh/src/devices/ast"}` → `totalMatches:0`、`filesSearched:11`。
+
+**根因（代码路径排除法）**：`src/devices/ast/engine/match.ts` 中 `findInSource` 的 `root.findAll(pattern)` 外包了一层 catch：
+
+```ts
+} catch (error) {
+  if (error instanceof Error && error.message.includes(MULTI_NODE)) return { matches: [], unavailable: false }
+  throw error
+}
+```
+
+`MULTI_NODE = 'Multiple AST nodes are detected'`（同文件 :13）。该 catch 是**唯一**回落为空的分支，其余错误一律 rethrow（设备层会显式报错，如 #9/#18 所见）。既然 #A1 与 #17 都没有报错、只回空结果，**只能**是命中该分支：pattern 只写了签名（缺函数体），不是完整 AST 节点，ast-grep 抛 `MULTI_NODE` 后被吞掉并伪装成「无命中」。同族处理见 `engine/edit.ts:55`（`continue` 跳过）。
+
+**对照实验（同目录，同一设备）**：
+
+| pattern | 结果 |
+|---|---|
+| `export function $NAME($$$ARGS)`（用户处方，不完整节点） | `totalMatches: 0`（静默） |
+| `export function $NAME($$$ARGS) { $$$BODY }` 等三条完整节点 | **`totalMatches: 13` / `filesWithMatches: 8`** |
+
+**规避**：pattern 必须写成**完整 AST 节点**；0 命中时先按 §5 交叉验证。
+
+## 8. 相对路径基准（前序 F1 复验）
+
+前序报告 F1 记录：相对 `path` 基准 = harness 进程 cwd，`"better-dsh/src"` 直接 `Path not found`。该问题已在 `2026-10-03-physical-import与llm-completion-ast相对路径修复实测报告.md` §三 修复（基准改为会话 workspace）。
+
+**本轮复验（trimmed 安装位 0.2.5-c）**：`path:"better-dsh/src"`、`path:".scratch/ast-tool-test/..."` 等**相对路径全部直接可用**，扫 196 / 1 文件均符合 workspace 基准预期；`paths` 侧同样通过。**F1 判定：已修复，本轮无回归。** 前序 §9 遗留项「`dvc://ast_edit` 相对路径未复测」**关闭**。
+
+## 9. 未覆盖 / 遗留
+
+- 未测 `.tsx/.jsx/.go/.rs` 等其余 grammar（仅验 TS + Python 两语言）
+- 未测 `include`/`glob` 过滤与 `maxFiles`(默认 1000) 上限边界
+- 未测 `parseErrors[]` 路径（未构造语法错误文件）
+- 未测超大文件/超多文件下的性能与截断行为
+- **未改任何源码**：本篇只记录行为面；A1/A2/A3/A5/A6 若要收，属 `better-dsh/` 源码变更，须走 build → rig 实测 → 报告 → 发布的老闸门
+
+## 10. 复现
+
+```bash
+# 夹具
+mkdir -p .scratch/ast-tool-test && cat > .scratch/ast-tool-test/sample.ts <<'EOF'
+export function describeProbe(cfg: { name: string }): string {
+  console.log(cfg.name)
+  return cfg.name
+}
+function legacyThing(a, b) { return a + b }
+EOF
+
+# A1 对照：不完整节点 vs 完整节点（在任意 4998/4999 会话内对 dvc:// 设备 write）
+# ① {"patterns":["export function $NAME($$$ARGS)"],"path":"better-dsh/src/devices/ast"}          → totalMatches:0（静默）
+# ② {"patterns":["export function $NAME($$$ARGS) { $$$BODY }"],"path":"better-dsh/src/devices/ast"} → totalMatches:13
+
+# dryRun 默认安全复验：省略 dryRun → applied:false，随后 md5sum 应不变
+# {"ops":[{"pat":"console.log($A)","out":"logger.info($A)"}],"paths":[".scratch/ast-tool-test/sample.ts"]}
+```
+
+---
+
+**发布闸状态**：本篇为**观察性实测**，不含 `better-dsh` 版本变更；`npm publish` 不在范围内（按根 AGENTS.md 〇节，仍需 user 单次明确放行）。

package/docs/dev-test-environment-notes.md

@@ -0,0 +1,137 @@
+# 开发环境拓扑与历史记录（根 AGENTS.md 迁出）
+
+本文件按需阅读，不是自动加载的行为总纲。以下保留 2026-10-06 迁出时的原文，包含已退役路径、旧版本验证与待勘误事项，不能当作当前操作手册照抄。
+
+现行通用开发与测试规范以 [Cordis-dsh-dev-test-guides.md](../Cordis-dsh-dev-test-guides.md) 为准；rig、启动和测试资产以 [.test/README.md](../.test/README.md) 及对应 seed 文档为准。遇到冲突先核实当前脚本和上游官方入口，不将历史 workaround 当作必需机制。
+
+## 二、Dev/Test 1：源码级 4999 实例（upstream checkout + 内嵌 dashr）— 推荐回归路径
+
+整个 harness 从源码跑，dashr 作为 workspace 成员内嵌其中，与 prod 完全隔离。**2026-09-02 已全链路验证。**
+插件开发与测试环境的现行规范见仓库根 `Cordis-dsh-dev-test-guides.md`（两层文档制的第二层，2026-09-27 起；冲突以其为准）；本节记录本仓拓扑事实，rig 清单（含 bun distro 产物 rig `bun-test`）见 `.test/README.md`。
+
+### 组成（2026-09-24 重构：干净 harness + plugin-add 交付形态；旧 monorepo 内嵌流已退役）
+
+- Harness: `./upstream/deepseek-harness`，git tag **`dsh-v0.1.7-rc.1`**（2026-09-24 全新 clone 重建；本地 patch：unrun devDep / root vite devDep（rc.1 新增，apps/desktop tsdown config 运行时 import vite，unrun 缓存目录解析不到）/ storeDir+verifyDeps+zeromq+ssh2 / tsdown `resolveRepositoryRoot` / vite preact 三件套，重放流程与坑见 `docs/50_test-reports/2026-09-24-v0.1.7-rc.1对齐轮-compaction与failover设置面修复实测报告.md` §四）。**upstream 内不允许出现 better-dsh 的任何内容**（旧 `packages/better-dsh/` 内嵌副本 + devDeps 手术 + sync 脚本已于本轮废除）。
+- better-dsh **独立开发**：devDependencies 不含任何 `@deepseek-ai/*`（范围符号在 peerDependencies = 发布契约）；`node_modules/@deepseek-ai/*` 由 `scripts/link-upstream.mjs` 生成 symlink 农场指向 upstream 物理包——upstream 换 tag 后 farm 自动跟随（目录级 symlink），package.json 零改动。`.npmrc` `legacy-peer-deps=true` 防 npm 自动装 optional peers（tuple 规则会解析到三代前的 0.1.5-rc.3）。开发循环：`npm run build` → `tsc --noEmit`（0 错基线）→ `npx vitest run`（600/601）。
+- 测试 rig **`.test/seed/test123/`**（现行，README 有完整种子再生步骤）：home 在 `.test/home/`（2026-09-27 裁决：**home 复用不换场**——`compat/` = 默认长寿命 home，user data 与 `.credentials.yaml` 是测试资产跨重置保留；`RIG_HOME=clean` 仅在专门验证首次行为时临时建一个、用完即删；gitignored）；~~`profiles/node_modules/@deepseek-ai/*` symlink 农场~~ **已于 2026-09-26 删除**（user 指令；0.1.7 安装域拦截供给全部 harness 面——无农场 boot 实证：shell 200 + boot graph 含 better-dsh + client.js 200 + zoom-guard/`__DASHR_MOBILE__` host 半注入在位、日志零解析错误；rig 与 prod 解析模型现完全同构）；profile `web` 的 better-dsh 是 **`dsh plugin add <tarball>` 物理安装**（入场一律走 plugin add；`npm pack` 出交付物 → add → 重启；remove→add 一个来回才能刷新 file: tarball 内容）。旧 `.tests/dsh-test1/` 与 `.dsh-test/` 已删除（2026-09-24 清理，`.test/` 布局落地）。**0.1.7 settings 模型**：namespace = Loader entry id（如 `dashr-failover`），`installSection` 已删；volatile 字段 + `settings.configure({auto:false})` + configEditor 落 profile patch 用户层（upstream `agent-default-model` 范式）。
+
+### harness 本地 patch（该环境必须，缺一 build 即挂）
+
+1. `packages/client/tsdown.client.ts`: `REPOSITORY_ROOT` 由 `resolveRepositoryRoot()` 推导（`pnpm-workspace.yaml` 锚定，`process.cwd()` 兜底）。原因: 本机 Node 22.22.1 `process.features.typescript=false` → tsdown auto loader 选 unrun，unrun 的 bundle 级 define 把内联 preset 的 `import.meta.url` 改写成各包入口 config 的 URL，`packages/*/*` 深度下 `../..` 落到 `<repo>/packages/`，manifest glob 全空 → `no packages/*/*/package.json declares the name …`。upstream CI 的新 Node 走 native loader，看不到此问题。
+2. `pnpm-workspace.yaml`: `storeDir: /home/u1/workspaces/dashr/.scratch/pnpm-store` + `verifyDepsBeforeRun: false` + allowBuilds `zeromq: true`（better-dsh 自 0.2.2-a 起零 lifecycle script，无自身 allowBuilds 条目）。原因: pnpm 11 不读 `.npmrc`；默认 deps-check 会 spawn `pnpm install`，向只读的用户级 store 注册 project → EROFS；strictDepBuilds 下未列 build script = install 硬错。
+   （**另记 2026-09-13**：`pnpm add` 之后 `npx vite` 会从根解析到 vite 8/rolldown——web 构建一律走 `pnpm run build:web`（workspace 内 vite 6.4.3），勿用 npx 直呼。）
+3. **（2026-09-13，change `2026-09-13-preact-ui-shell`）** `apps/web/vite.config.ts`: `resolve.alias` 增 react 家族五条 → `preact/compat`（regex 锚定）+ `resolve.dedupe` 增 `'preact'`（dedupe 条目从本包 node_modules 解析——缺它则 `packages/client/web/lib` 的 seed 解析不到 apps/web 里的 preact）；`apps/web` devDeps 加 `preact@10.29.8` 精确 pin。效果：shell 平台种子物化 preact 实例，全部 ui-* 插件 bundle 的 `require("react")` 零改动获得 Preact；shell index chunk 555,959 → 434,173 B（−21.9%），A/B 实测挂载面一致、console 零错。**同一 patch 顺带根除了 `vendor/CLAUDE.md` ENOTDIR/exit 236 老坑**：`vendor/` 根下的三个文档文件（AGENTS/CLAUDE/README.md）撞 `vendor/*` workspace glob——**0.1.6 起 `vendor/docs/` 也不行**（tsdown root tsdown.config 的 `vendor/*` workspace glob 会把无 package.json 的目录当幻影包，整 build 死，见对齐轮 §七），三个文件现放 **`.scratch/vendor-docs/`**（vendor 根下不允许存在任何子目录缺 package.json）。
+### 构建（setup 或 harness 变更后）
+
+```bash
+cd ~/workspaces/dashr/upstream/deepseek-harness
+pnpm install        # store 已重定向到 .scratch/pnpm-store
+pnpm run build      # tsc lib/types + tsdown host/client + vite web + client build record（0.1.5-rc.2: 234 client artifacts，含 build:native-system）
+```
+
+### 启动 / 重启
+
+```bash
+# 2026-09-24 起：测试实例一律用 `bash .test/seed/test123/start.sh`（PORT=xxxx 可覆盖，默认 4999；
+# LAN 中继默认开——socat 只绑 LAN IP 转发 loopback；webserver 只收 127.0.0.1|0.0.0.0 字面量
+# 且 startup 硬拒 0.0.0.0，直接绑 LAN IP 不可能）。脚本自带：停旧+等端口真释放、
+# 测试口无主化接管（2026-09-27 裁决：占口者属测试 unit 即停掉接管，非测试监听才拒绝）、
+# seed 感知输出（seed 持久时明说 cookie 仍有效）、本 boot token 轮询提取（append 日志防串台）。
+# 脚本内部即下面的 canonical 命令（unit dsh-4999-test123 + test123-lan-4999-relay）：
+systemctl --user stop dsh-4999-test123 test123-lan-4999-relay 2>/dev/null
+systemd-run --user --unit=dsh-4999-test123 \
+  -p WorkingDirectory=/home/u1/workspaces/dashr/upstream/deepseek-harness \
+  -p Environment=DSH_HOME=/home/u1/workspaces/dashr/.test/home/compat \
+  -p 'Environment="DSH_TRUSTED_HOSTS=test.pc.randomhash.app pc.randomhash.app 192.168.31.130"' \
+  -p 'UnsetEnvironment=DISPLAY WAYLAND_DISPLAY' \
+  -p StandardOutput=append:/home/u1/workspaces/dashr/.scratch/dsh-4999-test123.log \
+  -p StandardError=append:/home/u1/workspaces/dashr/.scratch/dsh-4999-test123.log \
+  "$(which node)" apps/cli/lib/bin.js web --no-open --port 4999
+# ⚠⚠ 2026-09-22 双平面修复起：boot 必须走**构建产物** `apps/cli/lib/bin.js` + 裸 node，
+#   勿再用 `node --import tsx/esm apps/cli/src/bin.ts`（tsx 源码启动）！
+#   根因（dual-plane symbol split）：tsx 源码启动下 TS 文件经 tsconfig.base.json `paths`
+#   落 src/，而 plugin loader 把组合行解析到构建 lib 的 file URL → 同进程两份
+#   dsh-tools/cordis 模块实例 → `Symbol('@deepseek-ai/dsh-tools.scheduler')` 键在
+#   lib 侧 ToolRuntime 与 src 侧 agent-loop 之间错位 → 每个 session 的**第一个工具调用**
+#   必崩 `Cannot read properties of undefined (reading 'prepare')`（UNKNOWN），孤儿
+#   tool/call 事件毒化 session log → 后续每轮 DeepSeek INVALID_REQUEST "tool calls
+#   need immediate results"。const enum（如 cordis `FiberState`）使 paths-less 收敛
+#   不可行——唯一正解 = 产物面启动（与 prod 同构）。lib/bin.js 前置条件：改动 src 后先
+#   `pnpm run build` 全量。A/B + 真 session 证据见
+#   `docs/50_test-reports/2026-09-22-4988双平面启动修复实测报告.md`。
+# ⚠ 与 prod 对齐的两行必须带：DSH_TRUSTED_HOSTS（fence + web-trust authorities 单源，
+#   覆盖 test.pc… / pc.randomhash.app / LAN）与 UnsetEnvironment=DISPLAY WAYLAND_DISPLAY
+#   （prod dsh.service 同款——否则 directory-picker auto 在图形 env 下选 native，zenity
+#   弹在宿主桌面，经 Caddy 远端访问时 Add workspace 表现为无响应后置灰；2026-09-08 实证）
+# user 终端（非沙箱）等价简式:
+# cd ~/workspaces/dashr/upstream/deepseek-harness && DSH_HOME=~/workspaces/dashr/.test/home/compat node apps/cli/lib/bin.js web --no-open --port 4999
+# ⚠ 旧简式 `npm run dsh -- web …`（内部 tsx 源码启动）自 2026-09-22 起禁止用于回归验收——同上双平面必崩
+#   （`--dump-config` 这类 config 面检查不受影响，仍可用 tsx 形态）。
+```
+
+> **勿从 agent 沙箱化 bash 直接拉 daemon（2026-09-03 实证）**：沙箱内启动的 daemon 继承嵌套沙箱环境，其 bwrap 功能探测（`sandbox-local defaultProbeBwrap`）报 `No permissions to create a new namespace` → `SANDBOX_UNAVAILABLE`（agent bash 无沙箱后端）。systemd-run --user 在沙箱外启动（对齐 prod 形态）；沙箱内连 user bus 会被拒，需单命令 `danger-full-access` 升级。stop/日志：`systemctl --user ... dsh-4999-test` / `.scratch/dsh-4999.log`。
+
+- token（`?token=`）是 per-boot 进程内随机 launch token，只负责首铸 cookie；**认证 seed 持久在 `$DSH_HOME/.credentials.yaml`**——home 不换则 seed 不变，**浏览器 cookie 30 天内跨重启直接可用，重启 rig 不需要换 token / 重注 cookie**（2026-09-27 裁决；机制见 guide §3.3）。从 `.scratch/dsh-4999-test123.log`（或 start.sh 输出）取 token URL；curl 冒烟需 cookie jar: `curl -c jar -L '<token-url>'`（303 重定向靠 cookie 保认证）。
+- 数据只落 `.test/home/compat/`（sessions/storages），与 prod 隔离；重置只动 `profiles/web`，user data 保留。
+
+### 日常回归循环（recurring，2026-09-24 起：交付形态）
+
+canonical 构建 → 验收走 tarball；快速迭代走 profile 内物理 lib 替换（**只碰 profile，永不碰 upstream**）：
+
+```bash
+cd ~/workspaces/dashr/better-dsh && npm run build        # tsdown + build-client
+# 快路径（client 半边改动）：直接覆盖 profile 里的物理安装，刷新页面即生效
+rsync -a --delete lib/ ~/workspaces/dashr/.test/home/compat/profiles/web/node_modules/better-dsh/lib/
+# host 半边改动：同上覆盖后重启（start.sh）
+# 阶段性验收（发布前必走）：npm pack → remove → add → 重启
+cd ~/workspaces/dashr && DSH_HOME=$PWD/.test/home/compat node upstream/deepseek-harness/apps/cli/lib/bin.js \
+  plugin --profile web remove better-dsh
+DSH_HOME=$PWD/.test/home/compat node upstream/deepseek-harness/apps/cli/lib/bin.js \
+  plugin --profile web add $PWD/better-dsh/better-dsh-<version>.tgz
+bash .test/seed/test123/start.sh
+```
+
+- **⚠ file: tarball 内容更新 pnpm 不自动刷新**（同版本同路径 → `added 0`）：改完包必须 remove → add 一个来回，别信 add 幂等。
+- **⚠ lib/client 清洗陷阱仍在**：tsdown 清空 lib/ 会抹掉 lib/client/，`npm run build`（= tsdown && build-client）已串好两步，勿单跑 tsdown。
+- 验证：boot graph 含 `"id":"better-dsh"`；`/plugins/??better-dsh/client.js&rev=…` 200；Settings/General 两行在（compaction stepper + failover selects）。
+- `--dump-config`：`DSH_HOME=… node upstream/deepseek-harness/apps/cli/lib/bin.js web --dump-config | grep -A2 dashr-repl`。
+
+### 已验证 / 未验证
+
+- ✅ `dashr-repl` 工具行 + `DASHR_KERNEL_PYTHON` config 注入；web shell + assets HTTP 200；`.dsh-test/storages/workspace.json` 落盘。
+- ✅ **kernel 三级供给**（2026-09-03，change `kernel-provisioning-completeness`）：postinstall/spin-up/首用 lazy 全 fail-open；冷启动 spin-up 自动重建 venv（pinned ipykernel 7.3.0 / dill 0.4.1 / CPython 3.11，无 uv 时 python3-venv 兜底 3.14.4 实测兼容）；uv cache 重定向包内 `.uv-cache`，只读 HOME 实测无碍；一页文档 `docs/kernel-provisioning.md`。
+- ✅ **client 卡片半边已通**（2026-09-03，change `model-failover-settings-surface`；2026-09-03 npm 改名后 id 为 `better-dsh`）：副本内构建用 **`tsx scripts/build-client.ts` 直跑**（33ms；⚠ `npm run build-client` 在 monorepo 副本必死——npm 自身 pre-script 的 workspace 枚举读 pnpm-workspace `vendor/*` glob 匹配到普通文件 CLAUDE.md → ENOTDIR/exit 236，与脚本无关）；验证法：鉴权拉 shell 页 → boot graph 应含 `"id":"better-dsh"` 与 `/plugins/??better-dsh/client.js&rev=…` URL → curl 该 URL 200 且与 `lib/client/index.js` 字节一致（服务端仅追加 sourceMappingURL 行）。原生注册路径已核实：settings 行 = client bundle 内 `ctx.slots.inject('settings.general.item', …)`（与 locale/ui-chat 原生行同构）。
+- ✅ **web-trust 双腿 + mobile-layout 随插件发布**（2026-09-03，change `plugin-shipped-ui-patches`，v0.2.1-f；**round-4 手势整体重写为 z_dsh-alpha `1706b81` 逐条照搬**，commit `0676811`）：**fence 腿** = bundle patch 整行重述 `connection` 行（`trustedHosts: !!js (process.env.DSH_TRUSTED_HOSTS ?? '').split(/\s+/).filter(Boolean).concat(ctx.webRuntime.trustedHosts)`；⚠ `!!js` 是 scalar tag，表达式**不能以 `[` 开头**否则 yaml 按 flow-seq 拒收）；**isLoopback 腿** = host 半 `webserver/index-inject` 内联 boot script（trusted hostname → `window.__DSH_TRANSPORT__={ownsHost:true}`；mobile 阈值 → `__DASHR_MOBILE__`——client 半无 config，页面全局即配置通道）；**mobile 手势 = 旧 ui-layout 补丁 exact port**：X120 左缘带 / 右 3/4 起点区（viewport/4）/ 距离 40px / 水平占优 ×1.3 / 断点 <768 / **pointermove 中途一次性触发**（pointerup 判定被浏览器滚动手势 pointercancel 吃掉 = "必须快划"的根因）/ document 捕获监听 / 右面板 = Better Sidebar 浮层，经 `[data-dsh-toggle-cluster]` 末按钮 DOM click、状态读 `body[data-dsh-sidebar-collapsed]`、会话门槛读 `[data-slot="conversation.session.header"]`；**唯一增量** = 速率门 `swipeVelocityPxPerMs` 默认 0.15（0=关闭）。round-2 发明的 48/28 值已废弃。425/425 + tsc 0；4999 经用户真实 URL `https://test.pc.randomhash.app` CDP 实证（开/关左栏 + 开/关右栏 + Models provider 列表全过；该域名已入 trustedPageAuthorities）。报告 `docs/50_test-reports/v0.2.1f-plugin-shipped-ui-patches实测报告.md`。
+
+- ✅ **iOS focus 放大抑制 zoomGuard**（2026-09-03，change `ios-focus-zoom-suppression`，v0.2.4，commit `59870fc`；纯 host 半，client 零改动）：boot script 增 zoomGuard 段 —— iOS 系 UA（iPhone|iPod|iPad + iPadOS 桌面冒充 Macintosh&&maxTouchPoints>1）∧ 窄视口（`matchMedia('(max-width:'+(breakpoint-0.02)+'px)')`，断点复用 mobile.breakpoint）双门控下 token 级合并 viewport meta `maximum-scale=1, user-scalable=no`（幂等、可还原、resize + MQ change 双通道复评 + **早期载入重评梯子** ~10ms×200tick —— 引擎载入期应用 viewport 不派发 resize 的实测缺口，deferred focus 可先于事件补评）；**mobile 配置面新增 `zoomGuard`**：`'meta'`（默认，**v0.2.5 起自动双形态**：browser=meta 改写 / standalone=字号地板）| `'off'`（逃生门，'off' = 整段不发射），`'font'` 值位预留不进 enum（未实现值 fail-loud）。五个纯函数（`src/mobile/zoom-guard.ts`，ES5 自包含）经 `Function.prototype.toString` 嵌入 boot script = 单测源即发布源。**关键机制发现**：head 注入 splice 在 `<head>` 开标签紧后 = stock viewport meta 后于脚本解析 → provisional meta + MutationObserver reconcile（stock 插入时改写其本体并移除 provisional，单 meta 文档，S7 查表第 8 条盯两查点）。**v0.2.5 display-mode 分流**（2026-09-03，change `zoomguard-standalone-font-floor`，tag `v0.2.5`；真机实证：standalone PWA 态引擎尊重 `user-scalable=no` → pinch 失效）：iOS 门后、meta 机器前一次性判定 standalone（`(display-mode: standalone)` MQ ∨ `navigator.standalone===true`，严格 `=== true` 双源 OR）→ 注入 `<style id="ios-zoom-font-floor" data-plugin="better-dsh" data-plugin-css="better-dsh/zoom-font-floor">`（16px 字号地板，`@media (max-width:{bp-0.02}px)` 与 meta 腿同派生 768→767.98；**注入不设宽度门**，宽度由 CSS media query 表达）后 return —— 零 meta 机器/零监听/零 timer/零窄带 MQ 探针，meta 字节不动；browser 态 v0.2.4 机器原样，'off' 两形态都不发射（web-trust 门不变零改动）。478/478 + tsc 0。466/466 + tsc 0（v0.2.4）；**4999 已验**（CDP 矩阵 9/9 + off 逃生门 live + 桌面 user 复验，报告 §八；v0.2.5 双形态 CDP 待 lead，报告 §九）；真机 PWA 复验待 user（报告 `docs/50_test-reports/v0.2.4-ios-focus-zoom-suppression实测报告.md`，键盘遮蔽自愈判定驱动 follow-up 取舍）。CLI 注：`web` 子命令不认 `--patch`，config 覆盖走 home 层 `cordis.patch.yml`。**发布定格（2026-09-03 user 裁决）**：本地过程版本 0.2.4/0.2.5 的 tag（v0.2.3~v0.2.5）已清，npm/GitHub 发布为 **`0.2.2-b` / tag `v0.2.2b`**（0.2.2 系列顺延；真机全过后 user 以普通用户身份从 npm 装 prod 实测）。
+
+- ✅ **hashline content-locator**（2026-09-08，change `2026-09-08-v0-2-3b-hashline-content-locator`，v0.2.3-b）：served 账本去 session 化（schema v7，**path 主键**，`E_RANGE_UNVERIFIED` 跨会话类消灭）、集中存储 **`$DSH_HOME/storages/dsh-better-edit/`**（`configDir()` 无参化，终结 12 个 workspace 点目录——"到处拉屎"裁决落地）、verifyServedRange 内容快道（账本双界未见→内容放行；STALE/UNSERVED 保留；retryHint 改 read-once-then-resubmit）、write-hook 删除（write 仅上游确认信封，无锚点回放）。单测 `test/hashline-store.spec.ts` 12/12；全量 491/2（2 挂经 stash 基线证实先于本改动）；4999 第一人称实测通过（write 无回放 / 中心库无 session_id 列 / 无点目录 / read-then-edit 落盘）。实测定性：宿主 `dsh-fs-observation-policy` 的 `E_NOT_OBSERVED`（read-before-edit）为跨会话 edit 的**另一道设计内守卫，保留**。报告 `docs/50_test-reports/v0.2.3b-hashline-content-locator实测报告.md`。**新坑**：副本构建必须 `pnpm --filter better-dsh exec tsdown`——裸跑 `node_modules/.bin/tsdown` 产出 `.mjs` 形态，boot 即 `ERR_MODULE_NOT_FOUND lib/index.js`。已发布 **v0.2.3-b**（npm registry 2026-09-08 18:15 UTC+8，dist-tag `latest`）并部署 prod（18:19 装机、18:44 重启上线，中央 v7 库活体——本 3080 实例即运行其上）。
+
+- ✅ **mobile wave：官方寻址 + 状态驱动响应式**（2026-09-11，对齐 0.1.5-rc.2；**已发布 `0.2.3-c` / tag `v0.2.3c`**，npm dist-tag latest，含随批的 0.1.5 对齐移植；prod 3080 未部署——user 未指令，待 user 以普通用户身份自装实测）：①**手势状态输入只认官方面**（红线，起因：旧实现把 readRightOpen 挂在第三方 Better Sidebar 的 body 属性上，插件移除后恒 true 毒死整个状态机——左滑右滑全灭）；左栏 = `ctx.layout.toggleSidebar()` + AppFrame `[data-sidebar-collapsed]`，右栏 = 官方控件 `[data-sidebar-right-expand]`（会话头角落，开）/`[data-sidebar-right-toggle]`（dock chrome，关；store 动作 setExpanded/toggleExpanded 为 slot-store 内部，跨插件硬边界 → 原生按钮即正规入口）+ 状态读双 facet：`[data-rightbar-fullscreen]` 在场即开（手机全屏右栏不占轨道、`data-rightbar-collapsed` 同场在场——单 facet 读法致右滑误开左栏，user 真机诊断后修复）。②**响应式零自设像素阈值**：CSS 键纯 `[data-sidebar-collapsed]`（无 @media）——上游 auto-collapse（今日 1024）为真收 56px rail 时我们压成 0px，上游改阈值自动跟随；手势 band = 粗指针（`pointer: coarse`）∨ 任一面板处于窄态，细指针全静息（桌面文本拖选永不误触）。③**`mobile.breakpoint` 配置删除**（schema+boot payload+client），zoomGuard 自带内部 768 兜底不受影响；所谓"mobile 配置卡"从未存在过（client 半唯一设置行是 failover）——MOBILE_CONFIG 一直是纯配置文件面。425→492 tests + tsc 0（monorepo 0.1.5-rc.2 手术环境）；4988 已部署活体 + user iPhone 真机确认（"没有问题，是成功的"）；0.1.3-alpha.2 prod host 兼容矩阵源码核验通过（stat/open、sendMessage、ptc-dispatch-log 均在；`tool/ptc-dispatch` 事件 vocabulary-growth 容忍 = 降级不破坏，host 升 0.1.5 自愈），报告 `docs/50_test-reports/v0.2.3c-mobile-wave实测报告.md`。
+
+
+- ✅ **REPL 指引单源化：control prompt 并入 eval description**（2026-09-11，change `2026-09-11-control-prompt-into-eval-description`，**已发布 `0.2.3-d` / tag `v0.2.3d`**）：`dashr:control-prompt` + `dashr:tool-catalog` 两 system-prompt section 整体删除，全部 REPL 指引改由 **`eval` 的 wire description** 承载（内容 = 包根 `dashr/eval-description.md`，`package.json files` 同步——坑：漏列即模块期 readFileSync ENOENT、插件加载即死，实测已修）；`src/py-sdk.ts` 渲染器整体拆除只留 `isFlatBindableName`；桥接口径 = 统一调用形一句话（`await tool.<name>(args)` 单位置参数对象，`true/false/null`→`True/False/None`），**对返回值形态零陈述**（user 裁决：明写"不保证/试错"抑制使用）；示例键 `path`（D1 修正——注意 vendored `normalizeRequest` 的 `file_path→path` 别名仍在，旧键侥幸可用，见报告 §5.1）。提示面 A/B：两 section **−8,759 chars**（本 change 净 −52.6%，残余 +1,944 为 v0.2.3-b hashline 指引）。实测报告 `docs/50_test-reports/2026-09-11-control-prompt-into-eval-description实测报告.md`；遗留：非 flat 名无真实 MCP 端到端样本（本 runtime 无 MCP 工具）、prod 3080 未部署（待 user 以普通 user 自装实测）。
+
+---
+
+## 三、Dev/Test 2：wire the prod core（prod 核 + dev 插件）— 未实操，细节待勘误
+
+prod npm CLI 当 harness 核，只把插件本体和它的 harness 依赖换成 dev 版。
+
+- 核: `~/.local` npm 全局 `@deepseek-ai/dsh` 0.1.7-rc.1（2026-09-23/24 user 升级）；profile `web` 在 `~/.dsh/profiles/web`（pnpm hoisted 物理 tree）。
+- 插件线: `./better-dsh` `npm run build`（= `tsdown && npm run build-client`）→ md5 核对同步 `lib/` 到 `~/.dsh/profiles/web/node_modules/better-dsh/lib`（v0.2.1c 的部署方式）→ 重启 `dsh.service`。
+- harness 依赖线: **已退役**（原 `better-dsh/node_modules/@deepseek-ai/*` symlink 到 dsh-alpha 源码的方案，2026-09-02 已删——实测 host ②③ 层全量自供，嵌套 symlink 无一必需，且 alpha.1 指向对 alpha.3 host 是版本偏斜负债）。
+- 解析即第一节 ①→④ 分层；现已验证插件运行期只依赖 ②③（host 自供）+ ① 的 schemastery/cosmokit。
+- ~~剩余待验证~~ **已收敛（2026-09-02）**: `./better-dsh` 构建产物 md5 同步线的 prod 冒烟已跑（v0.2.1c 同步态活体 4 探针 4/4）；profile 锁/lockfile/部署位已统一为 `0.2.1-d`（经 `dsh plugin add @pgmi-builds/better-dsh@0.2.1-d`，见第一节供应链年龄门）。**发布态部署的正道是 pnpm add 精确版本**，手工 md5 同步仅限未发布的本地迭代。
+
+---
+
+## ✅ prod 插件嵌套 symlink 悬空 — 已清理（2026-09-02），重启安全
+
+`dsh-alpha` 改名 `z_dsh-alpha` 后，`~/.dsh/profiles/web/node_modules/better-dsh/node_modules/@deepseek-ai/*` 的 17 条 symlink 曾全部悬空。**实测: daemon 重启不会崩** —— 运行期实际 import 的 14 个 `@deepseek-ai/*` 包全部从 ②③ 层解析（host 自带）；`dsh-client-ui-slots` 不是运行期 import（只在 `scripts/build-client.ts` 的 client external 列表，浏览器侧经 shell module table / `.dsh-module-fallback` 解析）。
+
+**为什么声明 58 个 peerDeps**: 全是 dev-time 需要 —— `tsc --noEmit` 类型检查、`tsdown` dts、以及 vitest 单测（在 dsh host 之外直接 import harness 包；dev workspace 靠 pnpm `autoInstallPeers` 装上）。部署副本里它们是 `peerDependencies` 且 `peerDependenciesMeta` 全部 `optional: true`，pnpm-lock.yaml 对嵌套路径 0 引用 —— pnpm 从不要求它们在场。真正的 `dependencies` 只有 `@deepseek-ai/schemastery`（非 harness API，是插件自用的 Schema 描述符库；描述符是结构化数据、宿主 cordis 当数据解释，故可以自带副本，与 cordis 必须 peer 的身份要求相反）+ cosmokit（schemastery 的传递依赖）。
+
+**已执行**: 删除 17 条悬空 symlink，保留 `schemastery`+`cosmokit`；清理后 14/14 运行期 import 解析复测通过。曾考虑的 A（重指 z_dsh-alpha，alpha.1 与 alpha.3 host 版本偏斜、「两份 cordis」身份风险）与 B（重指 upstream checkout）均已否决。另: ~~profile package.json 锁 `0.2.1-a` 而部署实为 `0.2.1-c`~~ 漂移已于 2026-09-02 收敛——锁/lockfile/部署位统一 `0.2.1-d`（pnpm add 精确版本线）。
+
+---

package/docs/specs/ast/spec.md

@@ -12,12 +12,16 @@ The ast device SHALL behave as a stateless function: every call carries its inpu
 - **WHEN** the agent invokes `ast_grep` twice with identical inputs
 - **THEN** both calls parse independently and return identical results, with no cached tree or warm process in between
 
-### Requirement: Lazy natives, zero startup cost
-Parser natives SHALL load lazily on first use (natives-loader); host start and agent session start SHALL NOT spawn anything or load grammar binaries.
+### Requirement: Lazy in-package engine, zero startup cost
+The ast device's WASM engine SHALL load lazily on first use; host start and agent session start SHALL NOT parse anything or load grammar binaries. The engine and its grammars SHALL ship inside the package (`lib/ast-assets/`) and SHALL require no network access, no npm resolution, and no `.vendor` provisioning at call time.
 
 #### Scenario: Cold session
 - **WHEN** a session ends without ever invoking the ast device
-- **THEN** no native library was loaded and no subprocess was created for it
+- **THEN** no WASM engine was instantiated and no grammar binary was loaded
+
+#### Scenario: Offline first use
+- **WHEN** the device is first invoked with no network access and no `.vendor` directory
+- **THEN** the search still completes from the in-package engine
 
 ### Requirement: dvc scheme surface only
 The ast capability SHALL expose exclusively through the `dvc://ast` write/read contract (bare `dvc://` roster lists it; `dvc://ast` read returns its doc; `dvc://ast` write dispatches). No dedicated tool name, no scheme branches in read/grep/glob, and no hook into read/write/edit flows SHALL be added.
@@ -32,3 +36,22 @@ The ast device SHALL provide structural matching/rewriting only. It makes no cla
 #### Scenario: No semantic answers
 - **WHEN** the agent asks the ast device for type information or project diagnostics
 - **THEN** no such capability exists on the device surface (the call is not offered)
+
+### Requirement: Diagnostic fields (deliberate divergence from the native predecessor)
+The ast devices SHALL surface failure modes that the native predecessor swallowed silently (0.2.6 contract addition). `ast_grep` results SHALL carry `patternErrors?: string[]` — present (non-empty) iff at least one supplied pattern failed to compile as a single-root AST node, one entry per failing pattern formatted `pattern <index> ("<pattern text>"): <underlying message>`; multi-root patterns land here and matches from the remaining patterns still return — and `pathNotFound?: boolean` — `true` only when the resolved target path does not exist on disk, absent otherwise. `ast_edit` results SHALL carry the same `patternErrors` semantics over `ops[].pat` (a failing op contributes no edits), `overlapping?: number` — the count of edits dropped by the overlap guard, present only when greater than zero — and the same `pathNotFound` semantics (true when at least one resolved target root does not exist on disk). Patterns that fail with a hard syntax compile error SHALL still throw through as `DVC_DEVICE_ERROR`. The devices perform no workspace boundary check — the boundary is the approval/policy layer — and `ast_edit` writes whatever paths it is given. All pre-existing fields keep their names and semantics.
+
+#### Scenario: Multi-root pattern is reported, not swallowed
+- **WHEN** `ast_grep` runs a multi-root pattern (e.g. `"alpha": $V`) that fails to compile as a single-root AST node
+- **THEN** the result carries `patternErrors` with one entry naming the pattern index, the pattern text, and the underlying message, and zero matches from that pattern — instead of an indistinguishable empty result
+
+#### Scenario: Missing path is distinguishable from zero matches
+- **WHEN** the resolved target path does not exist on disk
+- **THEN** the result carries `pathNotFound: true` with `filesSearched: 0`, so "nothing there" is no longer confused with "pattern matched nothing"
+
+#### Scenario: Overlap-guard drops are counted
+- **WHEN** `ast_edit` ops produce edits that overlap an already accepted edit
+- **THEN** the first-registered op wins, the shadowed edit is dropped, and the result reports the dropped-edit count in `overlapping` instead of dropping it silently
+
+#### Scenario: Hard syntax errors still throw
+- **WHEN** a pattern fails with a hard syntax compile error (e.g. `$$$`)
+- **THEN** the device throws and the caller receives the structured `DVC_DEVICE_ERROR`, exactly as before