super-dsh 0.1.12-a → 0.3.0

package/node_modules/better-dsh/docs/50_test-reports/2026-10-01-v0.2.4d-web-password-gate/345/256/236/346/265/213/346/212/245/345/221/212.md

@@ -0,0 +1,105 @@
+# v0.2.4-d `dashr-web-password` 密码门（token → password）实测报告
+
+日期：2026-10-01
+组件：`better-dsh/web-password`（新 row `dashr-web-password`），dev 版本 `0.2.4-d`
+裁决来源：user 直接指令 —— 「take the native cookie minting, only replace the pw for token url, i.e. 30 days cookie expiry, ask user for pw again to mint cookie」＋「credential store, default, hash of "admin", dun invent a pw setup step」
+
+---
+
+## 一、要解决的问题与结论
+
+原生 `dsh web` 的门是一枚 **per-boot 的 `?token=` URL**：它只负责首铸一枚 30 天签名的浏览器 cookie，之后靠 cookie 通行（`$DSH_HOME/.credentials.yaml` 里的 `client-connection/browser-session` 是签名密钥，持久）。
+
+user 要求：**把这扇门换成密码**，cookie 仍用"原生的那一套"（同样的密钥、同样 30 天）。
+
+结论：**可行，且无需改动任何上游代码。** 关键裁决 ——「整个子包 patch 掉」不成立：`@deepseek-ai/dsh-client-connection` 1493 行里认证只占一个 311 行文件（`browser-auth.ts`），其余是 RPC 载体 / `/api` 桥 / trust fence；而它的 row 同时供养浏览器半边（`dsh.client`），换 row name 会连带干掉前端传输。真正的缝不在包，在**路由表**与**cookie 规范的公开性**：
+
+1. webserver dispatch = `exact` → longest `prefix` → `fallback`（`packages/host/webserver/src/index.ts:318`），而 **exact `/` 上游无人占用** → 我们拿下。
+2. 页面侧的唯一鉴权点是 fallback owner 里的 `ctx.connection.authorizeIndex`，而 `?token=` 兑换**只在 `pathname === '/'` 分支存在**（`browser-auth.ts:238`）。占了 `/`，token 门自然退休。
+3. `/index.html`、`/api` 与其余路径继续走原生校验器；我们铸的是**同规范、同密钥**的 cookie，原生校验器直接放行。唯一的例外是 `/` 本身：cookie 有效时由本插件**用上游自己的 dist 解析器渲染同一份 index**（见下 §二 的二次修订），所以登录后 URL 停在 `/`，不产生任何跳转。
+
+---
+
+## 二、改动点
+
+| 文件 | 性质 |
+|---|---|
+| `better-dsh/src/web-password.ts` | 新增（~640 行，host-only 插件，无 client 半边） |
+| `better-dsh/test/web-password.spec.ts` | 新增（14 例；**用上游真实 `BrowserAuth` 类做 oracle**，非自证） |
+| `better-dsh/cordis.patch.yml` | 新增 1 条 insert 行 `dashr-web-password`（Plugins 页可独立开关的组件） |
+| `better-dsh/tsdown.config.ts` · `package.json` | 新 subpath entry `./web-password`；peer `dsh-credentials` / `dsh-host-webserver` |
+| `@deepseek-ai/*` 上游 | **零改动**（这是本方案的全部意义） |
+
+密码本身是插件自己的 credential record `dashr-web-password/passphrase`：`{version:1, algorithm:'scrypt', salt, hash, N:16384, r:8, p:1, keylen:32}`。**首次激活若无记录就自动播种 `scrypt('admin')`** —— 零设置步骤，开机即用。改密码 = 替换该 record（无 UI / 无 CLI，user 明令不发明设置步骤）。
+
+流程：`GET /` 无有效 cookie → 服务端渲染密码表单；`POST /` 校验通过 → 铸**原生格式** cookie（`dsh-auth-<b64url(sha256(authority))>`，`v1.<b64url(json)>.<b64url(HMAC-SHA256)>`，`Max-Age/Path/Expires/HttpOnly/SameSite=Strict` 与原生逐字一致）→ `303 /`。带 cookie 的 `GET /` 由本插件直接渲染 SPA index（dist 锚点取自 `@deepseek-ai/dsh-web-app` 导出的 `internals.resolveDistIndex()`，即上游 fallback 自己用的那个函数；`<base href="./">` 插入与 `host-frontend-static` 逐字一致），**零跳转，URL 保持 `/`**。连续 6 次失败起按 peer 指数退避（上限 60s，429 + `Retry-After`）。
+
+> 二次修订（2026-10-01，user 反馈「登录后 URL 不该变成 /index.html」）：初版是 `303 /index.html` 借原生 fallback 出页面，代价是 URL 脏。现在改为在 `/` 原地渲染，`/index.html` 不再是流程的一部分（直接访问仍由原生放行，不做重定向）。dist 锚点一旦解析失败（例如上游不再导出 `internals`），本插件**降级**回 `303 /index.html` 而不是 503 —— 只有渲染这一环失败，认证本身完好。
+
+---
+
+## 三、验证
+
+### 3.1 单测（20/20，含与上游实现的互操作 + root 门端到端）
+
+`test/web-password.spec.ts` 直接 import 上游源码导出 `@deepseek-ai/dsh-client-connection/src/browser-auth.ts`，用**真实 `BrowserAuth` 类**当 oracle 做双向交叉验证：
+
+- 我们铸的 cookie → 真实 `auth.isAuthenticated()` = `true`；
+- 真实类经 `?token=` 兑换铸出的 cookie → 我们的 `decodeSessionCookie` + `sessionAuthenticated` = `true`；
+- 篡改 body / 篡改签名 / 换密钥 / 过期 / 超 30 天 / authority 错绑 → 全部拒绝。
+
+```
+Test Files  1 passed (1)   Tests  14 passed (14)
+```
+
+全量回归（合入后）：
+
+```
+Test Files  57 passed (57)     Tests  641 passed | 1 skipped (642)
+```
+
+`npm run typecheck:host` 0 错；`npm run build` 产出 `lib/web-password.js` + `.d.ts`。
+
+### 3.2 4999 rig 第一人称实测（真实 HTTP + 真实原生校验器）
+
+交付形态：`npm pack` → `better-dsh-0.2.4-d.tgz` → `plugin remove` → `plugin add` → `start.sh`（`DSH_HOME=.test/home/compat`，物理安装，非 symlink）。
+
+| # | 动作 | 结果 |
+|---|---|---|
+| A | `GET /`（无 cookie） | `200` + 密码表单（`action="/"`） |
+| B | `GET /?token=<本 boot token>` | `200` 表单，**`Set-Cookie` 计数 = 0** ⇒ token 门已退休 |
+| C | `POST /` 密码错 | `401` + "Wrong password." |
+| D | `POST /` 密码 `admin` | `303 → /`（不再 `/index.html`） + `Set-Cookie: dsh-auth-…; Max-Age=2592000; … HttpOnly; SameSite=Strict`（=30 天，与原生同口径） |
+| E | `GET /`（带 cookie） | **`200` + 37787 B 完整 index**（`<base href="./">` ×1、`__DSH_BOOT__` ×1），**无 `Location` 头** ⇒ URL 就是 `/` |
+| F | `GET /index.html`（带 cookie） | `200`（原生路径仍在，不做重定向） |
+| G | `GET /api` | 无 cookie `401`；带 cookie `404`（越过鉴权栅栏，落到路由解析）⇒ `/api` 侧原生 `isAuthenticated` 同样放行 |
+| H | 连错 6 次 → 第 7 次 | 第 1–6 次 `401`，第 7 次 `429 Retry-After: 2`；窗口过后 `admin` 恢复 `303` |
+| I | `PUT /` / `HEAD /` | `405` / `200` |
+| J | **跨重启**：cookie 早于本 boot 铸出 | `GET /` → `200` 直接出 app（密钥在 credential store，重启不掉） |
+| K | `web --dump-config` | 含 `- id: dashr-web-password / name: better-dsh/web-password` |
+
+### 3.3 真浏览器端到端（headless Chrome，dvc://browser）
+
+1. 打开 `http://127.0.0.1:4999/` → `title: dsh web`，表单在场；
+2. 填 `admin` 提交 → **URL 仍是 `http://127.0.0.1:4999/`**（无 `/index.html`），`title: DSH Local Build`，`window.__DSH_BOOT__` 在场，`#root` 已挂载（`childElementCount = 1`）；
+3. 等 2.5s 读页面文本：`"Into the Unknown Preview superd Standard mode Describe what you want to build, / commands, @ files or sessions Workspace Write GLM-5.3-Flash Default"` ⇒ **SPA 真的起来了**；
+4. 再导航/刷新 `/` → 直接出 app，**不再问密码**（30 天 cookie 生效），URL 保持 `/`。
+
+---
+
+## 四、已知边界 / 未做
+
+1. ~~登录后 URL 是 `/index.html`~~ —— 已修（见 §二 二次修订）：登录后 URL 就是 `/`，`/index.html` 不再出现在流程里。
+2. **host 日志在本 composition 下不打印**（`ctx.logger('dashr-web-password')` 的 info/warn 没进 rig 日志——原生 web composition 只输出 URL 行）。失败诊断因此写进 503 响应体（自包含文案），日志调用保留（换 composition 仍有效）。
+3. **密码明文过 HTTP**：user 明确裁决 —— 本地/LAN，公网走 HTTPS，不再是问题。
+4. **`?token=` 链接仍在启动时打印**（`web-runtime` 的 `printUrl: true`），但它现在只把人带到密码页。刻意不改：省一条 patch，且打印的 URL 仍然可用（只是多一步）。
+5. **未发 npm**。按本仓红线，发布需 user 单次明确放行；本次仅 dev 版本 `0.2.4-d` + rig 物理安装。
+6. **未改上游任何文件**；回滚 = 在 profile 用户层给 `dashr-web-password` 行写 `{disabled: true}`（原生 Plugins 页 toggle 即可），或退回 `0.2.4-c`。
+7. **新增一处上游耦合（有意的，且降级安全）**：`/` 的 index 渲染依赖 `@deepseek-ai/dsh-web-app` 导出的 `internals.resolveDistIndex()`。选它而不是自己拼路径，是因为 dist 锚点属于该包的装配事实（它从已安装的 `@deepseek-ai/dsh-web-frontend` 推导），复制一份必然随上游漂移。上游若删掉该导出，本插件不会崩——降级回 `303 /index.html`（旧行为），只是 URL 又脏一次。新增 peer：`dsh-web-app`（optional，懒 import，非 Web composition 不触达）。
+
+---
+
+## 五、操作备忘（给下一位）
+
+- 本机 `pnpm` 在 `PATH` 上的默认是 `/usr/local/bin/pnpm` **10.29.2**（store `v10`），而 rig profile 的 `node_modules` 是用 **11.7.0** 装的（store `v11`）→ 直接跑 `dsh plugin add/remove` 会 `ERR_PNPM_UNEXPECTED_STORE`。**先 `export PATH="$HOME/.local/bin:$PATH"`**（那里的 pnpm 是 11.7.0）。
+- tarball 改内容必须 `remove` → `add` 一个来回，`add` 幂等不刷新（同路径同版本 = `added 0`）。

package/node_modules/better-dsh/docs/50_test-reports/2026-10-02-better-dsh-schemastery/344/276/235/350/265/226/345/243/260/346/230/216/344/277/256/345/244/215/345/256/236/346/265/213/346/212/245/345/221/212.md

@@ -0,0 +1,62 @@
+# better-dsh schemastery 依赖声明修复实测报告（2026-10-02）
+
+- **对象**：better-dsh **0.2.5 → 0.2.5-a** —— `@deepseek-ai/schemastery` 从 `dependencies` 改为 optional **peer**（commit `c4018aa`）
+- **症状（用户报告）**：prod 实例每次启动都出现
+  `dashr-failover (better-dsh/failover): failed to import` +
+  `dashr-compaction-tuning (better-dsh/compaction-tuning): failed to import`
+  （本机 PC 3080 journal 自 **Sep 29** 起、共 **10 次 boot** 均复现，另附 `corti-memory`；dev3 prod 3080 同样两行）
+- **载体**：本机 PC 3080 / dev3 prod 3080（dsh **0.2.0-rc.2**）+ 干净 profile 单变量复现 + dev3 全新重装验收
+
+## 一、根因
+
+**链条**：better-dsh 把 `@deepseek-ai/schemastery` 写在自己的 **`dependencies`** → pnpm 在 `profiles/<p>/node_modules/@deepseek-ai/schemastery` **实体化出第二份** → Node 就近 walk-up 先命中这一份，**永远走不到 harness 的 installation-scope 拦截** → 该份被 profile 的 lockfile 冻在 **3.18.2**，而宿主已随 dsh 升到 **3.18.4**。
+
+**为什么致命**：`.volatile()`（dsh 0.1.7+ settings 模型所需）**3.18.3 才引入**。better-dsh 的 `failover` / `compaction` 在**模块作用域**用 `.volatile()` 建 Config schema，导入即抛 → loader 记为 `failed to import`（fiber 根本没建）。
+
+| 构建产物 | `volatile` 命中 | 实测 |
+|---|---|---|
+| `lib/failover/index.js` | 4 | **FAILS** |
+| `lib/compaction/index.js` | 4 | **FAILS** |
+| `lib/url-schemes/index.js` | 0 | OK |
+| `lib/index.js`（main） | 0 | OK |
+
+**harness 本来就已经供给它**（app-boot `collectInstallationScopePackages`）：从已安装的 `@deepseek-ai/dsh` manifest 出发，BFS 走 **`dependencies ∪ peerDependencies` 传递闭包**，闭包内每个名字对**所有 profile** 生效。而 **dsh 自己 declare 了 `@deepseek-ai/schemastery: ~3.18.4`**，宿主树内即有（`…/dsh/node_modules/@deepseek-ai/schemastery`，**3.18.4**，带 `.volatile()`）。所以指针本应指向宿主，被我们自己搬到了 profile 层。
+
+## 二、修复
+
+`c4018aa`：把 `@deepseek-ai/schemastery` 从 `dependencies` **删除**，只保留 optional peer 声明（与 `@deepseek-ai/dsh-*` 等其他 harness 包同款）。这样 pnpm 不再在 profile 里物化副本，解析回落到 installation scope（宿主的 3.18.4）。
+
+（前一轮 `f11dda8` 的 floor bump `^3.18.1 → ^3.18.3` 保留为 0.2.5 存量用户的桥；peer 修正落地后不再有实际作用。**已按 §〇.5 撤回自包含/vendoring 方案** —— DSH 已 bundle 过一次，ride-on-DSH 的插件不应再抄一份。）
+
+## 三、验证
+
+**1) 单变量复现/对照（决定性）**：一个 boot 完全干净的 profile，把 schemastery 从 3.18.4 换成 **3.18.2** → 重启后**恰好这两行**失败；换回即干净。单一变量、单一结果。
+
+**2) 新 profile 装修正版**：profile 内 **`@deepseek-ai/` 整个目录都不存在**；boot **零 `did not activate`**。
+
+**3) dev3 全新重装验收（第一人称，按 user 指令做的实验）**：
+- 保留全部 user 数据（`sessions`/`storages`/`credentials`/`superd`/`task-board`），`cordis.patch.yml`（111 行用户层）原样恢复；
+- 清空 `~/.dsh/profiles`（2.4G）与全局 DSH → DSH **从 registry** 重装 `0.2.0-rc.2`；
+- profile 重建：DSH/SuperD **从 registry**，**better-dsh 用本次修正 tarball**；
+- 结果对照：
+
+  | | 修复前 | 修复后 |
+  |---|---|---|
+  | `dashr-failover`/`dashr-compaction-tuning` `failed to import` | **2** | **0** |
+  | `dsh: warning: N entries did not activate` | 有 | **整行消失** |
+  | profile 层 `node_modules/@deepseek-ai/` | schemastery 3.18.2 + cosmokit | **不存在** |
+  | 正向验证 `curl :3080/` | — | **200 + `Enter the session password`**（web-password 行活着，独占 exact `/`） |
+
+- 剩余 warning 属 **super-dsh**（`superd-hermes`/`superd-codex` 各 1 条 `session-controller: pending (waiting for service: fileUploads)`）——**pending 非 failed，且修复前的 boot 同样存在**，与本修复无关。
+
+**4) 单元/类型**：`tsc --noEmit` **0 错**；`vitest run` **649 passed / 1 skipped**（57 文件）。
+
+## 四、附：一个独立的运维坑（非本 bug）
+
+本机曾出现 `dsh plugin add/remove` 报 `node_modules was installed with a different major version of pnpm`。根因 = **两个 pnpm 版本打架**：`/home/u1/.local/bin/pnpm` = 11.7.0（profile 的 node_modules 由它建，store **v11**）、`/usr/local/bin/pnpm` = **10.29.2**；某些调用上下文 PATH 不含 `~/.local/bin` → harness 调到 pnpm 10 去动 v11 建的树 → 硬错。
+
+**已修**：`sudo npm i -g pnpm@11.7.0` → 两个路径均 **11.7.0**；模拟"`~/.local/bin` 掉出 PATH"的最坏情况仍得 11.7.0。dev3 全程用其本地 pnpm 10.33.2 干净完成安装，证明**该 bug 与 pnpm 无关**。
+
+## 五、判定
+
+**通过**。根因单一且已用单变量复现 + 全新重装双重证明；修复面只有一个声明位的移动；dev3 第一人称验收 0 失败。发布 `0.2.5-a`。

package/node_modules/better-dsh/docs/50_test-reports/2026-10-02-ctx-navigation/345/256/236/346/265/213/346/212/245/345/221/212.md

@@ -0,0 +1,137 @@
+# ctx:// 长会话导航化实测报告（2026-10-02）
+
+- **对象**：better-dsh `ctx://` scheme 长会话导航化 —— backlog N1–N6 + findings F1/F2（自 `2026-09-28-ctx-scheme长会话utility实测报告.md` §八）
+- **被测构建**：better-dsh 0.2.4-d（+ 本次改动，未发布），harness 基座 **0.2.0-rc.2**（本轮对齐）
+- **载体**：单测夹具 + 4999 rig 第一人称活体（headless 真实 agent session，模型 = deepseek-flash）
+- **设计/规格**：`docs/superpowers/specs/2026-10-02-ctx-navigation-design.md`；live spec `docs/specs/ctx/spec.md`
+
+## 一、改动一览
+
+| 项 | 内容 |
+|---|---|
+| N1/F7/F10 | 新增 transcript line index（`buildTranscript`）；episode/manifest/快照暴露 `lines:{start,end}` + 标注 `seq=`；episode 行窗 **transcript 相对**（`compactions[l]:N-M` ≡ `transcript:N-M`），越界返回显式边界注记（不再静默空/截断） |
+| N2 | digest residence：**latest** episode prepared face = 导航块（不重吐 digest，指向 `digest resident at seq=<checkpointSeq>`）；older = 全文 digest + 指针块 |
+| N3 | landmark 名册（user turns / failures / touched paths / prior checkpoints，全为 transcript 行坐标，封顶） |
+| N4 | `fidelity=<user_turns>:<tool_calls>` 内联 manifest/快照/episode 指针块 |
+| N5/F5/F8 | `:path/` + `?q=` 在 ctx:// 落地（复用 `applySelector`），manifest 也走 `applySelector` |
+| N6/F9 | 快照 `asOf:{seq,line}` |
+| F1 | `user_prompts`/`tool_calls`/`agent_responses` 裸读给索引面（长集合封顶 20 + tail），错误不再回显空括号 |
+| F2 | `resultTextOf` 增加 flat text-block 兜底 |
+
+## 二、F2 根因更正（重要）
+
+报告 §八 曾推断「持久层对大 result 的省略存储」。实测 0.2.0-rc.2 真实 `tool/result` 事件后确认根因是**内容块形状变化**：0.2.0 的 tool-result message `content` 是**平铺** `[{type:"text",text:"…"}]`，而 `resultTextOf` 只取**嵌套** `tool-result` 块 → 对所有 result 一律产空。本次改为嵌套优先、平铺兜底，`tool_calls[<seq>]` 的 result 恢复非空。非「省略」，无需 elision 标记。
+
+## 三、验证
+
+**单测**：`ctx.spec.ts` 23→30（新增 7：N1 坐标/asOf、N1/F10 transcript 相对 + 越界注记、N2 最新/旧 episode、N3 landmark、N5 `:path/`+`?q=`、F1 索引面、F2 flat result）。全量 **648 passed / 1 skipped**（57 文件）；`tsc --noEmit` **0 错**。关键不变式测试：episode `:N-M` ≡ `transcript:N-M`（episode span ≡ transcript slice，结构上保证坐标一致）。
+
+**第一人称（headless，dsh 0.2.0-rc.2）**：真实 session 内逐面活体探测，agent 复述各步通过：
+- `ctx://session` 解析，含 `asOf:{seq:26,line:311}` 卡 + totals（`user_prompts:1` 等）；
+- `ctx://session:path/totals.tool_calls` 窄读 → 数字（`3`）；
+- `ctx://session/user_prompts` / `tool_calls` 索引面正常（含 in-progress 调用的 `(no result captured)` 行）；
+- `tool_calls[20]` result 非空（`result: hello-probe-1790893221`，F2 修复实证）。
+
+compaction 特定面（lines/fidelity/landmark/digest-residence）为代码级缺陷，单测夹具（2×compaction）覆盖；本短活体无 compaction 事件，与报告 §八「活体探测仅作证」一致。
+
+## 四、判定
+
+**通过**。N1–N6 + F1/F2 全部落地，单测全绿，0.2.0-rc.2 上第一人称活体逐面兑现。坐标不变式成立（transcript 单一坐标空间，越界显式）。prod 3080 未部署；发布走 §〇.5 门（第一人称 + user 确认），本轮不发包。
+
+## 五、独立复核（2026-10-02，本轮报告发布后的第三方复验）
+
+**缘由**：user 在报告落盘后要求独立确认 §一 声称的修复是否真在场，不复述原文。复核采用三重证据：
+
+1. **部署物同一性**：4999 rig profile 内 `better-dsh/lib/url-schemes/index.js` 与构建产物 md5 一致（`ad5b4820c4ca97520ccc196d72b3aa3f`，286,916 B）→ 活体进程加载的确实是本次改动，而非旧构建。
+2. **第一人称活体探测**：本会话即 4999 运行实例（`session-6c5f8e8e-0cd7-42a0-85da-3aec7256339f`，harness 0.2.0-rc.2），逐面实读。
+3. **回归全量**：`tsc --noEmit` **0 错**；`vitest run` **648 passed / 1 skipped**（57 文件）——与 §三 数字一致。
+
+### 5.1 逐项复核结果
+
+| 项 | 结论 | 证据（活体 / 代码） |
+|---|---|---|
+| F1 | ✅ 已修 | 裸 `user_prompts`/`tool_calls`/`agent_responses` 返回索引面（`seq=<n>` + ≤100 字预览）；长集合封顶 20 + `… +N more — use :raw / ?q= / [n\|seq]` 尾注；越界错误列集合名与条数，无空括号回显 |
+| F2 | ✅ 已修 | `resultTextOf` 嵌套优先、平铺兜底（`ctx.ts` L128–137）；活体 `tool_calls[99]` result 非空；in-progress 调用显式 `(no result captured)` |
+| F5 | ✅ 已修 | 活体 `ctx://session/tool_calls?q=bash` 行过滤生效 |
+| F7 | ✅ 已修 | 快照/manifest 内 `seq=` 与 `lines=` 双坐标并存；坐标不变式已入 spec（Requirement: Coordinate invariant） |
+| F8 | ✅ 已修 | 活体 `ctx://session:path/asOf` → `{"seq":198,"line":1431}`；`:path/totals.tool_calls` → `13`（数字，非 JSON 包裹） |
+| F9 | ✅ 已修 | 快照 `asOf:{seq,line}` 在场，且与后续窄读的前移一致（模型可自知陈旧） |
+| F10 | ✅ 已修（episode 面） | `applyEpisodeLines` 越界追加 `[ctx:// note: episode span is transcript lines s-e]`（`ctx.ts` L291–318）；单测 `N1/F10` 断言 |
+| N1 | ✅ 已修 | 上述 F7/F10 证据；transcript 行索引为单一坐标源 |
+| N2 | ✅ 已在代码 | latest episode 走 `digest resident at seq=<checkpointSeq> (transcript:<s>-<e>)` 指针块，older 出 digest + 指针块 |
+| N3 | ✅ 已在代码 | `landmarkBlock`：user turns / failures / touched paths（含次数）/ prior checkpoints，全为行坐标并封顶 |
+| N4 | ✅ 已在代码 | `fidelity=<user_turns>:<tool_calls>` 三处内联（manifest / 快照 `compacted[].fidelity` / episode 指针块） |
+| N5 / N6 | ✅ 已修 | 同 F5/F8 与 F9 |
+
+**N2–N4 的活体限度**：本会话 `compactions: 0`（快照实证），compaction 特定面无法活体触达；证据 = 代码 + 2×compaction 单测夹具，与 §三 口径一致，不构成缺口。附带观察：快照 `segments[].lines` 对 `live` 尾段为 `null`（开放区间无上界），compaction 段才带 `lines:{start,end}`——与「live 无 end」语义自洽。
+
+### 5.2 未闭合项（本轮未声称修复，复核确认仍开）
+
+- **F3 仍开**：`read` 的 `offset`/`limit` 对 `ctx://` 依旧静默忽略——活体 `read(ctx://session, limit:1)` 返回全量快照 JSON。
+- **F4 仍开**：compaction label 仍为事件 seq，后续 compaction 重划 span 时仍会漂移；未改稳定键，亦未加文档点名（`compactionId` 为既有字段）。
+- **F6 仍开**：episode `:raw` > 64 KiB 仍为 warn-don't-block（返回全文 + 注记，`ctx.ts` L528–536），无 spill-to-file / 硬护栏。
+
+### 5.3 新发现 F11：spec 宽于实现（越界注记仅 episode 面兑现）
+
+spec「Canonical and prepared content faces」写明*任何*越过 canonical 范围的 `:N-M` 都应回显显式边界注记；实测仅 **episode 面**成立：
+
+- 活体 `ctx://session/transcript:1-3` → 正常返回该行窗内容；
+- 活体 `ctx://session/transcript:9000-9010`、`:999999-999999` → **静默空串**（`applyLines` 无 extent 概念、无注记逻辑）。
+
+即 §一 表中「越界返回显式边界注记（不再静默空/截断）」仅在 episode 窗口范围内为真，spec 文字面（全资源）未兑现。建议入批 F11：把 `applyLines` 升格为带 canonical extent 入参的同款注记，或把 spec 措辞收窄到 episode 面。
+
+### 5.4 复核判定
+
+**通过，无夸大**——§一/§三 声称的 N1–N6 + F1/F2 全部经独立证据兑现；§四 的部署与发布口径亦复核无误：4999 rig 已加载修复（md5 同一），prod 3080 仍为 **0.2.4-c**，修复未发布；发布仍走 §〇.5 门（第一人称实测 ✅ + user 确认）。遗留 F3/F4/F6 + 新增 F11 按 §〇 惯例攒批，不单烧版本。
+
+## 六、F11 修复（2026-10-02，复核后同波闭合）
+
+§五.3 的 F11 属实：本波 spec 文字面宽于实现（越界注记只在 episode 面）。因本改动**尚未发布**，不适用「攒批」——同波闭合：
+
+- **修法**：ctx 侧 `applyLines` 升格为 extent-aware —— 越界窗口按 canonical 上界截断并追加 `[ctx:// note: canonical content ends at line <N>]`；`:N-` 开尾读**豁免**（刻意读到尾，非越界）；manifest 的 line 窗口也改走同一函数（原先走共享 `applySelector`，无注记）。
+- **未采纳**另一选项（把 spec 措辞收窄到仅 episode 面）：不收窄，因为「不静默截断」是 N1/F10 的原意，应全资源成立。
+- **验证**：单测新增 `F11`（越界 → 注记；`1-2` in-range 与 `1-` 开尾 → 无注记）；全量 **649 passed / 1 skipped**（57 文件）+ `tsc` 0 错；**第一人称活体**（headless，0.2.0-rc.2）读 `ctx://session/transcript:9000-9010` → 输出含 `ctx:// note`（`F11=yes`）。4999 rig 已重启加载修复（`lib/url-schemes/index.js` md5 `48771cb6…` 与构建产物同一）。
+- **仍开**：F3（read offset/limit 静默忽略）、F4（compaction label 漂移）、F6（episode `:raw` >64 KiB warn-not-block）——三者不在本波 N1–N6 范围，按 §〇 攒批。
+
+## 七、第二轮复核记录（2026-10-02）与越界注记语义定论
+
+第三方复核独立确认 F11 修复已在**运行进程**中生效（构建产物与 rig lib md5 同一 + 重启后取到新行为），并逐条活体复验：
+
+| 探测 | 结果 |
+|---|---|
+| `transcript:9000-9010` / `:999999-999999`（完全越界） | 仅注记（`canonical content ends at line <N>`），**不再静默空** ✅ |
+| `transcript:1940-2000`（部分越界） | 上界截断 **+ 尾注** ✅ |
+| `transcript:1-3`（范围内） | 正常内容，无注记 ✅ |
+| `transcript:1945-` / `compactions:1-`（开尾） | 无注记（豁免）✅ |
+| `compactions:2-`（起点越界） | 仅注记 ✅ |
+| `compactions:1-3` / `compactions:9000-9010`（manifest 新路径） | 文本+注记 / 仅注记，上界正确 ✅ |
+
+回归扫：F1/F2/F5/F7/F8/F9 全部仍绿；`tsc` 0 错、`vitest` 649 passed / 1 skipped（与 §六 一致）。
+
+### 7.1 语义定论：上界越界**保留**注记（不软化）
+
+复核提出一档可议行为：**上界越界也注记**，使 `:N-M`（M 贴/略过上界）从「纯值」变为「值 + 注记」；其测试后果即既有断言 `injections:4-5` 改为 `injections:4-`。
+
+**定论：保留现语义，不采纳「`a <= total < b` 时不注记」的软化方案。** 依据 = F10 原意本身：
+
+- F10 的病症是「越界与 span 内空行**不可区分**、上界落在何处**无从得知**」。若上界越界不注记，`:1940-2000`（1947 行）静默回 1940–1947，模型无法判断 1948–2000 是「空行」还是「不存在」——**正是 F10 要修的歧义**；软化 = 回退该修复。
+- 两种「读到尾」的正规形已豁免/覆盖：**开尾 `:N-`** 无注记（刻意读到尾）；**上界恰为 total**（`:4-4`）无注记。故越界注记只在「模型对内容长度有错误假设」时出现，而该注记正是纠正该假设的信息。
+- 代价可接受：一行元信息；远小于「误以为已读全」的风险。若未来真会话统计证明其为高频噪音，另立 finding 重议；本轮不改。
+- 规格已同步补 scenario「Over-read notes, open tail does not」（`docs/specs/ctx/spec.md`）。
+
+### 7.2 仍开（复核独立确认，非本波 N1–N6 范围）
+
+F3（`read` offset/limit 静默忽略）、F4（compaction label 漂移，无稳定键）、F6（episode `:raw` >64 KiB warn-not-block）——按 §〇 攒批。发布仍待 user 明确放行。
+
+## 八、第三轮复核：spec 措辞收窄 + 「spec > impl」模式记录
+
+第三轮复核（**无代码改动轮**，唯一 commit `6e3db37` = §七 + 一条 spec scenario）确认 §七 属实，并指出：**上轮新加的 spec scenario 措辞仍比实现宽**。
+
+- **事实**：`applyLines` 的开尾豁免带前置守卫 —— `b === Infinity ? total` 之后仍有 `if (a > total) { noted = true }`（[ctx.ts:250](/home/u1/workspaces/dashr/better-dsh/src/url-schemes/handlers/ctx.ts#L250)）。故 `compactions:1-`（起点在界内）无注记，而 `compactions:2-`（canonical 仅 1 行、**起点已越界**）返回**仅注记**。我上轮写的 THEN 是无条件句，按字面读 `:2-` 会算违例。
+- **定论：实现是对的**（起点越界时无内容可回，必须出声），错的是 spec 措辞。已改 `docs/specs/ctx/spec.md`：开尾 THEN 补限定「provided the window's start is within the extent」；新增 WHEN/THEN 覆盖「起点越界的开尾 → 仅注记」；新增 scenario「Upper bound exactly at the extent is not an over-read」（`:1-1` 恰为 total → 无注记），两个豁免均成明文。
+- **模式记录（同类再现，继 F11 之后；不计序号，避免与复核口径打架）**：spec 散文倾向把行为写得比实现的**守卫条件**宽 —— F11 属**行为缺陷**（spec 全资源 vs impl 仅 episode 面，已修码），本处属**措辞缺陷**（无条件开尾 vs 起点守卫，已改 spec）。教训：写/改 spec 的 WHEN/THEN 时逐条对照实现的 guard（`b < 1 || a > total`、`bRaw !== Infinity && b > total`、`bRaw === Infinity`），把守卫写成限定词；新增 scenario 按此自查。
+- **仍开**：F3 / F4 / F6（同 §七.2）。
+
+### 8.1 部署与发布口径（不变）
+
+本轮**无代码改动**：`git diff 44a88f5..HEAD -- better-dsh/src better-dsh/lib better-dsh/test` 为空；4999 rig 内 lib 仍 `48771cb6…`（未重建、未重启，仍是同一运行进程）。prod 3080 仍 `0.2.4-c`；修复未发布，发布待 user 明确放行。

package/node_modules/better-dsh/docs/50_test-reports/2026-10-02-v0.2.0-rc.2/345/257/271/351/275/220/350/275/256/345/256/236/346/265/213/346/212/245/345/221/212.md

@@ -0,0 +1,38 @@
+# v0.2.0-rc.2 对齐轮实测报告（2026-10-02）
+
+- **对象**：better-dsh 对齐 upstream dsh **0.2.0-rc.2**（npm `latest`；upstream tag `dsh-v0.2.0-rc.2`）
+- **基线**：better-dsh 0.2.4-d（当前分支 `align/v0.2.0-rc.2`，从 `align/v0.1.7-rc.1` 切出）
+- **证法**：源码级 4999 rig（`upstream/deepseek-harness` 原位重检出）+ better-dsh 全量 typecheck/test + 第一人称活体（headless 真实 session + headless-Chrome 驱动 web UI）
+
+## 一、环境迁移
+
+1. `upstream/deepseek-harness` 原位重检出 `dsh-v0.2.0-rc.2`（tags 已 fetch；本地 0.1.7-rc.1 patch 先存 `.scratch/upstream-local-patches-0.1.7-rc.1.diff`）。
+2. 三处本地 patch 在 0.2.0 下**仍全部必要**，逐条重放（均标注 `LOCAL PATCH` 注释便于下次 tag 切换）：
+   - `packages/client/tsdown.client.ts` `resolveRepositoryRoot()`（0.2.0 仍 `new URL('../..', import.meta.url)`）；
+   - `pnpm-workspace.yaml` `storeDir`/`verifyDepsBeforeRun:false`/`allowBuilds`（zeromq/ssh2/cpu-features；0.2.0 仍 strictDepBuilds）；
+   - `apps/web` react→preact 三件套（0.2.0 仍真 React，`@vitejs/plugin-react`）；`preact` devDep + 根 `unrun`/`vite` devDep。
+3. `vendor/{AGENTS,CLAUDE,README}.md` 三文件移除（0.2.0 版存 `.scratch/vendor-docs/*-0.2.0-rc.2.md`）。
+4. `pnpm install`（339 workspace 项目，21s，供应链门 1685 条目过）→ `pnpm run build`（347 client artifacts）全绿。
+
+## 二、对齐结果 — 结论：zero better-dsh 源码改动
+
+| 检查 | 结果 |
+|---|---|
+| better-dsh `npx tsc --noEmit`（farm relink 至 0.2.0-rc.2，329 包） | **0 错误** |
+| better-dsh `npx vitest run` | **641 passed / 1 skipped**（57 文件）全绿 |
+
+即用户判断成立：0.2.0 相对 0.1.7-rc.2 的 448 个 commit / 1014 个文件变更，**未触及 better-dsh 消费的 harness API 面**（消费 24 包；`dsh-tools`/`dsh-agent`/`dsh-settings`/`dsh-client-ui-settings` 等类型面兼容）。上游 0.2.0 亦**未发布 upgrade guide**（09-28 才引入该机制，仅回填 v0.1.7-rc.2）。
+
+## 三、回归门（第一人称，4999 rig，0.2.0-rc.2）
+
+0.1.7 轮的两处**静默**失败面（settings 行消失 / failover 存不进）是重点复检对象：
+
+- **boot graph**：`"id":"better-dsh"` + `plugins/??better-dsh/client.js&rev=…` 200，字节与构建产物一致（仅服务端追加 `;`+sourceMappingURL）。
+- **Settings/General 两行**（headless-Chrome 驱动真实 UI）：`Model failover`（两个 select）+ `Auto-compact threshold 90 %` 均在渲染；版本行显示 `0.2.0-rc.2`。
+- **failover save**：UI 改 `fallback2` → 落 `profiles/web/cordis.patch.yml` 用户层，无 toast 无 `settings/rejected`（写路径 = 0.1.7 崩点）。
+- **web-password 门**：默认 `admin` 登录 → 303 → authenticated index（better-dsh 0.2.4-d 的门在 0.2.0 上照常）。
+- **活体 session（headless）**：`ctx://session` → 真实 session id；`bash` → `gate-ok`；`eval` → `2`。
+
+## 四、判定
+
+**通过**。0.2.0-rc.2 对齐为纯「重检出 + patch 重放 + 重建」，better-dsh 零改动；回归门全绿。prod 3080（仍 0.1.7-rc.2 + better-dsh 0.2.4-c）本轮未动。下一步 Change B（ctx:// 导航化 N1–N6）在此已验基线上开发。