# dsh-approval-chime · 独立验证报告（任务 t3 · verifier）

> ⚠️ **rev-7 横幅（t4 文档修复加入）**：本报告是 **rev-1** 的独立验证记录（锁定哈希见 §0、`CHANGELOG.md:5-6`）。
> **入口路径已迁移**：rev-7 起本插件的设置入口是独立的「设置 → 通知提醒」分区（`settings.section`），
> 合同与 `文件:行号` 见 `docs/契约调研.md` §K，操作口径见 `README.md` §3 与 `docs/挂载与验收.md` §7；
> **本报告 §8 的人工清单描述的是 rev-1 的插件页卡片形态**（「设置 → 可配置插件 / 卡片」），
> 其步骤编号与判据已不适用于 rev-7（rev-7 的浏览器侧端到端仍未证实），仅作历史记录保留。
> 本页之后的 rev-4/rev-5/rev-6/rev-7 各轮记录见 `docs/rev4-*.md`、`docs/rev5-*.md`、`docs/rev6-复验.md`、
> `docs/rev7-独立验证.md` 与 `docs/rev7-需求符合性审查.md`。

> 结论（一句话）：**t2 的实现通过了本轮全部独立验证** —— dev 自测 3 个 harness 复跑全绿（51+103+20 = 174 项断言），本人另写的 5 个独立探针全绿（52+86+58+57+78 = 331 项断言），未发现实现缺陷；剩下一批只能在「重启 DSH + 浏览器实机」中确认的项已单列（见 §8），未证实项一律未计入通过。
>
> 本任务的**独立**含义：探针代码（`verify-independent/`）与本报告作者均为 verifier，**未复用** `verify/_harness.mjs` 的任何断言代码；被测对象只有真实文件 `lib/index.js`、`lib/client.js`、`package.json`、`cordis.patch.yml`。
> 全程**未修改** `dsh-approval-chime/lib/**`、未碰 profile、未安装任何 npm 包、未重启 DSH、未改团队状态文件。

---

## 0. 取证环境与被测修订

| 项 | 值 |
| --- | --- |
| 节点 | `node v24.21.0`（`node --version`） |
| 工作区 | `<workspace>` |
| DSH 包目录 | `<dsh-install>\node_modules\@deepseek-ai\*` |
| profile | `$DSH_HOME\profiles\web`（**只读**，本次未改） |
| 运行中的 dsh | 与本 npx 安装同源（workspace 插件为 `link:` 挂载） |

被测文件 SHA-256（验证期间未发生变化，验证前后一致）：

```
dsh-approval-chime\lib\index.js      E5E2008A6857F823C1C39F9FF78E17C01DF3A0DDCE8E7A897FE2DFAD1BF5F980
dsh-approval-chime\lib\client.js     1F3E5B6081EE8DEF6F1EA0D51724F280565B7DCB8697BF088B199A9B1D406966
dsh-approval-chime\package.json      7C633060952F899B9CB872362034DA82F272963DBD2E350347B63C529CCE938E
dsh-approval-chime\cordis.patch.yml  2DC7C5B13AC9A121180DB19F5EC563DAAFE26D655766A0A2579C6B1BFF147850
```

原始输出全部落盘，本报告的每条结论都能在下列文件里找到原文：

```
dsh-approval-chime/verify-independent/_raw/dev-host-half.txt
dsh-approval-chime/verify-independent/_raw/dev-client-half.txt
dsh-approval-chime/verify-independent/_raw/dev-waterfall.txt
dsh-approval-chime/verify-independent/_raw/ind-probe-1-approval.txt
dsh-approval-chime/verify-independent/_raw/ind-probe-2-gain-and-resources.txt
dsh-approval-chime/verify-independent/_raw/ind-probe-3-card-and-scope.txt
dsh-approval-chime/verify-independent/_raw/ind-probe-4-host-half.txt
dsh-approval-chime/verify-independent/_raw/ind-probe-5-contract.txt
```

执行命令（可原样复现）：

```powershell
cd '<workspace>'
node --check dsh-approval-chime/lib/index.js          # exit 0
node --check dsh-approval-chime/lib/client.js         # exit 0
node dsh-approval-chime/verify/host-half.test.mjs     # exit 0
node dsh-approval-chime/verify/client-half.test.mjs   # exit 0
node dsh-approval-chime/verify/waterfall.test.mjs     # exit 0
node dsh-approval-chime/verify-independent/probe-1-approval.mjs
node dsh-approval-chime/verify-independent/probe-2-gain-and-resources.mjs
node dsh-approval-chime/verify-independent/probe-3-card-and-scope.mjs
node dsh-approval-chime/verify-independent/probe-4-host-half.mjs
node dsh-approval-chime/verify-independent/probe-5-contract.mjs
```

---

## 1. captain 修正的落地：哪条 acceptance 被改写，哪条不适用

修正与原文冲突时以修正为准，逐条登记：

| 原文表述 | 处置 | 原因（含证据） |
| --- | --- | --- |
| 「证明 (a) 审批请求经 `waterfall` 链后**内置处理器仍能拿到请求**（构造一个下游 fake 监听，断言它被调用且返回值被透传）」 | **括号内的做法不适用，前半句照测** | 「下游 fake 监听被调用」在真实语义下是**假命题**：内置 ui-approval 正常路径 `return await pending.result`（`dsh-client-ui-approval/lib/client.js:252`，probe-5 A.6c 原文取证），而「不调用 next() 的监听器会切断链条」已用 DSH 真 cordis 复现（probe-1 §2：trace 只有 `builtin-panel`）。断言它会「被调用」等于断言一件不会发生的事。因此改为：**用 DSH 真 cordis 证明内置监听器拿到的是同一个请求对象、返回值原样透传，且本插件在这条链上注册了 0 个监听器**（差分类断言：`apply()` 前后 trace 与 answer 逐字节相同）。 |
| 「不要验证 waterfall 中 `next()` 的通行性」 | **遵守** | 探针只做「不介入」的双向断言（静态 + 运行时 + 差分），不含任何 `next()` 通行性测试。 |
| 「卡片是自绘的，按 settingsScope 写路径与 range 滑块的实际接线验证」 | **遵守** | probe-3 只验证 `settings.plugin.item` 的 key/写路径/滑块接线，不要求官方 `CardForm` 形态。 |
| 「schemastery junction 必须实测，原始输出进报告」 | **遵守** | 见 §2.3 与 §5。 |

补充说明：`verify/waterfall.test.mjs`（dev 自测）里确有 `prepend 优先 / 注册序 / 不 next 切断` 的真 cordis 实验，那是在**证明「旧方案不可行」**，不是在给本插件的行为背书；本人复跑通过（20/20），并在 probe-1 §2 用**自己写的**同语义实验重复得到同一结论。

---

## 2. 逐条 acceptance 结果

### 2.1 acceptance #1 —— 独立复跑 dev 三个 harness ✅ passed

命令与输出（原文摘录，完整见 `_raw/dev-*.txt`）：

```
> node dsh-approval-chime/verify/host-half.test.mjs
=== host-half.test.mjs: 51/51 checks passed ===        exit 0

> node dsh-approval-chime/verify/client-half.test.mjs
=== client-half.test.mjs: 103/103 checks passed ===    exit 0

> node dsh-approval-chime/verify/waterfall.test.mjs
=== waterfall.test.mjs: 20/20 checks passed ===        exit 0
```

**没有失败项，因此没有「最小复现」需要给。** 三个 harness 的结果我按「证据强度」而非「是否通过」做了复核，指出两处需要注意的口径（不构成失败）：

* `waterfall.test.mjs` 里 `$on`/事件名/`.on(` 的静态断言是**文本级**的，我另做了「剥离注释后的代码级」版本（probe-1 §1），结论一致：代码级 0 命中，唯一 `next(` 出现在解释性注释第 24 行。
* `client-half.test.mjs` 用自家 `_harness.mjs` 的 React/音频 stub；我用**自己写的** stub 复现了同样的行为面（probe-2/3），因此这些断言不是「自我印证」。

### 2.2 acceptance #2 —— 自写独立探针 ✅ passed（含一处按 captain 修正改写）

探针位置：`dsh-approval-chime/verify-independent/`，kit 为 `verify-independent/kit/platform.mjs`（自写 vm 经典脚本装载器、自写 React 钩子运行时、自写 WebAudio 记录器、自写 fake ctx、自写 reporter），**不 import `verify/` 任何文件**。

| 子项 | 探针 | 结果与原始证据 |
| --- | --- | --- |
| (a) 内置处理器仍能拿到请求 | probe-1 §2/§3 | 真 cordis：`the first listener receives the exact request object (identity) — same object: true`；`its answer is returned unchanged — {"decision":"allow-once"}`；差分：`zero remote-event subscriptions were created — 0`、`the answer is byte-identical to the pre-apply run`、`the execution trace is identical to the pre-apply run — ["builtin-panel"]` |
| (b) 增益语义 volume=0/50/100、enabled=false、各音色 | probe-2 §a/§b | `volume 100: master gain = value/100 × 0.6 — 0.6`；`volume 50 — 0.3`；`volume 70 — 0.42`；`volume 0: no AudioContext instance is created — 0`；`enabled false: no AudioContext instance is created — 0`；`chime/bell/beep` 波表分别为 `sine/triangle/square`，且三种音色下音量→增益一致 |
| (c) 卡片 key 与 DSH namespace 完全一致 | probe-3 §a | 四路一致：DSH `register` 实参 `approval-chime` == 浏览器 `settingsScope.bind({namespace})` 实参 == `slots.register` 的 `key` == `diagnostics.namespace`；`the card key IS the Host settings namespace` |
| (d) 全程无外部资源请求 | probe-2 §d | 运行时：`no outbound-resource trap fired — []`（fetch/XHR/WebSocket/Audio/Image/Worker 全部设陷阱）、`the only DOM element created is the <style> tag`、`the only module required is react`、`navigator was never touched — 0`；静态：无 `http(s)://`、无 `fetch(`、无媒体扩展名、无 `data:audio`、无 `new Audio(`、无 `url(https:|data:)` |

### 2.3 acceptance #3 —— 对抗性检查 ✅ passed

**去重矩阵（probe-1 §4，原始输出）**

```
[PASS] first appearance rings — 1
[PASS] five identical re-publishes stay silent — 1
[PASS] and are never counted twice either — 1
[PASS] a batch of two new approvals rings exactly once (documented batching) — 2
[PASS] re-publishing that same batch is silent — 2
[PASS] a replacement request (new key) rings again — 3
[PASS] a key that disappears and comes back does not ring twice — 3
[PASS] a non-approval kind never rings — 3
[PASS] an approval without a key falls back to the session id (rings once) — 4
[PASS] keyless approvals in two sessions are distinct — 5
[PASS] three fresh keys at once ring once — 6
[PASS] every distinct approval was counted — 9
```

> 「快照因无关变化重发不得重复响铃」也单独覆盖：同 key 重发 5 次、整张 Map 被替换成内容相同的新 Map、key 消失后再出现，`triggers` 均不增长。

**异常注入（probe-1 §5，原始输出）**

```
[PASS] throwing interaction.kind during forEach: nothing escapes
[PASS] throwing interaction.key during forEach: nothing escapes
[PASS] pendingInteractions.getSnapshot() throws: nothing escapes
[PASS] settingsScope.getSnapshot() throws during a chime: nothing escapes
[PASS] AudioContext constructor throws: nothing escapes
[PASS] no subscriber error was ever recorded by the Host loop — 0
[PASS] the failure modes are reported through the browser console
[PASS] a source that recovers is processed again (the read error did not poison dedup) — approvalsSeen 2 -> 3
[PASS] the Host chain still answers identically after all of that — {"decision":"allow-once"}
```

DSH 侧发布循环在探针里是**不加保护**地直接调用监听器（`publishRaw`），因此「没有异常逃逸」是强断言：提示音哪怕整条音频栈炸掉，也不会把异常抛回 DSH，更不会让审批决策改变。浏览器 console 记录：

```
warn: dsh-approval-chime: pendingInteractions snapshot unreadable: probe: kind getter exploded
warn: dsh-approval-chime: pendingInteractions snapshot failed: probe: pendingInteractions.getSnapshot refused
warn: dsh-approval-chime: settings scope unreadable: probe: settingsScope.getSnapshot refused
```

另外验证了卸载安全：`ctx.effect` 的 disposer 调用后订阅数 -1，之后不再响（probe-1 §6）。

### 2.4 acceptance #4 —— DSH 侧降级 ✅ passed

`probe-4-host-half.mjs`（57/57）：

* 正常路径：`registered namespace = approval-chime`、`the registration options — {"applies":"live"}`、`schema defaults — {"enabled":true,"volume":70,"tone":"chime"}`、`schema.type = object`、`inject = ["settings"]`、`no static schemastery import`（4 条顶层 import 全是 `node:` 内建）。
* 缺服务/坏服务矩阵（9 种形态 + 1 个「settings getter 抛错」+ 幂等复注册）全部 `apply() does not throw`，且 `no unhandled rejection from the whole matrix — 0`。
* 不可解析场景采用**带否证**的做法：把 `lib/index.js` 拷到插件目录之外、`$DSH_HOME` 指向空目录，先证明**副本确实解析不到** schemastery（`Cannot find module '@deepseek-ai/schemastery'`），再断言 `the degraded copy does not throw` / `nothing was registered` / `the degradation is reported through the logger` / `the asynchronous retry did not leak an unhandled rejection`。临时目录已清理（`Get-ChildItem $env:TEMP -Filter 't3-independent-*'` 无残留）。

### 2.5 acceptance #5 —— 与 `docs/契约调研.md` 逐条对照 ✅ passed（对照表见 §6）

`probe-5-contract.mjs`（78/78）直接把调研文档的结论拿去跟**DSH 源码**对，全部命中并带 `file:line`，例如：

```
[PASS] A.1 $on declares exactly two parameters — @deepseek-ai/dsh-api-gateway/lib/client.js:1472 → $on(event, listener) {
[PASS] A.6c its normal path returns the pending result without calling next() — dsh-client-ui-approval/lib/client.js:252 → return await pending.result;
[PASS] B.1 the namespace pattern — dsh-settings/lib/index.js:82 → const NAMESPACE_PATTERN = /^[a-z][a-z0-9-]*$/;
[PASS] C.3 the tab dispatches only namespaces the Host serves — client-ui-settings-plugins/lib/client.js:1145 → served.has(entry.options.key)
[PASS] C.4 a card is available when the scope snapshot is ready — client-ui-settings-plugins/lib/client.js:850 → available: snapshot.status === "ready",
[PASS] E.2b a duplicate loader entry id throws — cordis-plugin-loader/src/config/group.ts:64
[PASS] H7c the locale service is provided under the name "locale" — dsh-client-locale/lib/client.js:1378 → ctx.provide("locale", locale);
```

任何一条**没能在 DSH 源码里找到**的结论都没有被写成通过（见 §7）。

### 2.6 acceptance #6 —— 产出本报告 ✅ passed

本文件即交付物；含逐条 passed/failed、原始命令与输出、未证实清单、重启后人工确认项。

---

## 3. 关键原始证据（原文粘贴）

### 3.1 schemastery junction 与解析（对应 §B.6 路径①）

```powershell
PS> Get-Item 'dsh-approval-chime\node_modules\@deepseek-ai\schemastery' | Select Name,LinkType,Target
Name     : schemastery
LinkType : Junction
Target   : {$DSH_HOME\profiles\node_modules\@deepseek-ai\schemastery}

PS> Get-Item '$DSH_HOME\profiles\node_modules\@deepseek-ai\schemastery' | Select LinkType,Target
LinkType : Junction
Target   : {<dsh-install>\node_modules\@deepseek-ai\schemastery}
```

从**真实** `lib/index.js` 路径出发的解析（`node -e`，不经过任何探针代码）：

```
resolved: <dsh-install>\node_modules\@deepseek-ai\schemastery\lib\index.cjs
realpath: <dsh-install>\node_modules\@deepseek-ai\schemastery\lib\index.cjs
typeof z: function | z.default: undefined
```

探针内的同项断言（probe-4 §a）：`the first anchor is this package (the junction lives there)`、`the synchronous route used require()`、`resolution failures = []`；另外打印出 3 个可解析候选（插件 junction / `profiles/web` / `profiles`）。

### 3.2 增益语义（probe-2 原文）

```
[PASS] volume 70 (the documented default): master gain = value/100 × 0.6 — 0.42
[PASS] volume 50: master gain = value/100 × 0.6 — 0.3
[PASS] volume 100: master gain = value/100 × 0.6 — 0.6
[PASS] volume 1 (just above the silence floor): master gain = value/100 × 0.6 — 0.006
[PASS] volume 70: the master gain is written once and never ramped — [0.42]
[PASS] volume 70: no parameter call ever touched the master gain again — []
[PASS] volume 0: no AudioContext instance is created — 0
[PASS] enabled false: no AudioContext instance is created — 0
[PASS] chime: the rendered wave is sine      · [{"type":"sine","hz":880,"at":42.5},{"type":"sine","hz":1318.5,"at":42.585}]
[PASS] bell:  the rendered wave is triangle  · [{"type":"triangle","hz":659.25,"at":42.5},{"type":"triangle","hz":1318.5,"at":42.5}]
[PASS] beep:  the rendered wave is square    · [{"type":"square","hz":440,"at":42.5},{"type":"square","hz":440,"at":42.68}]
[PASS] volume 1000 is clamped to 100 (gain 0.6) — 0.6
[PASS] a non-numeric volume falls back to the documented default 70 — 0.42
```

音频图结构：每次响铃**恰好一个**主增益直连 destination，且主增益参数只被写一次、无 ramp 污染；所有振荡器都经包络 gain 再进主增益（`["gain->destination","gain->gain","oscillator->gain","gain->gain","oscillator->gain"]`）。

### 3.3 卡片与写路径（probe-3 原文）

```
[PASS] the browser half bound exactly one settings scope — [{"namespace":"approval-chime"}]
[PASS] the browser half waited for the settings.plugin.item slot — ["settings.plugin.item"]
[PASS] the card key IS the Host settings namespace — approval-chime
[PASS] slider min — 0 / slider max — 100 / slider step — 1 / slider shows the effective setting — 70
[PASS] dragging stages locally: no write yet — 0
[PASS] releasing the slider performs exactly one volume write — [{"field":"volume","value":35}]
[PASS] the switch writes immediately — {"field":"enabled","value":false}
[PASS] the picker writes immediately — {"field":"tone","value":"bell"}
[PASS] reset clears all three fields — [{"field":"enabled"},{"field":"volume"},{"field":"tone"}]
[PASS] the keyboard path also commits exactly once — [{"field":"volume","value":12}]
[PASS] status=loading renders nothing — null / status=error renders nothing — null / status=ready renders the card
[PASS] the failure text is rendered inside the card — … 设置写入失败: probe: settings write rejected
```

`no other write channel was used — 6`（3 次 `set` + 3 次 `unset`，全程没有任何其它写入通道）；静态上 `localStorage/sessionStorage` 0 命中。

一次 `pointerup`+`mouseup` 拖拽释放的原始记录（观测项，见 §7-5）：

```
    · writes recorded for one pointerup+mouseup release = [{"field":"volume","value":60},{"field":"volume","value":60}]
[PASS] a duplicated release carries the identical field/value (idempotent, platform-serialized)
```

---

## 4. 独立探针清单（本次新增文件）

| 文件 | 覆盖 |
| --- | --- |
| `verify-independent/kit/platform.mjs` | 自写测试底座：reporter / vm 经典脚本装载器 / 出站资源陷阱 / DOM ledger / WebAudio 记录器 / React 钩子运行时 / fake ctx / DSH 包解析 |
| `verify-independent/probe-1-approval.mjs` | 静态不介入、真 cordis 语义、差分类不干扰、去重矩阵、异常注入、卸载安全（52 项） |
| `verify-independent/probe-2-gain-and-resources.mjs` | 增益语义、静音闸门、音色、边界值、试听、自动播放降级、无外部资源（86 项） |
| `verify-independent/probe-3-card-and-scope.mjs` | 四路 namespace 一致、滑块/开关/音色/试听/恢复默认接线、可用性闸门、写失败可见（58 项） |
| `verify-independent/probe-4-host-half.mjs` | schema 解析、注册参数、降级矩阵、带否证的不可解析场景（57 项） |
| `verify-independent/probe-5-contract.mjs` | DSH 源码逐条对照 + 实现使用的 API 对照 + 已挂载第三方插件先例（78 项） |
| `verify-independent/_raw/*.txt` | 8 份原始输出归档 |

---

## 5. 已证实 / 未证实（`lib/*.js` 实际用法 vs `docs/契约调研.md`）

### 5.1 已证实（本轮有原始输出支撑）

| # | 结论（调研文档） | 实现落点 | 证据 |
| --- | --- | --- | --- |
| A.1 | `$on(event, listener)` 只有两个形参，第三参被丢弃 | 实现**完全不使用** `remote.$on` | probe-5 A.1/A.1b（`dsh-api-gateway/lib/client.js:1472-1473`）；probe-1 §1 静态 0 命中 |
| A.3 | 不调用 `next()` 的监听器切断瀑布、后注册者永不执行 | 因此不注册瀑布监听 | probe-1 §2：真 cordis，trace 只有 `builtin-panel` |
| A.5 | `ctx.uiSession.pendingInteractions` 是 `getSnapshot()/subscribe()` 的 HostObservable | `lib/client.js:509-511,520,560` | probe-5 A.5/A.5b/A.5c（`ui-session/lib/client.js:83-85`）；probe-1 §3 运行时 1 个订阅 |
| A.6 | 判别依据 `kind === 'approval'`，去重轴 `key` | `lib/client.js:530-531` | probe-5 A.6/A.6b（`ui-approval/lib/client.js:140,142`）；probe-1 §4 |
| A.6c | 内置面板正常路径不让位（`return await pending.result`） | 决定「不介入」的直接依据 | probe-5 A.6c（`:252`）、A.6d（`:282` 注册点） |
| A.6/差分 | 不介入 ⇒ 内置处理器仍拿到同一请求、返回值原样透传 | 0 个远程订阅 | probe-1 §2/§3 差分类断言 |
| B.1 | 命名空间必须匹配 `/^[a-z][a-z0-9-]*$/` | `NS='approval-chime'` | probe-5 B.1（`dsh-settings/lib/index.js:82`）；probe-4 正则断言 |
| B.2 | `register(ns, schema, {applies})`；scope 有 watch/update/replace | `lib/index.js:265` | probe-5 B.2/B.2b/B.2c/B.2d（`settings/lib/types/index.d.ts:216,27,102,96`）；probe-4 正常路径 |
| B.4 | 解析时真的调用 `schema(...)` 且 `describe()` 要 `toJSON()` | 因此必须用真 schemastery | probe-5 B.4/B.4b（`settings/lib/index.js:510,363`） |
| B.6 | link: 包必须自带 schemastery junction；DSH 自愈 `$DSH_HOME/profiles/node_modules` | 插件目录 junction 指向 DSH 镜像 | §3.1 原始输出；probe-5 E.3/E.3b/E.3c（`dsh-app-boot/lib/index.js:657,674` + 注释） |
| H11 | 客户端 decode 要求值是普通对象（数组/标量会被丢弃） | schema 用 `z.object` | probe-5 H11（`client-ui-settings/lib/client.js:1109` 原文 `Array.isArray(...)` 也在判） |
| H12 | 非 loopback 页面设置只进内存 | 卡片有 memory 提示分支 | probe-5 H12（`:1345`） |
| C.2 | 卡片注册形态 `slots.inject` + `slots.register({name,key,locale})`，key=命名空间 | `lib/client.js:1159-1160` | probe-5 C.2/C.2b/C.2c（官方样例 `:1785-1788`）；probe-3 §a 四路一致 |
| C.3 | tab 只派发 DSH describe 里 served 的 ns | key 与 DSH 注册名一致 | probe-5 C.3（`:1145` `served.has(entry.options.key)`） |
| C.4 | `available = snapshot.status === 'ready'` | `lib/client.js:616` | probe-5 C.4（`:850`）；probe-3 §c |
| C.4d–f | 平台 scope 的写是**排队串行**的，且会带上 `pendingRevision`；被 revision 栅栏拒绝的写会 `recover()` 后正常 resolve（不 reject） | 卡片每次写只调一次 `set/unset`，失败提示只在真异常时出现 | probe-5 C.4d/C.4e/C.4f（`client-ui-settings/lib/client.js` 的 `set()`/`mutate()`：`const revision = expectedRevision ?? this.pendingRevision ?? this.getSnapshot().revision`、`if (!response.ok) { … recover(generation); return; }`） |
| C.5/H6 | 官方 CardForm 无法跨包 require，UI 必须自绘 | 卡片自绘 | probe-5 C.1b/C.1d（bundle 只导出 apply/inject，`exports.CardForm` 不存在） |
| D.1/D.3 | `id` 必须等于包名；bundle 是经典脚本、只注册 factory | `lib/client.js:64-67`，`require` 仅 `react` | probe-5 D.3/D.3b/D.3c（`client-modules/lib/types/client/manifest.d.ts:149,164,12`）；probe-2 §d 运行时仅 require react |
| D.2 | 缺 bundle 有专门错误类型、模块表按包名键控 | — | probe-5 D.1/D.2/D.2b（`dsh-client-modules/lib/index.js:93,825,830`） |
| D.4 | `dsh.client.platform` 由 Web consumer 取 `web` | `package.json` 已声明 | probe-5 D.4/D.4b（`dsh-package-manifest/lib/types/types.d.ts`） |
| E.1 | `ctx.baseUrl` = profile 目录 URL；包名先按安装、再按 profile 解析 | DSH 侧把 `ctx.baseUrl` 当候选锚点 | probe-5 E.1/E.1b（`dsh-app-boot/lib/index.js:1529` + 模块注释「two-anchor by construction」） |
| E.2/H10 | 各层 patch 合并成一个数组一次性 update，重复 id 抛错 | `cordis.patch.yml` 只 insert 一次 | probe-5 E.2/E.2b（`cordis-plugin-include/src/index.ts`；`cordis-plugin-loader/src/config/group.ts:64`） |
| H7 系列 | 四个服务名确实是 `slots`/`locale`/`settingsScope`/`uiSession`；`bind` 吃 `{namespace}` | `inject` 四项与 `bind({namespace: NS})` | probe-5 H7/H7b/H7c/H7d/H7e/H7f/H7g：`ui-settings:1143`、`ui-settings:1177`、`dsh-client-locale:1378`、`:1256`、`:1369`、`ui-renderer:995`、`ui-session:99` |
| 先例 | 同机已挂载的第三方浏览器插件（`dsh-quorum-panel`）用同一组 `['slots','locale']` + `ctx.locale.register(NS, DICT)` | 同构写法 | probe-5 末节（读 `profiles/web/node_modules/dsh-quorum-panel/lib/client.js:1098,1295,1300`） |
| 打包契约 | `dsh.bundle.patch`、`exports['./client']`、`exports['./cordis.patch.yml']`、`dsh.client.platform` | `package.json` | dev `host-half` 复跑 51/51；本报告 §0 哈希 |

### 5.2 未证实（本轮无法证明，**未计入通过**）

| # | 事项 | 为什么未证实 | 需要什么才能证实 |
| --- | --- | --- | --- |
| U1 | 浏览器里**真的响**（听感） | 无真实浏览器 / 无音频设备 | 重启后人工听（§8-2） |
| U2 | 真实审批到来时 `pendingInteractions` 会产生新 `kind='approval'` 条目，且能被本 bundle 订阅到 | 端到端链路（Host → web shell → ui-session → ui-approval）无法离线复现；服务名/形状已源码证实（§5.1 H7），但「装配起来真的通」未证实 | 重启后触发一次真实审批（§8-3；同时看 §8-8 面板零影响） |
| U3 | 卡片真的出现在「设置 → 可配置插件」列表里 | 需要 `settings.describe` 往返 + tab 派发；本轮只证实了 DSH 侧会注册、浏览器侧会按 key 注册、tab 只派发 served ns | 重启后打开设置页（§8-1） |
| U4 | 设置真的落盘到 `$DSH_HOME/settings.yaml` 的 `approval-chime:` 段 | 需要 DSH 写入链路 | 重启后改一次音量并检查文档（§8-7） |
| U5 | 自动播放策略下的实际可听性（首次未交互是否静音） | 依赖真实浏览器策略 | 重启后在未点击页面前触发一次，再点「试听」后触发（§8-2＋§8-3） |
| U6 | 改 `lib/client.js` 后是否需要刷新页面（H4） | 依赖 client-hmr 实际行为 | 重启验收时顺带观察卡片上的 revision 戳（§8-1） |
| U7 | 每 session 仅一个 pending 造成的**遮蔽**（H3）在真实并发场景的表现 | 源码已证实「按 precedence 取一个」（probe-5 H3/H3b），但真实并发提问+审批的端到端复现未做；且这是**DSH 限制**，非本实现缺陷 | 可选：重启后同会话并发触发审批+提问观察（§8-4 的加重版） |
| U8 | `uiSession` 等四个服务在真实 web profile 装配中一定被提供 | 源码证实服务名与 provider 存在（§5.1 H7），但本次未启动 DSH；若某服务缺失，cordis 会因 `inject` 未满足而**整体不 apply**（提示音与卡片都不会挂载） | 重启后看卡片是否出现（§8-1）即可判定 |

---

## 6. 对抗性/边界结果一览（无需人工确认的部分）

| 场景 | 期望 | 实测 |
| --- | --- | --- |
| 同 key 连续 5 次重发 | 只响一次 | ✅ triggers=1 |
| 内容相同的新 Map | 不响 | ✅ |
| key 消失后再出现 | 不响 | ✅ |
| 替换请求（新 key） | 响一次 | ✅ |
| 一次快照 2~3 个新审批 | 1 次提示音（批处理，见 §7-3） | ✅ |
| 非 `approval` 类型（question） | 不响 | ✅ |
| 无 key 的审批 | 按 `session:<id>` 去重 | ✅ |
| `kind`/`key` getter 抛异常 | 不逃逸、不响、不污染去重 | ✅ |
| `pendingInteractions.getSnapshot()` 抛异常 | 不逃逸、恢复后仍能正常响 | ✅ |
| `settingsScope.getSnapshot()` 抛异常 | 回落到默认值 70 继续响 | ✅ |
| `AudioContext` 构造抛异常 / 不存在 | 计数为 `suppressedUnsupported`，不抛 | ✅ |
| `new Audio()`/`fetch`/媒体文件 | 0 次尝试（陷阱 0 命中） | ✅ |
| volume 0 / enabled false | 连 AudioContext 都不创建 | ✅ |
| 设置写失败 | 卡片显示「设置写入失败: …」，仍可继续操作 | ✅ |
| 卸载（effect disposer） | 取消订阅、不再响 | ✅ |
| DSH 侧缺 settings / register 抛错 / describe 抛错 / settings getter 抛错 | 一律不抛、不产生未处理 rejection | ✅ |
| schema 包不可解析（带否证的隔离副本） | 不抛、不注册、记日志、无未处理 rejection | ✅ |

---

## 7. 残余风险与已知限制（均不构成验收失败）

1. **`inject` 把 `uiSession` 作为硬依赖**（`lib/client.js:1083`）。四个服务名本轮已在 DSH 源码中逐一证实（§5.1 H7），但一旦 DSH 改名/移除，cordis 会因注入未满足而整体不 apply：**提示音和卡片会一起消失**（只在控制台留下 cordis 的等待提示）。这是设计取舍，不是缺陷；若要更保守，可把 chime 监视器与卡片拆成两个 bundle。
2. **去重表上限 256**（`DEDUP_LIMIT`）。被淘汰的 key 若仍留在某次快照里，理论上会再响一次。UI 会话里不可达。
3. **同一次快照里的多个新审批只响一次**（实现注释明示「one chime covers the batch」）。验收要求只规定「同一次审批只响一次」，未要求「多个同时审批响多次」，故不算失败，仅记录行为。
4. **H3 遮蔽**：同会话同时有审批与提问时，审批可能按 precedence 被遮蔽而漏响 —— 已由 DSH 源码证实（probe-5 H3/H3b），属 DSH 限制。
5. **一次鼠标拖拽结束会写两次同一个值**（观测，非缺陷）：`onPointerUp` 与 `onMouseUp` 都在「草稿尚未落地」的窗口内触发提交，probe-3 记录到 `[{"field":"volume","value":60},{"field":"volume","value":60}]`。平台侧写是排队串行的、并携带 `pendingRevision`（probe-5 C.4d–f），被栅栏拒绝时也只是 `recover()` 后 resolve，因此不会出现重复值、也不会弹「设置写入失败」。若要去掉这多余的一次写入，可在 `commitVolume` 里加一个 in-flight 标记（属可选优化，不影响本轮验收）。
6. **U1–U8 未证实项**：按 §8 的人工步骤确认前，不应对外宣称「浏览器里能响」「卡片已出现」「设置已落盘」。

---

## 8. 需要重启后由用户人工确认的项（交接给 t5 的验收清单）

> ⚠️ **本节是 rev-1 形态的历史清单（t4 加注）**：第 1 项等步骤描述的是「设置 → 可配置插件 → 卡片」。
> **rev-7 起的入口是「设置 → 通知提醒」独立分区**（见 `docs/契约调研.md` §K、`README.md` §3、`docs/挂载与验收.md` §7），
> 且 rev-7 的浏览器侧端到端**仍未证实**（`docs/rev7-独立验证.md` §8）。下面各项的「判据」按 rev-1 阅读。

> 前提：t5 完成挂载（profile `dependencies` 加 `link:`、`dsh.profile.bundles` 追加 `dsh-approval-chime`）并**重启** `dsh web`。以下每项都写清「怎么做、看到什么算通过、看到什么算失败」。

1. **卡片出现（rev-1 形态；rev-7 起改为：设置 → 通知提醒 出现独立一行 + 分区页）**：重启 DSH → 浏览器打开 `http://127.0.0.1:3080`（必须 loopback，见 H12）→ 刷新页面 → 设置 → 可配置插件。**通过**：出现「审批提示音」卡片，右上角 revision 戳显示 `rev-1 · pending-interactions`；滑块默认 70%。**失败**：卡片不出现 → 先看 `settings.yaml` 是否出现 `approval-chime:` 段（判定 DSH 侧是否注册成功），再看浏览器 console 是否有 `[dsh-approval-chime]` 警告。
2. **试听听感**：点卡片「试听」。**通过**：听到短促提示音；卡片「音频状态」变为「已就绪 · 已解锁」。**失败**：无声但状态为「未解锁」→ 先在页面任意处点一下再试（自动播放策略），仍无声则记录 U5。
3. **真实审批触发**：让 DSH 发起一次权限申请（例如执行一个需要审批的工具调用）。**通过**：审批面板出现的同时响一次；卡片「已触发」+1、「上次触发」显示时间、「最近音色/音量」显示 `chime / 70% (gain 0.42)`。**失败**：面板出现但不响 → 记录「已见审批」计数：若计数 +1 而「已触发」不变，则是静音闸门（检查开关/音量）；若「已见审批」也不变，就是 U2 未成立（端到端链路问题），需上报。
4. **不重复响**：在同一个审批未处理期间，让页面发生别的变化（例如切换会话/其他 UI 更新）。**通过**：不重复响。**失败**：同一次审批响第二次 → 去重轴在真实数据上不成立（需上报，本实现按 `key` 去重）。
5. **音量语义**：把滑块拉到 0 → 触发审批（**通过**：不响，卡片出现「因音量为 0 而静音 ×1」）；拉到 50 → 试听（**通过**：明显比 100 小，卡片显示 `gain 0.3`）；拉到 100 → 试听（**通过**：`gain 0.6`）。
6. **开关语义**：关掉「启用提示音」→ 试听按钮变灰、触发审批不响且卡片出现「因『启用』关闭而静音 ×N」；重新打开 → 立即响一次（开启时的即时反馈）。
7. **落盘持久化**：改音量到 35、关掉开关 → 检查 `$DSH_HOME\settings.yaml`。**通过**：出现 `approval-chime:` 段且含 `volume: 35` / `enabled: false`；重启 DSH+刷新页面后卡片仍显示 35%（**通过**：持久化成立）。
8. **审批面板零影响（关键回归）**：连续触发 3 次审批，每次都用面板按钮正常「允许/拒绝」。**通过**：面板按钮立刻生效、无卡顿、无需要二次点击；console 无本插件异常。**失败**：审批卡住/需要重复点击 → 立即回滚（本插件不注册瀑布监听，理论上不可能，但这是最关键的回归项）。
9. **回滚**：profile `dsh.profile.bundles` 移除 `dsh-approval-chime`（或在 profile patch 里 `- id: dsh-approval-chime` + `disabled: true`）→ 重启 → 卡片与提示音同时消失、审批面板照常。

---

## 9. 本轮未改动声明

* `dsh-approval-chime/lib/**`：**只读**（验证前后哈希一致，见 §0）。
* `dsh-approval-chime/verify/**`：**只读**（只执行，未修改）。
* DSH 目录 `C:\...\npm-cache\_npx\...`、`$DSH_HOME`（profiles / settings.yaml）：**只读**；profile 当前仍**未挂载**本插件（`profiles/web/package.json` 与 `cordis.patch.yml` 均无 `dsh-approval-chime`），挂载属 t5。
* 未安装任何 npm 包；未创建/删除 `node_modules`；临时副本目录已清理（`%TEMP%\t3-independent-*` 无残留）。
* 本次新增写入仅限：`dsh-approval-chime/verify-independent/**`（探针 + 原始输出）与本报告 `dsh-approval-chime/docs/验证报告.md`。