@dsh-workbench/module-tools 0.2.15 → 0.3.0

package/README.md

@@ -22,14 +22,14 @@ dsh-wb-module publish               # 发货前的清单：门禁 + 三张表 +
 |---|---|
 | `contracts` | 模块契约：单元 id 唯一、两个面、四个脚本、`files`、peer 下限；以及**清单 ↔ 代码**（真正注册的工具）与**底稿 ↔ 清单**（`design.json` 的能力名）两处对账（见下） |
 | `protocol` | 模块声明协议：`dsh.workbench` 的 `apiVersion` 要在、静态半形状要对、不许有协议不认识的键（`scope` 现在**就是**不认识的键之一 —— 见下） |
-| `bundles` | 产物边界：宿主面里不许出现浏览器侧的东西；浏览器产物里不许出现**内联的外壳 CSS**（模块从 `@dsh-workbench/shared` 根入口取运行期值就会这样） |；**产物里出现夹具标记（`wbMock` / `MockStrip` / `useFixturePick` / `-mock'` / `SCENES`…）判红** —— 模块不带夹具（见 `.scratch/dev-only-fixtures/spec.md`）
+| `bundles` | 产物边界：宿主面里不许出现浏览器侧的东西；浏览器产物里不许出现**内联的外壳 CSS**（模块从 `@dsh-workbench/shared` 根入口取运行期值就会这样）；**产物里出现夹具标记（`wbMock` / `MockStrip` / `useFixturePick` / `-mock'` / `SCENES`…）判红** —— 模块不带夹具：夹具只服务工作台开发者的调试，模块自己的 vitest 把几态各喂一遍就够 |
 | `source` | 源码边界：不直接引 dsh 的包、不引不是种子词的 `@deepseek-ai/*` |
 | `primitives` | dsh 原语只从模块表（`kit`）拿 |
 | `kit` | 这份外壳的 kit 成员到底有哪些（缺什么会当场点名） |
 | `cards` | 卡片渲染：**八态 × zh/en 各渲一遍**（外壳侧输入 idle / loading / loading-刷新保留旧值（含旧时间戳 `at`）/ ready / ready-空容器 / unreadable-error / unreadable-能力闸缺插件 / unreadable-能力闸缺命令；`useApiResource` 与 `useCapabilityGate` 由判据喂，`useUnitBoard` 用模块仓里装的那份**真壳**）—— 不许抛、不许空白、文字里不许出现 `undefined` / `NaN` / `[object Object]` / `null`、不许裸键名、要套外壳的卡壳、清单 `titleKey` 在两语字典里都有落点。**不断言"画的是哪一态那一屏"**（那归模块自己的逐态测试与 `design.json` 状态矩阵）；模块没装外壳时逐态那半跳过、单次全桩渲染照旧跑 |
 | `standalone` | 独立构建：产物不依赖工坊里跑 |
 | `markers` | 公开包无内部标识（内网域名、企业内部名） |
-| `style` | 样式归属：模块不许定义外壳类（`wb-*`）的规则（判据看**复合选择器**，`:global(.wb-x)` 也算，只有同一个复合选择器里带模块自己的类才放行）；**裸 `<a>` 与裸交互控件（`<button>` / `<input>` / `<select>`）都判红** —— 前者用 kit 的 `Link`，后者用 `Button` / `TextField` / `SelectField` / `ChoiceGroup`；只有 `<textarea>` 与 `input[type=hidden\|file]` 例外（两处都没有那种形态）；**手写的「标签 + 控件」行（标签元素紧邻 `SelectField` / `TextField` / `ChoiceGroup` / `Input`）与模块自己给 `field`/`form` 容器设的行距（`gap` / 上下 `margin`）也判红** —— 这一层归 kit 的 `FormRow(s)`（[ADR-0052](../../docs/adr/0052-the-form-row-is-one-component.md)：面 → 行 → 控件）；现存违规收进 `FORM_ROW_EXEMPT`（棘轮：迁一处删一行，且表里已经不再命中的行会当场报红）；**手写的操作区（借了 `wb-formActions` 槽类手摆按钮）也判红** —— 操作区归 kit 的 `FormActions`（[ADR-0054](../../docs/adr/0054-the-action-area-is-one-component.md)：顺序 / 一个区一颗 `primary` / `danger` 的位置 / 间距 / 窄容器换行都由它定，调用点只给数据与语义），现存违规收进 `FORM_ACTIONS_EXEMPT`（同一套棘轮：迁一处删一行，表里不再命中的行当场报红） |
+| `style` | 样式归属：模块不许定义外壳类（`wb-*`）的规则（判据看**复合选择器**，`:global(.wb-x)` 也算，只有同一个复合选择器里带模块自己的类才放行）；**裸 `<a>` 与裸交互控件（`<button>` / `<input>` / `<select>`）都判红** —— 前者用 kit 的 `Link`，后者用 `Button` / `TextField` / `SelectField` / `ChoiceGroup`；只有 `<textarea>` 与 `input[type=hidden\|file]` 例外（两处都没有那种形态）；**手写的「标签 + 控件」行（标签元素紧邻 `SelectField` / `TextField` / `ChoiceGroup` / `Input`）与模块自己给 `field`/`form` 容器设的行距（`gap` / 上下 `margin`）也判红** —— 这一层归 kit 的 `FormRow(s)`（面 → 行 → 控件）；现存违规收进 `FORM_ROW_EXEMPT`（棘轮：迁一处删一行，且表里已经不再命中的行会当场报红）；**手写的操作区（借了 `wb-formActions` 槽类手摆按钮）也判红** —— 操作区归 kit 的 `FormActions`（顺序 / 一个区一颗 `primary` / `danger` 的位置 / 间距 / 窄容器换行都由它定，调用点只给数据与语义），现存违规收进 `FORM_ACTIONS_EXEMPT`（同一套棘轮：迁一处删一行，表里不再命中的行当场报红） |
 | `alias` | 模块不指外壳：源码里没有指向外壳 `@/` 的引用 |
 
 三态输出：`✔ 通过` / `○ 不适用` / `✖ 不过`；有任何不过就退出 1。
@@ -42,8 +42,7 @@ README 里那一段由它生成（夹在 `<!-- dsh-wb:design:start/end -->` 之
 `design.json` 是**设计底稿**：只装人话（`oneLine` / `shape` / `approvalText` / 面板那几张表的文字 /
 `datasource`），**不装机器字段**。**"这条能力在哪些工作区出现"不在底稿、也不在清单**：
 那是**用户**的事（他的面板板），模块作者声明不了（用户口径「模块开发者不能定义 scope，
-scope 永远是用户来决定的」，见 [ADR-0038](../../docs/adr/0038-module-declaration-protocol.md)
-§2.4 / §6.16）。
+scope 永远是用户来决定的」）。
 `contracts` 会把底稿的能力名与清单的工具名做**键集合对账**（不重不漏，只对名字）：
 底稿多一条、清单多一把都点名判红；没有 `design.json` 的模块不查。
 
@@ -86,17 +85,16 @@ dsh-wb-module design accept   # 用户逐条点头之后，把验收清单打勾
 2. **不许有协议不认识的键**：生字段会被外壳**静默忽略**（拼错一个键就等于那句话没写），
    所以 `protocol` 判据先拦。**`scope` 不在协议里**：它曾经是（`card.scope` / `tools[].scope`），
    现已删除 —— 一个能力在哪些工作区出现**只由用户的板决定**，作者写它 = 写了一个生字段、当场红
-   （`protocol` 会点名 `"scope"`）。见 [ADR-0038](../../docs/adr/0038-module-declaration-protocol.md) §2.4 / §6.16。
+   （`protocol` 会点名 `"scope"`）。
 3. **清单声明的工具 = 代码真正注册的工具**（U1b 起）：清单是工具面的**唯一**来源，
    `contracts` 拿 `mount()` 里 `registerTools()` 真正注册的名字对账，两边漂了就红。
 4. **底稿 ↔ 清单只对账键集合**（U1c 起）：`design.json` 的 `capabilities[].name` 与清单的
    `tools[].name` 不重不漏，**只对名字**（内容各写一处，没有可比的东西）；没有 `design.json`
-   的模块不查 —— 底稿是可选的设计材料。见 [ADR-0038](../../docs/adr/0038-module-declaration-protocol.md) §2.5 / §6.3。
+   的模块不查 —— 底稿是可选的设计材料。
 5. **`dsh.workbenchFaces` 不是协议的一部分，但门禁必填**（A-2 起）：它是 `dsh.workbench` 的
    **兄弟键**，写两半的**源码**入口；`source` 判据靠它算"这段源码属于哪一半"。
    写进 `dsh.workbench` 里会被判**生字段**（不留兼容），它也不能指向出货产物
-   —— 从 `dist/host.js` 反推不出是哪份源码把 dsh 的包拖进来的。见
-   [ADR-0038](../../docs/adr/0038-module-declaration-protocol.md) §7 第 7 条。
+   —— 从 `dist/host.js` 反推不出是哪份源码把 dsh 的包拖进来的。
 
 ## 两个模板
 
@@ -122,4 +120,3 @@ node scripts/selfcheck.mjs
 模块怎么写、DIY 那套流程怎么走，见外壳包里的指引：`@dsh-workbench/core` 的
 `skills/workbench-module-diy/**`（`SKILL.md` / `BUILD.md` / `WIRING.md` / `DESIGN.md` / `PANEL.md` /
 `TOOLS.md` / `LINKAGE.md` / `DATASOURCE.md` / `REVIEW.md` / `TOOLING.md` / `STEPS.md`）。
-架构上的取舍写在工作台仓库的 `docs/adr/**`。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dsh-workbench/module-tools",
-  "version": "0.2.15",
+  "version": "0.3.0",
   "description": "模块包的构建与门禁工具：build（单文件 ESM 宿主侧 + 套 loader 壳的浏览器侧）、check（契约/产物边界/源码边界/卡片渲染）。模块包不再各带一份构建脚本。",
   "license": "MIT",
   "type": "module",
@@ -21,7 +21,7 @@
   },
   "dependencies": {
     "esbuild": "^0.28.2",
-    "@dsh-workbench/shared": "0.2.15"
+    "@dsh-workbench/shared": "0.3.0"
   },
   "scripts": {
     "selfcheck": "node scripts/selfcheck.mjs"

package/src/build.mjs

@@ -32,7 +32,7 @@ function aliasResolver({ root, unit }) {
       context.onResolve({ filter: /^@\// }, (args) => {
         if (SINGLETON.test(args.path)) {
           throw new Error(
-            `${args.path} 必须从 kit 拿（运行时要单例），不能内联进模块包 —— 见 ADR-0026 §4 代价 #9`,
+            `${args.path} 必须从 kit 拿（运行时要单例），不能内联进模块包 —— 内联就是第二份实例`,
           );
         }
         let base;
@@ -71,6 +71,19 @@ function cssInjector({ root }) {
         namespace: 'dsh-wb-css',
       }));
       context.onLoad({ filter: /.*/, namespace: 'dsh-wb-css' }, (args) => {
+        // 来自被 external 的那份 kit（@dsh-workbench/shared）的样式一律不收：外壳运行时自己会注入
+        // 那一份，产物里再带一份就变成"两份 kit 样式按选择器混合"（2026-10-18 实测：模块内联了 145
+        // 条外壳规则、冻结构建时的版本，与运行的外壳混用 ⇒ 折行 / 塌列 / 标签压值）。见 ADR-0028 §5.1。
+        // 两条路径都要认：
+        //   · 装了依赖的模块仓 —— `node_modules/@dsh-workbench/{shared,core}/…`（pnpm 的 store 里也含这段）；
+        //   · 本仓自己开发时 —— `packages/{shared,workbench}/dist/…`。**是 dist 不是 src**：esbuild 默认
+        //     跟随软链（`preserveSymlinks:false`），workspace 的 `node_modules/@dsh-workbench/shared`
+        //     软链会被解成真实源码包路径，而 `exports."."` 指的是编译产物 `dist/index.js`，组件样式
+        //     与它同住 `dist/components/**`（只写 `src` 会在本仓场景漏收：实测 148 条规则照进产物）。
+        const outsourcedKitCss =
+          /node_modules\/@dsh-workbench\/(shared|core)\//.test(args.path) ||
+          /\/packages\/(shared|workbench)\/(src|dist)\//.test(args.path);
+        if (outsourcedKitCss) return { contents: 'export default {};', loader: 'js' };
         const raw = readFileSync(args.path, 'utf8');
         const key = relative(root, args.path).split('/').reverse()[0] + ':' + args.path;
         const scoped = /\.module\.css$/.test(args.path);
@@ -163,7 +176,7 @@ export async function build({ root }) {
   if (inlinedDsh.length > 0) {
     throw new Error(
       `${id}: dsh 的包被打进了浏览器产物 —— ${inlinedDsh.join('、')}\n` +
-        '这些应当由外壳的模块表提供（标成 external 才是"用外壳那一份"）。见 ADR-0028。',
+        '这些应当由外壳的模块表提供（标成 external 才是"用外壳那一份"）。',
     );
   }
 

package/src/checks/bundles.mjs

@@ -96,8 +96,8 @@ export async function run() {
         const hits = fixtureMarkersIn(source);
         problems.push(
           `${name}: ${artifact.what} ${artifact.file} 里有夹具（${hits.slice(0, 4).join(' · ')}）—— ` +
-            '模块不带夹具：夹具只服务工作台开发者的调试（外壳那边走 `@/dev/surface` 接缝，发布构建里没有它），' +
-            '模块自己的 vitest 把几态各喂一遍就够。见 .scratch/dev-only-fixtures/spec.md',
+            '模块不带夹具：夹具只服务工作台开发者的调试（发布产物里没有它），' +
+            '模块自己的 vitest 把几态各喂一遍就够。',
         );
       }
       // 外壳的组件样式**只有一份**（外壳注入那一次）。模块从 `@dsh-workbench/shared` 的**根入口**
@@ -111,7 +111,7 @@ export async function run() {
             `${name}: ${artifact.what} ${artifact.file} 里内联了 ${inlined.length} 条外壳的 CSS 规则` +
               `（${inlined.slice(0, 3).join(' · ')}）—— 外壳的组件样式只有一份：` +
               'React 原语从 \'react\' 拿、外壳给的东西从 kit 拿（`@dsh-workbench/shared` 根入口是浏览器 barrel，' +
-              '它会急切地把 components/** 连样式一起拉进来）。见 ADR-0028 §5.1',
+              '它会急切地把 components/** 连样式一起拉进来）。',
           );
         }
       }

package/src/checks/source.mjs

@@ -159,7 +159,7 @@ export async function run() {
           }
           problems.push(
             `${name}: ${rel} 里 import 了 ${specifier} —— 它不是平台种子词，模块表里没有它，` +
-              `浏览器侧要用 dsh 的组件只能 import 种子词那几个（ADR-0028）；其余平台契约按需自己声明`,
+              `浏览器侧要用 dsh 的组件只能 import 种子词那几个；其余平台契约按需自己声明`,
           );
           continue;
         }

package/src/checks/style.mjs

@@ -233,7 +233,9 @@ const INSTALLED_COMPONENTS = join('node_modules', '@dsh-workbench', 'shared', 's
 
 // ── 字号口径（S5，用户 2026-10-17 定的那条）：只报「刻度外手搓字面值」，**黄，不判红** ─────────
 //
-// 口径、刻度出处与"将来怎么变红"写在 `.scratch/font-scale/spec.md`（这份 note 的指路目标）。
+// 口径、刻度出处与"将来怎么变红"写在 `.scratch/font-scale/spec.md`（我们自己那份现场）。这份 note
+// 是**打印给模块作者**的，所以指路不许指到作者打不开的地方（`.scratch/**` 不随 module-tools 出货）：
+// `FONT_DOC` 指 `@dsh-workbench/core` 随包出货的那份给模块作者的口径（作者装了外壳就有）。
 // 扫三个来源：外壳自己的 `src`、shared 的 `src`、本次发现的模块包；外壳两处与上面那份契约
 // （`SOURCE_BOARD` / `SOURCE_COMPONENTS`）走同一条路 —— 源码在隔壁时读源码，仓外的模块工作区
 // 读不到就少扫那一半（note 里只报实际扫到的）。测试文件不扫（用例里那些是断言字符串，不是界面字号）。
@@ -248,7 +250,7 @@ const SHELL_FONT_SCALE_FILES = [
   fileURLToPath(new URL('../../../workbench/src/shared/styles/tokens/scale.css', import.meta.url)),
   fileURLToPath(new URL('../../../workbench/src/shared/styles/tokens.css', import.meta.url)),
 ];
-const FONT_DOC = '.scratch/font-scale/spec.md';
+const FONT_DOC = '`@dsh-workbench/core` 的 `skills/workbench-module-diy/PANEL.md` §6「字号与重点」';
 
 /** 包名（读 package.json；读不到就用兜底名，别让一条 note 把判据带崩）。 */
 function packageNameOf(dir, fallback) {
@@ -372,7 +374,7 @@ export async function run() {
           if (exemptRows) continue;
           rows.push(
             `${pkg.manifest.name}: ${relative(pkg.dir, file)}:${hit.line} 模块自己管了行距（${hit.selector} 的 ${hit.decl}）—— ` +
-              `行距归 FormRow(s)（ADR-0052 §7 第 ② 条：行距只有这一档，模块不许自己写）：` +
+              `行距归 FormRow(s)（行距只有这一档，模块不许自己写）：` +
               `${(lines[hit.line - 1] ?? '').trim().slice(0, 80)}`,
           );
         }
@@ -405,7 +407,7 @@ export async function run() {
           if (exemptRows) continue;
           rows.push(
             `${pkg.manifest.name}: ${relative(pkg.dir, file)}:${hit.line} 手写的「标签 + 控件」行（标签在 ${hit.labelLine} 行，控件是 ${hit.control}）—— ` +
-              `用 FormRow：标签归它（ADR-0052 §2：面 → 行 → 控件，中间那层归 FormRow(s)）：` +
+              `用 FormRow：标签归它（面 → 行 → 控件，中间那层归 FormRow(s)）：` +
               `${(lines[hit.line - 1] ?? '').trim().slice(0, 80)}`,
           );
         }
@@ -418,7 +420,7 @@ export async function run() {
         if (exemptActions) return;
         actionAreas.push(
           `${pkg.manifest.name}: ${relative(pkg.dir, file)}:${index + 1} 手写了操作区（借了外壳的槽类 wb-formActions）—— ` +
-            `用 kit 的 FormActions（ADR-0054 §2：主操作在右、一个区一颗 primary、danger 紧挨它左侧且有二次确认、` +
+            `用 kit 的 FormActions（主操作在右、一个区一颗 primary、danger 紧挨它左侧且有二次确认、` +
             '间距与窄容器换行都归它）：' +
             `${line.trim().slice(0, 80)}`,
         );
@@ -523,7 +525,7 @@ export async function run() {
     }
     if (rows.length > 0) {
       notes.push(
-        `${rows.length} 处是「手写的标签+控件行 或 模块自己管的行距」：（ADR-0052：面 → 行 → 控件，` +
+        `${rows.length} 处是「手写的标签+控件行 或 模块自己管的行距」：（面 → 行 → 控件，` +
           '中间那层归 `FormRow(s)`。行里自己写 `<span className=…label>` 配 `SelectField` / `TextField` / ' +
           '`ChoiceGroup` / `Input`、或给 field/form 容器设 `gap` / 上下 `margin`，就是这一层没有主人的信号 —— ' +
           '换 `<FormRow label={…}>{控件}</FormRow>`，行距一起归它。窄口径与已知漏报见 style.mjs 里那两段注释）',
@@ -531,7 +533,7 @@ export async function run() {
     }
     if (actionAreas.length > 0) {
       notes.push(
-        `${actionAreas.length} 处是「手写了操作区（借了外壳的槽类 wb-formActions）」：（ADR-0054：` +
+        `${actionAreas.length} 处是「手写了操作区（借了外壳的槽类 wb-formActions）」：（` +
           '操作区那一层归 `FormActions` —— 顺序（主操作在右、danger 紧挨它左侧）、一个区一颗 `primary`、' +
           '间距、窄容器换行都由组件定；调用点只给"有哪些动作、哪个是主要、点了做什么"。' +
           '`wb-formActions` 这个槽类只为操作区存在，出现它就是自己摆了一套：换 `<FormActions actions={…} />`。' +

package/src/font-scale.mjs

@@ -187,8 +187,11 @@ function detailOf(hit, verdict) {
 /**
  * 拼成 `checks/style.mjs` 通过时的那几行 note：第一行汇总（各类条数 + 涉及文件数 + 指路），
  * 后面最多 `DETAIL_LIMIT` 行明细。零命中时只留一行"都是 0"。
+ *
+ * `doc` 是**必填**的：这几行 note 打印给模块作者，指路必须是他打得到的地方（调用方给，见
+ * `checks/style.mjs` 的 `FONT_DOC`）—— 不留默认值，免得默认值哪天又变成一条跨仓路径印出去。
  */
-export function fontScaleNotes(report, scale, { doc = '.scratch/font-scale/spec.md' } = {}) {
+export function fontScaleNotes(report, scale, { doc }) {
   const sizes = [...scale].sort((a, b) => a - b).map(formatSize).join(' / ');
   const head =
     `字号口径（黄，不判红）：刻度 ${sizes}（从 --dsw-font-* 与 --wb-font-* 的**定义**读出来，` +
@@ -205,8 +208,8 @@ export function fontScaleNotes(report, scale, { doc = '.scratch/font-scale/spec.
   const notes = [head, ...all.slice(0, DETAIL_LIMIT)];
   if (all.length > DETAIL_LIMIT) {
     notes.push(
-      `…另有 ${all.length - DETAIL_LIMIT} 处（刻度外 ${report.offScale.length} / 刻度上 ${report.onScale.length}），` +
-        `完整清单见 ${doc}`,
+      `…另有 ${all.length - DETAIL_LIMIT} 处（刻度外 ${report.offScale.length} / 刻度上 ${report.onScale.length}）` +
+        `没列出（这里最多列 ${DETAIL_LIMIT} 行）；口径与出处见 ${doc}`,
     );
   }
   return notes;

package/src/seed.mjs

@@ -1,11 +1,21 @@
 // dsh 客户端模块表的**平台种子词** —— 一个模块的浏览器产物**天生**能 require 到它们。
 //
-// 名单真值出处：dsh 外壳构造种子表的地方（`@deepseek-ai/dsh-web-frontend` 的 dist，函数 WS()），
+// 名单真值出处：dsh 外壳声明平台模块的地方（rc.2 `packages/client/web/src/platform.ts` 的
+// `PLATFORM_MODULES`，装种子的 `seed.ts` 的 `getStaticModules()` 与它 `satisfies` 互锁）；
+// 装机产物里那张表在 `@deepseek-ai/dsh-web-frontend/dist/assets/index-*.js` 的 `SZ()`。
 // 证据与推理见 `.scratch/dsh-ui-alignment/spec.md` §0；「模块可以直接用它」的决定见 ADR-0028。
 //
 // 这份表是**唯一真相**：构建的 external 默认表（`build.mjs`）、契约判据（`contracts.mjs`）、
 // 源码边界（`checks/source.mjs`）与新增的原语判据（`checks/primitives.mjs`）都从这里取。
 // dsh 升版改了种子表，只改这一处。
+//
+// ⚠️ 2026-10-18（dsh 0.2.1-rc.2 对账）：这张表**漏过两个词** —— `zod` 与
+// `@tanstack/react-virtual`（dsh 那边一共 11 个，我们只抄了 9 个，`0.2.1-alpha.3` 就少，
+// 不是这次升级引入的）。漏的代价不对称：`build.mjs:17,161` 拿它当模块浏览器产物的默认
+// external 表 ⇒ 模块写 `import 'zod'` 会被**内联出第二份**；`contracts.mjs:39,551` 拿
+// `SEED_SHORT` 判 `dsh.client.external` 能不能落地 ⇒ 声明 `zod` 反而被判「落不到图里任何一行」。
+// 对账脚本：把 dsh 那份 `platform.ts` 的数组原样抄下来与这里逐字比（见两份报告
+// `.scratch/dsh-0.2.1-rc.2/report-client-surface.md` §2.1）。
 
 export const SEED_SPECIFIERS = [
   'react',
@@ -13,6 +23,8 @@ export const SEED_SPECIFIERS = [
   'react-dom',
   'react-dom/client',
   '@deepseek-ai/cordis',
+  'zod',
+  '@tanstack/react-virtual',
   '@deepseek-ai/dsh-client-store',
   '@deepseek-ai/dsh-client-ui-slots',
   '@deepseek-ai/dsh-client-ui-primitives',
@@ -20,13 +32,15 @@ export const SEED_SPECIFIERS = [
 ];
 
 /**
- * 外部声明里允许的**短名**（历史写法：`"ui-primitives"` 这类）。
+ * 外部声明里允许的**短名**（历史写法：`"ui-primitives"` 这类）与**全名**。
  * 契约判据按它放行，免得老包只因为写法短就被判红。
  */
 export const SEED_SHORT = new Set([
   'react',
   'react-dom',
   'cordis',
+  'zod',
+  '@tanstack/react-virtual',
   'dsh-client-store',
   'ui-slots',
   'ui-primitives',

package/src/sync.mjs

@@ -36,7 +36,7 @@ export async function sync({ root }) {
     throw new Error(
       `${unit}: 清单里 ${missing.join(' / ')} 没有 key —— ${hint}。例如：\n` +
         `${tools.map((tool) => `  "key": "…",  // ${JSON.stringify(tool.name)}`).join('\n')}\n` +
-        '（key 是代码里那个短名：`DECLARED_TOOLS.<key>.name`。见 ADR-0038 的 `tools[].key` 一节）',
+        '（key 是代码里那个短名：`DECLARED_TOOLS.<key>.name`；生成物按清单生成它，代码里引用工具名就写它、不写字面量）',
     );
   }