@dsh-workbench/core 0.2.16 → 0.3.1

package/skills/workbench-module-diy/KIT.md

@@ -89,7 +89,7 @@ h(Field, { label: t('myunit.mode'), hint: t('myunit.modeHint') },
 **`FormActions`** —— **操作区**（一组按钮）：`actions: { key, label, kind?: 'default' | 'danger' | 'primary', onClick, disabled?, busy? }[]`。
 **顺序 / 间距 / 换行都归它** —— `primary` 永远在右、`danger` 紧挨它左侧、一个区只许一颗 `primary`、
 窄了自动折行且 `primary` 落在右下角；`busy` 自带 `Spinner`。调用点只给"有哪些动作、哪个是主要、点了做什么"：
-**别自己写 `gap` / `margin` / 顺序，也别借 `.wb-formActions` 槽类手摆**（`check:style` 的 F3 会红，没有豁免）。
+**别自己写 `gap` / `margin` / 顺序，也别借 `.wb-formActions` 槽类手摆**（`check --only style` 的 F3 会红）。
 
 ```tsx
 h(FormActions, { actions: [
@@ -99,10 +99,10 @@ h(FormActions, { actions: [
 ```
 
 `danger` 只标"这是破坏性的"（渲成描边 + 危险色，**永远不当填充的 `primary`**）；**二次确认那半归调用点**
-（先问一句或弹窗都行），口径见 [ADR-0054](../../../../docs/adr/0054-the-action-area-is-one-component.md) §2 规则三。
+（先问一句或弹窗都行）。
 
 **别手写 `<button>` / `<input>` / `<select>`**：dsh 有 `Button`（`variant` / `size`），
-kit 有上面这几件；手写的会拿到浏览器默认样式，而且**判据会红**（`check:style`）。
+kit 有上面这几件；手写的会拿到浏览器默认样式，而且**判据会红**（`check --only style`）。
 `<textarea>` 例外（dsh 与 kit 都没有多行输入）——真要用就直接写，其余形态别开这个口子。
 
 控件怎么排成一行（标签位置、错误态、尺寸）见 §5。
@@ -120,7 +120,7 @@ h(FormRows, null,
     h(ChoiceGroup, { label: t('myunit.env'), name: 'env', options, value: env, onChange: setEnv })))
 ```
 
-- **标签归 `FormRow`**（`label`）：默认标签在左，`layout: 'stacked'` 才是上下堆叠（等于原来的 `Field`）。
+- **标签归 `FormRow`**（`label`）：默认标签在左，`layout: 'stacked'` 才是上下堆叠（`Field` 那种排布）。
   **控件只给数据与语义 prop**，不写外观类名（§7 第 1 条）。进了 `FormRow` 就别再给控件自己的
   `label` / `hint`（`SelectField` 那两件是没 `FormRow` 时的兜底，重复给会多一个标签、还退回上下堆叠）。
 - **`hint` 与 `problem` 二选一**：给了 `problem` 就不画 `hint` —— 同一格不叠两段话，有错先显示错。
@@ -145,18 +145,15 @@ h(FormRows, null,
 **反例（别这么写）**：
 
 ```tsx
-h('span', { className: styles.label }, t('myunit.mode'))   // ← 紧邻控件的手写标签行：check:style 红
+h('span', { className: styles.label }, t('myunit.mode'))   // ← 紧邻控件的手写标签行：`check --only style` 红
 h('div', { className: styles.form }, …)                    // ← .form { gap: 8px }：自己管行距也红
 ```
 
-`<span className={styles.label}>` 紧邻控件、或给表单容器自己写 `gap` —— 这正是 `check:style` 那条
-棘轮（F1 手写行 / F2 自己管行距）盯的东西；`FORM_ROW_EXEMPT` 是这张表的历史账，**2026-10-17 已经清空**
-（外壳 0.2.13 之后按"迁一处删一行"迁完，ADR-0052 §10）—— 表空了仍然**不是"可以继续这么写"的许可**：
-现在再这么写直接红，没有豁免那一层。
+`<span className={styles.label}>` 紧邻控件、或给表单容器自己写 `gap` —— 这正是 `check --only style` 那条
+棘轮（F1 手写行 / F2 自己管行距）盯的东西：这么写直接红。
 
 **时点**：这一层随外壳**发版**后模块才能用 —— 模块的 `peerDependencies` 下限得先有它
-（`check:kit` 拿 peer 下限那份外壳比，不抬必红）；迁移步骤见
-[ADR-0052](../../../../docs/adr/0052-the-form-row-is-one-component.md) §10。已迁完的包下限在 `^0.2.14`。
+（`check --only kit` 拿 peer 下限那份外壳比，不抬必红）。包下限是 `^0.2.14`。
 
 ## 6 别的
 
@@ -166,7 +163,9 @@ h('div', { className: styles.form }, …)                    // ← .form { gap:
 - **`Stack`** —— 竖排 + 统一间距（懒得分组时的默认容器）。
 - **`BlockerState`** —— 阻断屏：要登录 / 没权限 / 能力没装好那一类（`blocker` / `t` / `onRetry` / `onOpenMarket`）。
 - **`Tip`** —— Tooltip：图标钮与只有图的地方**必须**有它（或 `aria-label`）。
-- **别给模块带夹具**：2026-10-16 起模板 / `init` 文案 / 这份指引都不带评审夹具了（`?wbMock=1` 那套、`useFixturePick` / `MockStrip` / `mockNote` 都从模板里删了）。夹具是模块作者负担里最不值的那一份 —— 而**你自己那份 `plugin.test.ts` 就能把五态各喂一遍**，而 `check:cards` 会拿七种外壳侧输入各喂一遍（它只问"退化得干不干净"，不断言"画的是哪一态那一屏"）。外壳自己那套 `?wbMock=1` 夹具是给**外壳的卡片**用的，模块不必跟（机制仍在，谁想要仍然可以用，但**不是你要做的事**）。
+- **真机上造不出来的那几态**：**拿你自己那份 `plugin.test.ts` 把五态各喂一遍**就够；
+  `check --only cards` 还会拿**七种外壳侧输入**各喂一遍（它只问"退化得干不干净"，
+  不断言"画的是哪一态那一屏"）。
 - **图标** —— `IconPanelScreen`（面板/卡片那类）、`IconModuleMark`（我们的模块类型标）、
   `IconNpm` / `IconOpencli`（包类型）；其余图形一律从 dsh 的 `Icon*Regular` 拿，**别自己画图标**。
 

package/skills/workbench-module-diy/LINKAGE.md

@@ -94,8 +94,7 @@
 
 三句都写进能力清单（用户看的是"哪一格会跟着动"）。
 
-→ 实现与逐工具那张表：本文 §1 · 工作台仓库里的 `docs/adr/0023-read-tools-claim-facts.md` §2.3
-（工程域的实现落点见 `.agents/skills/module-design/IMPLEMENTATION.md` §5）。
+→ 实现：本文 §1 与 §7。
 
 ## 8 宿主侧的四个口子（实现形状）
 
@@ -119,7 +118,7 @@ const resource = useApiResource(ROUTE, query, rev, {});
 
 卡片的 `useApiResource` **默认就订阅** `factOfRoute(route)`（`use-api-resource.ts` 里那句
 `options.fact ?? factOfRoute(route)`），所以多数情况你什么都不用接；用户自己按的那个动作做完，
-用 `useFactInvalidate()()` 把这条事实标脏（cmdb 的发布就是这么做的）。
+用 `useFactInvalidate()()` 把这条事实标脏。
 
 ```ts
 context: { kinds: ['module'], render: async (ref) => `模块 ${ref.parts[0]}：…` },
@@ -131,13 +130,13 @@ warmReads: () => [['<unit>', '<target>']],
   判据只查形状（`kinds` 非空、`render` 是函数），**不会拿假参数调它** —— 那些参数只有真引用才有。
 * `warmReads`：**只给"走 opencli 适配器"的读用**。条目就是那条 opencli 命令的 argv，外壳在启动的
   preflight 里拼成 `opencli <argv…> --site-session persistent -f json` 先跑一遍（把站点登录态与首屏焐热）。
-  例：成熟模块 cmdb 的 `[['cmdb', 'enterprises']]`（`module-cmdb/src/model/warm.ts`，还带测试）。
+  例：`[['cmdb', 'enterprises']]`（一条 opencli 命令的 argv，还带测试）。
   **本机读盘、browser bridge、直接打接口的读一律不要写这里** —— 写了外壳会去跑一条不存在的命令，
-  preflight 只会给个 warn；这些读没有"冷启动"可省，焐不热任何东西。工坊里四个模块就是刻意不写的。
+  preflight 只会给个 warn；这些读没有"冷启动"可省，焐不热任何东西。
 * `values`（`deps.values`，`ValueHandoff`）：把一次写的结果交给别的单元 —— `values.hand({fact, key}, 值)`，
   另一边 `values.take({fact, key})` 取；`key` 自己起（例：一次发布的结果给联动那一格用）。
 
 ## 9 范例
 
-范例与来龙去脉都在**工作台仓库里**：`.agents/skills/module-design/EXAMPLES.md` §3
-（逐工具那张表、值交接、刷新下限、收起模块的来龙去脉）—— 工坊会话里够不到那儿。
+要一个"同形状、能跑"的样子：[SKILL.md](SKILL.md) 的「找不到一件事的时候」—— 模板
+（`template-diy/` / `template/`）与装机模块的源码都可以直接读。

package/skills/workbench-module-diy/PANEL.md

@@ -74,7 +74,7 @@
 | `view` | 卡片底部一次性的选择（看哪种口径、看几天） | 回默认 | 当 **route 参数**传给模块自己的只读口；非法的退路写进 `wrongChoice` |
 | `prefs` | 他配一次、以后一直算数（钉哪个环境、忽略哪些、超时多久） | **还在** | `mount` 返回 `prefs: { resource, handle }`，`handle` 里用 `deps.store` 落盘 |
 
-**宿主半侧**（最小可抄；工坊里 `module-diy-doctor/src/prefs.ts` 是完整例子）：
+**宿主半侧**（最小可抄）：
 
 ```ts
 // mount(deps) 里。按项目分开记：这个项目一份，换项目不串
@@ -99,7 +99,7 @@ const write = useHostWrite({ channel: 'prefs', resource: 'your-module' });
 write.send({ ignored, timeoutSeconds, workspace });
 ```
 
-`handle` 里那几件事（成熟模块都这么做，`argocd` 的 `prefs.test.ts` 把每一条都钉住了）：
+`handle` 里那几件事（成熟模块都这么做）：
 
 - **未设置 ≠ 空**：没写过就出"第一次选"那一屏；显式选空是"空态"，两者不能混；
 - **清空 = 回到默认，并把文件收掉**（不留一个空对象）；
@@ -128,7 +128,7 @@ agent 那一侧也要能通过模块自己的能力读到同一份偏好。
   它内部已经把 dsh 的图标原语包好了，所以模块**不用**为它声明 `client.external`。
 - **"去看某处"用哪个**：跳**整张卡对应的系统** → 卡头的图标按钮（`CardHead.platformHref`：只有图标 + Tooltip。
   **给这一个就够了**，那颗 ↗ 立刻就画；`platform` / `platformTitle` 是可选的，只决定 Tooltip 与
-  `aria-label` 上的字 —— 以前的实现要两个都给才画，少给一个就静默少一颗按钮）；
+  `aria-label` 上的字 —— 少给一个**不会**少画那颗 ↗）；
   跳**一个具体页面 / 一条具体记录** → `Link`（正文里的文字链接）；**触发一个动作**（刷新、重建、去登录）→
   dsh 的 `Button`，或阻断屏里的 `action`。区别在"跳去哪"和"它是不是一个动作"，不在好看不好看。
 - **标签 + 输入框的排布用 `Field`**，输入框用 `TextField` —— 内边距与排版是外壳给的默认，
@@ -164,7 +164,7 @@ agent 那一侧也要能通过模块自己的能力读到同一份偏好。
 - **平台没给的那一格就不占位**（不留孤零零的字段名、不留空的一行）。
 - **读不到就说读不到**，并说清为什么（例：手上这份能力太旧）；**绝不显示 0**。
 - 有确定答案就不打扰他（能按默认读出来就别弹设置面）。
-- 真机上造不出来的状态也要**在设计上**画出来（照这一格写清）—— 但**不必为它写夹具**：2026-10-16 起模板与指引都不带评审夹具，模块自己的 `plugin.test.ts` 把五态各喂一遍就够（`check:cards` 会拿**七种外壳侧输入**各喂一遍 —— 它只问"退化得干不干净"，**不断言**"画的是哪一态那一屏"）。
+- 真机上造不出来的状态也要**在设计上**画出来（照这一格写清）—— 模块自己的 `plugin.test.ts` 把五态各喂一遍就够（`check --only cards` 会拿**七种外壳侧输入**各喂一遍 —— 它只问"退化得干不干净"，**不断言**"画的是哪一态那一屏"）。
 
 ### 7.1 图例就是把屏幕画成 ASCII
 
@@ -179,7 +179,7 @@ agent 那一侧也要能通过模块自己的能力读到同一份偏好。
 - **一行里那些记号挨着的样子**（状态点 + 编号 + 元信息 + 行尾两颗）
 - **状态点的几档**（只有颜色不同；**撞色的那两档要在图下点明靠什么分开**）
 - **可点的筛选**（几颗、选中的那颗什么样）
-- **只在某种模式出现的东西**（例：夹具条）
+- **只在某种模式出现的东西**
 - **审批弹窗**（哪一行是套件给的、哪一行是系统给的、按钮在哪）
 
 三条写法：
@@ -187,12 +187,12 @@ agent 那一侧也要能通过模块自己的能力读到同一份偏好。
 - **用真字**：图里的文案用界面上真实那句（例「没有指派给你的缺陷。」），别写"一句空态文案"。
 - **别拿图标代替画面**：给状态起个名字、配个 `⛔` 这类符号，用户还是分不清；一眼能认的是**形状**（整卡换掉 vs 多一行）与**位置**（行首的点、行尾的两颗）。
 - **画不成的才写词**：动作、agent 的下一步、时间性的"不变 / 自己变"，写成词并说清意思。
-- **真机上造不出来的状态**：沟通时照样画（画的是设计意图）；实现时**要让它能用真实输入走到**（换个空目录、换个坏路径、先不选），而不是给它写夹具 —— 2026-10-16 起模板与指引都不带评审夹具，模块自己的 `plugin.test.ts` 把五态各喂一遍就够。
+- **真机上造不出来的状态**：沟通时照样画（画的是设计意图）；实现时**要让它能用真实输入走到**（换个空目录、换个坏路径、先不选），模块自己的 `plugin.test.ts` 把五态各喂一遍就够。
 
 ## 8 范例（真实产出的形状）
 
-范例都在**工作台仓库里**：`.agents/skills/module-design/EXAMPLES.md` §1 —— 工坊会话里够不到那儿，
-就照 [SKILL.md](SKILL.md) 的「找不到一件事的时候」读模板与装机模块的源码。
+要一个"同形状、能跑"的样子：[SKILL.md](SKILL.md) 的「找不到一件事的时候」—— 模板
+（`template-diy/` / `template/`）与装机模块的源码都可以直接读。
 
 ## 9 界面边界：kit 不够用时怎么办
 
@@ -203,6 +203,5 @@ kit 里确实没有、而你要的又是标准控件（确认条、选择器、
 * 在 `package.json` 的 `dsh.client.external` 里**声明** `@deepseek-ai/dsh-client-ui-primitives`；
 * 宿主侧（`src/host.ts`）**一个字都不许碰** —— `check` 的源码边界判据会红。
 
-理由不是"能省事"：装机成熟模块里有一半的界面是这么搭的（argocd / cmdb / coding-issues / coding-analysis
-四个包下 23 个文件引了这个包）。但**能拿 kit 的时候别自己画** —— kit 那套跟着外壳一起换主题、跟着语言走，
+理由不是"能省事"：装机成熟模块里有一半的界面是这么搭的。但**能拿 kit 的时候别自己画** —— kit 那套跟着外壳一起换主题、跟着语言走，
 自己画的不会。

package/skills/workbench-module-diy/REVIEW.md

@@ -5,8 +5,8 @@
 
 | 判据 | 它防的事故 | 红了的典型说法 | 怎么修 |
 |---|---|---|---|
-| `contracts` | dsh 组合阶段**不校验**你 `package.json` 里的声明 —— 错的 `external` 要到浏览器 `require` 那一刻才炸；清单与代码、底稿与清单之间漂了也没人拦 | `单元 id "x" 与 … 撞了` / `dsh.workbenchFaces.client 指的文件不存在` / `dsh.workbenchFaces.host 没声明` / `没有对 @dsh-workbench/core 的 peer 依赖` / `没有 typecheck 脚本` / `它不是 private，却既没声明 publishConfig.access=public…` / `src/declared-tools.ts 与清单对不上（生成物过期…）` / `工具名的字面量又写回了源码` / `…没有 key` / `dsh.workbench 声明的能力与代码真正注册的对不上` / `design.json 的能力行里有「x」，清单的 tools[] 里却没有它` | 按报的那一条改 `package.json`（生成物对不上就跑 `dsh-wb-module sync`；工具名的字面量只许留在清单里）；`unit` 换个不撞的名字；`dsh.workbenchFaces` 补上两个**源码**入口；四个脚本补全；私有不发就保持 `private: true`。**工具只声明在清单里**（`dsh.workbench.tools`）且必须与 `mount()` 里 `registerTools()` 真正注册的**不重不漏**；写了 `design.json` 的话，它的 `capabilities[].name` 与清单的 `tools[].name` 也要不重不漏（U1c 的**键集合对账**，只对名字 —— 内容各写一处）；`gate.deniedTools` 是可选的运行期收窄，门禁不再对它做声明对账（协议里的 `scope` 已删 —— 哪些工作区出现由用户的板决定） |
-| `protocol` | `dsh.workbench` 是外壳读你得懂的那份声明：缺版本、形状不对、**多一个键**、枚举值不认都要在装机前拦下来。多出来的键最阴 —— 外壳会**静默忽略**它（拼错一个键 = 那句话白写） | `没有 apiVersion` / `apiVersion 是 99，这份只认 1` / `声明了 apiVersion 就要把静态半写全 —— 缺 dsh.workbench.tools` / `dsh.workbench 里有协议 v1 不认识的键 "faces"` / `card 里有不认的键 "enabledByDefault"`（这个键连外壳里都没有了 —— A-3 删的，见 [ADR-0038](../../../../docs/adr/0038-module-declaration-protocol.md) §6.7） / `tools[0] 里有协议不认的键 "scopes"` / `tools[0] 里有不认的键 "scope"`（`scope` 自本轮更正起**不在协议里**：能力在哪些工作区出现由用户的板决定，见 [ADR-0038 §2.4 / §6.16](../../../../docs/adr/0038-module-declaration-protocol.md)） | 补 `"apiVersion": 1`；把 `unit` / `card` / `tools` / `host` 四个键写全（没卡片写 `"card": null`、没工具写 `"tools": []`、一个服务都不要写 `"host": { "inject": [] }`）；删掉协议外的键（`faces` 自 A-2 起搬到 `dsh.workbenchFaces`，写回 `dsh.workbench` 里就是生字段）；`scope` **不要写**（协议不认它，写了就是生字段）。字段清单见 `dsh-wb-module` 的 README「协议」那一节 |
+| `contracts` | dsh 组合阶段**不校验**你 `package.json` 里的声明 —— 错的 `external` 要到浏览器 `require` 那一刻才炸；清单与代码、底稿与清单之间漂了也没人拦 | `单元 id "x" 与 … 撞了` / `dsh.workbenchFaces.client 指的文件不存在` / `dsh.workbenchFaces.host 没声明` / `没有对 @dsh-workbench/core 的 peer 依赖` / `没有 typecheck 脚本` / `它不是 private，却既没声明 publishConfig.access=public…` / `src/declared-tools.ts 与清单对不上（生成物过期…）` / `工具名的字面量又写回了源码` / `…没有 key` / `dsh.workbench 声明的能力与代码真正注册的对不上` / `design.json 的能力行里有「x」，清单的 tools[] 里却没有它` | 按报的那一条改 `package.json`（生成物对不上就跑 `dsh-wb-module sync`；工具名的字面量只许留在清单里）；`unit` 换个不撞的名字；`dsh.workbenchFaces` 补上两个**源码**入口；四个脚本补全；私有不发就保持 `private: true`。**工具只声明在清单里**（`dsh.workbench.tools`）且必须与 `mount()` 里 `registerTools()` 真正注册的**不重不漏**；写了 `design.json` 的话，它的 `capabilities[].name` 与清单的 `tools[].name` 也要不重不漏（**键集合对账**，只对名字 —— 内容各写一处）；`gate.deniedTools` 是可选的运行期收窄 |
+| `protocol` | `dsh.workbench` 是外壳读你得懂的那份声明：缺版本、形状不对、**多一个键**、枚举值不认都要在装机前拦下来。多出来的键最阴 —— 外壳会**静默忽略**它（拼错一个键 = 那句话白写） | `没有 apiVersion` / `apiVersion 是 99，这份只认 1` / `声明了 apiVersion 就要把静态半写全 —— 缺 dsh.workbench.tools` / `dsh.workbench 里有协议 v1 不认识的键 "faces"` / `card 里有不认的键 "enabledByDefault"` / `tools[0] 里有协议不认的键 "scopes"` / `tools[0] 里有不认的键 "scope"` | 补 `"apiVersion": 1`；把 `unit` / `card` / `tools` / `host` 四个键写全（没卡片写 `"card": null`、没工具写 `"tools": []`、一个服务都不要写 `"host": { "inject": [] }`）；删掉协议外的键（`faces` 住在 `dsh.workbenchFaces`，写回 `dsh.workbench` 里就是生字段）；`scope` **不要写**。字段清单见 `dsh-wb-module` 的 README「协议」那一节 |
 | `bundles` | 两个运行时互串：浏览器产物里带 node 内置、宿主产物里带 DOM / react | `浏览器产物里出现了 node 内置 …` / `宿主产物里出现了 react` | 宿主面别 import 浏览器侧的东西；浏览器面别 import `node:*`。两侧只通过服务名相接 |
 | `source` | 非种子词的 `@deepseek-ai/*`、宿主侧碰 dsh 的浏览器包、`@/` 指到工作台源码 | `…在宿主侧可达` / `不是平台种子词` | 宿主侧只用 Node 侧的东西；dsh 原语一律走 `kit`；`@/` 只指自己的 `src/` |
 | `primitives` | 声明了 `external` 却没有产物物证 ⇒ dsh 原语被**内联**成第二份实例 | `…用了却没声明 external` / `宿主产物里出现了` | 在 `dsh.client.external` 里显式声明它；确认产物里是 `require(...)` 而不是被打包进来 |
@@ -22,7 +22,6 @@
 判据自己也有正例与负例，正常不会误报。但有一种红是**模板/工具坏了**而不是你写错了：
 
 - 骨架是刚 `init` 出来的、**一行都没改**，却红了 —— 那是模板的问题，不是你的。
-  工作台仓库里有一条判据盯着这件事（生成一个骨架跑全套，红就是门禁坏了）。
 
 ## 三条"不是判据、但更常踩"的
 

package/skills/workbench-module-diy/SKILL.md

@@ -68,9 +68,8 @@ description: 在工作台里凭需求造一个模块（面板上的一块内容
    `node_modules/@dsh-workbench/core/skills/workbench-module-diy/**` 就是这份指引。
    它的 README 与 `docs/HANDOFF.md` / `docs/OPERATIONS.md` 也在包里。
 
-⚠️ **别去工坊外面找**：这几份指引里出现的 `docs/adr/**`、`.scratch/**`、`packages/**`
-是**工作台仓库里**的路径（只有你恰好在那份仓库里时才有）。工坊里的会话够不到它们 ——
-`node_modules/@dsh-workbench/…` 才是你在工坊里够得到的那一份。
+⚠️ **你手上就是这两份**：工坊会话里够得到的是 `node_modules/@dsh-workbench/…` ——
+外壳与 `dsh-wb-module` 都在那儿；别处没有。
 
 ## 三条不许松的
 

package/skills/workbench-module-diy/TOOLING.md

@@ -14,10 +14,10 @@
 |---|---|
 | 十一条判据（[REVIEW.md](REVIEW.md)） | `dsh-wb-module check`（`--only <判据>` 单跑；`--only kit` 列这份外壳的 kit 成员） |
 | 落点、文件形状、四个脚本（[BUILD.md](BUILD.md) §1–§2） | `dsh-wb-module init --template diy`（骨架带一条真读盘的数据源）+ `scripts/smoke.mjs` |
-| 装、上板、不重装（[WIRING.md](WIRING.md) §3） | `workbench_diy_install` / `workbench_diy_show` / `workbench_diy_status`（工坊那一跳自己上板，不再指向 `workbench_panels_show`） |
+| 装、上板、不重装（[WIRING.md](WIRING.md) §3） | `workbench_diy_install` / `workbench_diy_show` / `workbench_diy_status`（工坊那一跳自己上板） |
 | 它到底起得来没（装配抛的错 / 声明被拒的原文） | `workbench_diy_status`（"起得来"那一行，见 [REVIEW.md](REVIEW.md) 四步取证的第二步） |
 | 这一页的控制台 / 网络怎么取证（[REVIEW.md](REVIEW.md) 四步取证） | `workbench_diy_logs_watch` / `_read` / `_stop`（钩子有上限：每页 200 条、单条 400 字）；`workbench_diy_net_watch` / `_read` / `_stop`（最多 2000 行 / 15 分钟后自己收工；`_read key=…` 取 body）。**别用 `opencli browser <会话> console`**：那条命令拿到的是 stub，恒回空数组。网络那一头工作台走的是**隔离 opencli**（自己的 `HOME`），它的缓存与你自己 shell 里 `~/.opencli` 那份不是同一个 —— 核验要用工具，别看错文件 |
-| 面板上现在是什么样（每张卡读到没 / 崩没崩） | `workbench_diy_panel`（浏览器半侧上报，宿主按 unit 留最新一条；见 [ADR-0042](../../../../docs/adr/0042-panel-runtime-state-is-reported-to-the-host.md)） |
+| 面板上现在是什么样（每张卡读到没 / 崩没崩） | `workbench_diy_panel`（浏览器半侧上报，宿主按 unit 留最新一条） |
 | 空着的格就是还没定的事（[DESIGN.md](DESIGN.md) §5） | `design.json` + `design check`（点名叫出空格）/ `render` / `accept` |
 | 发货前的清单（[WIRING.md](WIRING.md) §5） | `dsh-wb-module publish`（门禁 + 打包清单 `files` 漏项，只 dry run） |
 | 干净机器上的第一脚（[SKILL.md](SKILL.md) 第 4 步） | 启动器自愈骨架 + PATH 上的 `dsh-wb-module` |
@@ -30,7 +30,7 @@
 | DOM 读怎么读（[DATASOURCE.md](DATASOURCE.md) 第 2 步） | `probe`（探）+ `browserFind`（固化）—— 切格 / 按列取值是两个纯函数 |
 | 链接只有一副样子（[PANEL.md](PANEL.md) §6） | kit 的 `Link` 是唯一一份（**没有 `icon` 口子**），`check --only style` 拦裸 `<a>` |
 | 输入框不用自己配样式（[PANEL.md](PANEL.md) §5.1） | `TextField` 的默认内边距 + kit 的 `Field`（标签 + 提示的排布） |
-| 这个单元在哪些工作区出现（[TOOLS.md](TOOLS.md) §12） | **不是模块能声明的事** —— 用户用 `workbench_panels_*` 的板决定（卡片与全部工具同判）；协议里的 `scope` 已删。`gate.deniedTools` 是可选的运行期收窄，门禁不再对它做声明对账 |
+| 这个单元在哪些工作区出现（[TOOLS.md](TOOLS.md) §12） | **不是模块能声明的事** —— 用户用 `workbench_panels_*` 的板决定（卡片与全部工具同判）。`gate.deniedTools` 是可选的运行期收窄 |
 
 ## 留给 agent 的（判断，不该固化）
 
@@ -43,8 +43,3 @@
   （工具只能保证"形状对"，"该多窄"是判断）
 
 工具只负责把**事实**摆出来（状态、报错原文、预览结果），判断仍然是人 / agent 的事。
-
----
-
-为什么这样挑、哪一轮落地的（连同实测与反例）：工作台仓库的
-`.agents/skills/module-design/EXAMPLES.md` §4 —— 工坊会话里够不到那儿。

package/skills/workbench-module-diy/TOOLS.md

@@ -223,8 +223,8 @@ const feed = kit.hooks.useLongTask({ unit: 'demo', workspace });
 
 ## 11 范例
 
-范例都在**工作台仓库里**：`.agents/skills/module-design/EXAMPLES.md` §2 —— 工坊会话里够不到那儿，
-就照 [SKILL.md](SKILL.md) 的「找不到一件事的时候」读模板与装机模块的源码。
+要一个"同形状、能跑"的样子：[SKILL.md](SKILL.md) 的「找不到一件事的时候」—— 模板
+（`template-diy/` / `template/`）与装机模块的源码都可以直接读。
 
 ## 12 同一把工具，在有些项目里不该出现
 
@@ -249,16 +249,11 @@ return {
   用户关掉开关要等下次重启才生效。
 - 外壳两道都做：清单里不出现（agent 看不到）+ 真调到时当场拒（防手滑）。你只要把 `deniedTools` 写对。
 
-外壳自己就是这么用的（工坊里看 `node_modules/@dsh-workbench/core/…`，仓库里是
-`packages/workbench/src/modules/panels/index.ts`）：某张卡在这个项目上没开 → 那张卡的工具全不出现；
+外壳自己就是这么用的：某张卡在这个项目上没开 → 那张卡的工具全不出现；
 工坊那七把（`workbench_diy_*`）**只在工坊会话里**出现，别处一律不出现。
 
 **"这条能力在哪些工作区出现"不用你声明 —— 那是用户的事。** 用户口径：「模块开发者不能定义 scope，
 scope 永远是用户来决定的」。他在 `workbench_panels_show` / `workbench_panels_hide`（agent 工具）里把它们放上/收起；一个单元在不在，
 它的卡片与**全部**工具同判（外壳的 `resolveScope` 只看两份板：本工作区那份，否则机器级那份）。
-协议里那个 `scope`（`dsh.workbench.tools[].scope` / `card.scope`）**已经删掉**，写它就是写了一个
-不认识的键、`check --only protocol` 当场红（见 [ADR-0038 §2.4 / §6.16](../../../../docs/adr/0038-module-declaration-protocol.md)）。
-`design.json` 的能力行也没有这一格。
 
-`gate.deniedTools` 仍然可以接，但它是**可选**的运行期收窄（"这个能力还没配好，先按我自己的开关藏起来"），
-**不是**一条声明出来的承诺：门禁不再拿任何声明去对账它（那条判据已删 —— 没有作者侧声明就没有可比的东西）。
+`gate.deniedTools` 可以接，它是**可选**的运行期收窄（"这个能力还没配好，先按我自己的开关藏起来"）。

package/skills/workbench-module-diy/WIRING.md

@@ -37,7 +37,7 @@ import 运行值会被**打进你的包**（第二份实例），而且浏览器
 | 在公开包里写内网地址 / 内网域名 / 企业内部名 | 门禁会扫出来并指到行 |
 
 另外两条不是"被拦"，是纪律：**样式走 `*.module.css`，类名别带 `wb-` 前缀**（`wb-*` 是外壳的**全局**
-类名：模块定义它、或借契约里没有的那一个，`check:style` 都判红；模块自己的类名由构建**按文件路径
+类名：模块定义它、或借契约里没有的那一个，`check --only style` 都判红；模块自己的类名由构建**按文件路径
 哈希**，天然不会跟谁撞。要借外壳契约里的类，写 `:global(.wb-…)`，且那个类必须在契约里）；
 **`src/**` 里零注释** —— 要说的写进 `README.md` 或 spec。
 
@@ -72,8 +72,8 @@ import 运行值会被**打进你的包**（第二份实例），而且浏览器
 装完之后**不要再装一遍**。改源码 → `dsh-wb-module build` → 用户面板上那张卡自己变。
 
 - **宿主侧**（`src/host.ts` / `balance.ts` … → `dist/host.js`）：**秒级热换**，不重启、不刷新
-  （实测 2026-10-11：加一行探针 → build → 3 秒内接口返回新内容）。这条曾经是坏的，
-  坏因是 `dsh-hmr` 跟着软链把文件描述符用光（`cordis.patch.yml` 的 `followSymlinks: false` 为它而加）。
+  （加一行探针 → build → 3 秒内接口就返回新内容）。`cordis.patch.yml` 里的 `followSymlinks: false`
+  不能去掉：`dsh-hmr` 跟着软链会把文件描述符用光。
 - **客户端侧**（`src/client.tsx` / CSS → `client.js`）：浏览器**不会自己**换，**刷新一下页面**即可
   （实测：重建后 60 秒页面没有任何反应）。`*.module.css` 的改动是就地改写那一份 `<style>`，刷新即生效。
 - **改 `cordis.patch.yml`、改 `package.json` 里的 `dsh.client` / `exports["./client"]` 需要重启。**

package/dist/types/app/layouts/__tests__/async-feedback.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/__tests__/kit-preview-nav.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/__tests__/panel-hint.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/__tests__/project-selection.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/env-gate/__tests__/force-plan.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/env-gate/__tests__/gate-deadline.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/env-gate/__tests__/gate-hidden.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/env-gate/__tests__/gate-mocks.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/env-gate/gate-mock.d.ts

@@ -1,18 +0,0 @@
-import type { PreflightBridgeIssue, PreflightGuidance, PreflightSnapshot } from '../../../shared/api/host/preflight';
-export interface GateMockExpect {
-    readonly hint: 'checking' | 'installing' | 'failed';
-    readonly guidance?: PreflightGuidance;
-    readonly command: boolean;
-    readonly bridgeIssues?: readonly PreflightBridgeIssue[];
-}
-export interface GateMock {
-    readonly id: string;
-    readonly label: string;
-    readonly note: string;
-    readonly snapshot: PreflightSnapshot;
-    readonly expect: GateMockExpect;
-}
-export declare const GATE_MOCKS: readonly GateMock[];
-export declare function mountGateMockStrip(options: {
-    onPick: (snapshot: PreflightSnapshot | null) => void;
-}): HTMLElement;

package/dist/types/app/layouts/market/__tests__/add-module-mock.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/market/__tests__/add-module-stages.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/market/__tests__/add-module-text.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/market/add-module-mock.d.ts

@@ -1,14 +0,0 @@
-import type { AddModuleOutcome, AddModulePhase, AddModulePreview, AddModuleProblem, AddModuleState } from './use-add-module';
-export interface AddModuleMock {
-    readonly id: string;
-    readonly label: string;
-    readonly phase: AddModulePhase;
-    readonly spec: string;
-    readonly guideOpen?: boolean;
-    readonly problem?: AddModuleProblem;
-    readonly preview?: AddModulePreview;
-    readonly outcome?: AddModuleOutcome;
-    readonly failure?: string;
-}
-export declare const ADD_MODULE_MOCKS: readonly AddModuleMock[];
-export declare function stateOfMock(base: AddModuleState, mock: AddModuleMock): AddModuleState;

package/dist/types/app/layouts/rightbar/BoardMockStrip.d.ts

@@ -1,5 +0,0 @@
-import type { BoardFixtures } from './board-mock';
-export declare function BoardMockStrip({ fixtures, show }: {
-    fixtures: BoardFixtures;
-    show: boolean;
-}): JSX.Element | null;

package/dist/types/app/layouts/rightbar/__tests__/board-fact.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/board-mock.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/board-plan.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/board-selection.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/breadcrumbs.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-catalog.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-change.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-dots.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-freshness.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-hint-visible.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-installed.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-live.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-mock.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-order.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-row-icon.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-rows-libs.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-rows-plugins.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-rows.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-running-display.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-section-icon.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-settle.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-shared.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-state-rules.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-workbench-act.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/market-workbench.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/panel-dismiss.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/panel-drag-target.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/panel-mock.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/panel-plugin-rows.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/panel-scope-ui.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/panel-write.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/suite-world.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/__tests__/use-panels.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/types/app/layouts/rightbar/board-mock.d.ts

@@ -1,22 +0,0 @@
-import type { UnitManifest } from '@dsh-workbench/shared';
-import type { BoardShape } from './board-shape';
-export interface BoardMockExpect {
-    readonly cards: number;
-    readonly empty: boolean;
-}
-export interface BoardMock {
-    readonly id: string;
-    readonly label: string;
-    readonly note: string;
-    readonly shape: BoardShape;
-    readonly expect?: BoardMockExpect;
-}
-export declare function buildBoardMocks(roster: readonly UnitManifest[]): readonly BoardMock[];
-export interface BoardFixtures {
-    readonly mock: BoardMock | undefined;
-    readonly mocks: readonly BoardMock[];
-    readonly index: number;
-    readonly pick: (next: number) => void;
-    readonly shape: BoardShape;
-}
-export declare function useBoardMock(roster: readonly UnitManifest[]): BoardFixtures;

package/dist/types/app/layouts/rightbar/kit-preview-controls.d.ts

@@ -1,11 +0,0 @@
-export declare function TextFieldDemo(): JSX.Element;
-export declare function SelectDemo({ variant }: {
-    readonly variant?: 'boxed' | 'ghost';
-}): JSX.Element;
-export declare function SelectRichDemo(): JSX.Element;
-export declare function SelectStateDemo(): JSX.Element;
-export declare function AppearanceDemo(): JSX.Element;
-export declare function ChoiceDemo(): JSX.Element;
-export declare function FormActionsDemo(): JSX.Element;
-export declare function SaveBarDemo(): JSX.Element;
-export declare function LinkDemo(): JSX.Element;

package/dist/types/app/layouts/rightbar/kit-preview-frame.d.ts

@@ -1,18 +0,0 @@
-import type { ReactNode } from '@dsh-workbench/shared';
-export declare function KitNavProvider({ children }: {
-    readonly children?: ReactNode;
-}): JSX.Element;
-export declare function KitNav(): JSX.Element | null;
-export declare function Section({ title, note, children, }: {
-    readonly title: string;
-    readonly note?: string;
-    readonly children?: ReactNode;
-}): JSX.Element;
-export declare function Grid({ children }: {
-    readonly children?: ReactNode;
-}): JSX.Element;
-export declare function Cell({ label, wide, children, }: {
-    readonly label: string;
-    readonly wide?: boolean;
-    readonly children?: ReactNode;
-}): JSX.Element;

package/dist/types/app/layouts/rightbar/kit-preview-hash.d.ts

@@ -1 +0,0 @@
-export declare function hashTargetsSection(anchor: string, hash: string): boolean;

package/dist/types/app/layouts/rightbar/kit-preview-rows.d.ts

@@ -1,6 +0,0 @@
-export declare function RowsSection(): JSX.Element;
-export declare function FormSection(): JSX.Element;
-export declare function ActivitySection(): JSX.Element;
-export declare function LongTaskSection(): JSX.Element;
-export declare function IconSection(): JSX.Element;
-export declare function StripSection(): JSX.Element;

package/dist/types/app/layouts/rightbar/kit-preview.d.ts

@@ -1,3 +0,0 @@
-import type { BoardModule, BoardModuleProps } from '@dsh-workbench/shared';
-export declare function KitPreview({ t }: BoardModuleProps): JSX.Element;
-export declare const KIT_PREVIEW_MODULE: BoardModule;

package/dist/types/app/layouts/rightbar/market-installed-mock.d.ts

@@ -1,9 +0,0 @@
-import type { UnitManifest } from '@dsh-workbench/shared';
-import type { CapabilityMap } from '../../../shared/hooks/use-capabilities';
-import type { MarketMock } from './market-mock-types';
-export declare function installedMocks(input: {
-    readonly id: string;
-    readonly found: UnitManifest;
-    readonly mine: UnitManifest;
-    readonly probe: (unit: string, status: CapabilityMap[string]['status'], extra?: Partial<CapabilityMap[string]>) => CapabilityMap;
-}): readonly MarketMock[];