@dsh-workbench/module-tools 0.2.12 → 0.2.14

package/src/checks/kit.mjs

@@ -21,9 +21,9 @@
 // 打印与退出码归 `../check.mjs` 那一层。
 
 import { existsSync, readFileSync } from 'node:fs';
-import { createRequire } from 'node:module';
-import { dirname, join } from 'node:path';
+import { join } from 'node:path';
 import { discoverModulePackages } from '../discover.mjs';
+import { shellClientPathOf, shellKitOf } from './shell-artifact.mjs';
 
 const SHELL = '@dsh-workbench/core';
 const KIT_SPECIFIER = '@dsh-workbench/core/client';
@@ -59,44 +59,6 @@ function kitUsageOf(text) {
   return used;
 }
 
-function shellKitOf(clientPath) {
-  const stub = () => null;
-  const seed = new Proxy(
-    { default: stub },
-    { get: (target, key) => (key in target ? target[key] : stub) },
-  );
-  // react 得给一个**能 extends 的类**：外壳自己那段 `class CardBoundary extends Component`
-  // 在工厂体里就跑（错误边界只能这么写），换成箭头函数会当场 "not a constructor"。
-  const react = new Proxy(
-    { default: stub, Component: class {} },
-    { get: (target, key) => (key in target ? target[key] : stub) },
-  );
-  let exports;
-  const load = (registration) => {
-    exports = registration.factory((specifier) => {
-      if (specifier === 'react' || specifier === 'react/jsx-runtime' || specifier === 'react-dom') return react;
-      if (specifier.startsWith('@deepseek-ai/')) return seed;
-      if (specifier === SHELL) return exports;
-      throw new Error(`外壳产物里出现了一个不认识的 require("${specifier}")`);
-    });
-  };
-  const window = { __ModuleLoader__: { load } };
-  // 要的就是"按浏览器加载器那样把这份产物跑一遍"，静态解析会骗人（no-new-func 在本仓的 eslint 配置里没开）
-  new Function('window', readFileSync(clientPath, 'utf8'))(window);
-  return exports?.kit ?? {};
-}
-
-function shellClientPathOf(pkgDir) {
-  const override = process.env.DSH_WB_CORE_CLIENT;
-  if (override !== undefined && override.trim() !== '') return override.trim();
-  try {
-    const require = createRequire(join(pkgDir, 'package.json'));
-    return join(dirname(require.resolve(`${SHELL}/package.json`)), 'client.js');
-  } catch {
-    return undefined;
-  }
-}
-
 function floorOf(range) {
   if (typeof range !== 'string') return undefined;
   const match = /(\d+)\.(\d+)\.(\d+)/.exec(range);

package/src/checks/shell-artifact.mjs

@@ -0,0 +1,51 @@
+import { readFileSync } from 'node:fs';
+import { createRequire } from 'node:module';
+import { dirname, join } from 'node:path';
+
+const SHELL = '@dsh-workbench/core';
+
+function defaultReact() {
+  const stub = () => null;
+  return new Proxy(
+    { default: stub, Component: class {} },
+    { get: (target, key) => (key in target ? target[key] : stub) },
+  );
+}
+
+function defaultSeed() {
+  const stub = () => null;
+  return new Proxy(
+    { default: stub },
+    { get: (target, key) => (key in target ? target[key] : stub) },
+  );
+}
+
+export function shellClientPathOf(pkgDir) {
+  const override = process.env.DSH_WB_CORE_CLIENT;
+  if (override !== undefined && override.trim() !== '') return override.trim();
+  try {
+    const require = createRequire(join(pkgDir, 'package.json'));
+    return join(dirname(require.resolve(`${SHELL}/package.json`)), 'client.js');
+  } catch {
+    return undefined;
+  }
+}
+
+export function shellKitOf(clientPath, options = {}) {
+  const react = options.react ?? defaultReact();
+  const seed = options.dshPackage ?? defaultSeed();
+  let exports;
+  const load = (registration) => {
+    exports = registration.factory((specifier) => {
+      if (specifier === 'react' || specifier === 'react/jsx-runtime' || specifier === 'react-dom') {
+        return react;
+      }
+      if (specifier.startsWith('@deepseek-ai/')) return seed;
+      if (specifier === SHELL) return exports;
+      throw new Error(`外壳产物里出现了一个不认识的 require("${specifier}")`);
+    });
+  };
+  const window = { __ModuleLoader__: { load } };
+  new Function('window', readFileSync(clientPath, 'utf8'))(window);
+  return exports?.kit ?? {};
+}

package/src/checks/style.mjs

@@ -5,6 +5,14 @@
 // CSS Modules 的哈希类名靠"同一份文件、同一个导出"配对，调用点拿到 undefined 时真机渲染成
 // `class="undefined"` —— 元素整片没样式，而且控制台一声不响。
 //
+// ④ 表单的「行」归 `FormRow(s)`（[ADR-0052](../../../docs/adr/0052-the-form-row-is-one-component.md)）：
+//    控件有主（`TextField` / `SelectField` / `ChoiceGroup`）、面有主（`SettingsSection` / `SaveBar`），
+//    中间那层"标签 + 控件这一行怎么排"从前没有主 ⇒ 每人都自己写一遍：cmdb 一套 `.cmdbField`
+//    （`display:flex` + `.cmdbFieldLabel{width:72px}`）+ 三档 gap（`.cmdbForm` 8 / `.cmdbEnvs` 8 /
+//    `.cmdbEnvGroup` 2），argocd 又一套自己的两列 grid。现场就是控件尺寸漂、行距贴住、标签在上还是
+//    在下各写各的（ADR-0052 §1 / §7 第 ② 条）。两族判据（F1 手写的标签+控件行 / F2 自己管行距）
+//    都很窄 —— **宁可漏报，别把合法的网格/卡片布局判红**；判据的窄法与已知漏报写在各自那一段。
+//
 // 形状（所有判据统一）：导出 `title` 与 `run()`，`run()` 返回三态结果；
 // 打印与退出码归 `../check.mjs` 那一层。
 
@@ -13,6 +21,7 @@ import { dirname, join, relative, resolve } from 'node:path';
 import { fileURLToPath } from 'node:url';
 import { shellRulesIn } from '../css-shell.mjs';
 import { discoverModulePackages } from '../discover.mjs';
+import { auditFontSizes, fontScaleNotes, fontScaleOf } from '../font-scale.mjs';
 
 // 外链一律走 kit 的 `Link`：它自带的样式（正文色 / hover 下划线 / 12px / 那个外链小箭头）是唯一一份。
 // 手写 `<a>` / `h('a', …)` 拿到的是浏览器默认样式，而且每个人写的都不一样（这正是"同一个东西样式不一样"的来源）。
@@ -30,17 +39,185 @@ const BARE_CONTROLS = [
 ];
 const NATIVE_ONLY_INPUT = /type\s*[:=]\s*['"](?:hidden|file)['"]/;
 
-// 历史豁免：这三处是**已知**的手写控件，各有各的理由，跟着各自的迁移走 ——
-//   ① `module-cmdb/src/views/MenuField.tsx`（两处：那个下拉的触发钮与它的等待态）
-//      ＝ ADR-0051 §4 迁移清单里那两处：两件都归 `SelectField`（等待态就是它的 `loading`），
-//      但**要等外壳先发一版** —— 模块的 peer 下限得先有 `SelectField`，否则装上就崩。
-//   ② `module-cmdb/src/views/ChooseEnvsBody.tsx`（一处：`role="radio"` 那一列选项行）
-//      ＝ 对应 kit 的 `ChoiceGroup`；换不换是那个模块自己的一次改动（分组标题与标记是它的排版）。
+// 历史豁免：**已知**的手写控件，各有各的理由，跟着各自的迁移走 ——
+//   ①（ADR-0051 §4 那次）`module-cmdb/src/views/MenuField.tsx` 的两处手写钮已经迁完
+//   （2026-10-17，外壳发到 0.2.12 之后；cmdb `a1a37e60` / argocd `d85627a7`），那一行按棘轮删掉了 ——
+//   留着这段是因为它就是这条纪律的由来：模块的 peer 下限得先有 `SelectField`，否则装上就崩。
+//   ②（ADR-0052 §10 那次）`module-cmdb/src/views/ChooseEnvsBody.tsx` 的 `role="radio"` 选项行
+//   已经迁 `ChoiceGroup`（2026-10-17，外壳 0.2.13 之后），这一行同样按棘轮删掉了。
 // 这是**棘轮**：迁完一处就删一行，别只加不减（名单长起来等于这条判据没有）。
 // 键是 `<包名>:<相对模块根的文件路径>`。
-const CONTROL_EXEMPT = new Set([
-  '@pagoda-dsh-workbench/module-cmdb:src/views/MenuField.tsx',
-  '@pagoda-dsh-workbench/module-cmdb:src/views/ChooseEnvsBody.tsx',
+const CONTROL_EXEMPT = new Set([]);
+
+// ── F1「手写的标签+控件行」与 F2「自己管行距」：都该走 FormRow(s)（ADR-0052） ──────────
+//
+// F1：模块源码里一个**标签样子**的元素（`<span>` / `<label>` / `<div>`，className 含 `label`/`Label`，
+// 或它的内容是 i18n 的 `*.field.*` / `*.label` 键）紧挨着一个 kit 控件（`SelectField` / `TextField` /
+// `ChoiceGroup`）或 dsh 原语 `Input` ⇒ 报"这一行该用 `FormRow`（标签归它）"。
+// **窄在哪**：标签元素必须**短**（开、闭标签 5 行以内 —— 排掉大容器被当成标签）、控件必须在它后面
+// 12 行内、中间撞见 `FormRow(s)` / `Field`（已经走那一层了）就放行、同一个控件只报一次。
+// **已知漏报**（判宽了就会误伤，故意不收）：没有 className 也没有 i18n 键的裸 `<label>名字<Input/></label>`；
+// `h('span', …)` / `jsx(…)` 写的行；"标签在一个容器、控件在隔壁容器"那种松散排版。
+const FORM_LABEL_ELEMENT = /<(span|label|div)\b[^>]*className\s*=\s*(?:\{[^}]*\}|"[^"]*")[^>]*>/;
+const LABEL_CLASS = /label/i;
+const I18N_LABEL_KEY = /['"][^'"]*\.(?:field|label)(?:['".])/;
+const FORM_CONTROL = /<(SelectField|TextField|ChoiceGroup|Input)\b/;
+const FORM_LAYER = /<(FormRows?|Field)\b/;
+
+// F2：模块 CSS 里给"字段/表单"容器设了**行距**（`gap` / `row-gap` / 上下 `margin`，值为 0 的重置不算）。
+// **窄在哪**：类名按 camelCase 切词，只认 `field(s)` / `form(s)` 这个词（`platform` / `performance` /
+// `transform` 里的 form 不算）；`row` 单独出现太歧义（列表行 / 卡片行 / 摘要行都叫 `row`），
+// 要写就得写成 `formRow` / `fieldRow`；带 `card|list|item|issue|env|dot|…` 的 token 放行
+// （那是卡片/清单的网格，不是表单行）。横向 margin（`margin-left/right/inline*`）与 `column-gap` 不算。
+// **已知漏报**：ADR-0052 §7 点名的 `.cmdbEnvs` / `.cmdbEnvGroup`、只叫 `.row` / `.switchRow` 的容器 ——
+// 名字里没有 field/form，这一版不判（判宽了会把 argocd 的 `.row` 清单行、cmdb 的 `.releaseConfirmRow` 一起误伤）。
+const NOT_A_FORM = /card|list|item|issue|env|dot|sub|chip|badge|tag|tab|nav|menu/i;
+const ZERO_LENGTH = /^(?:0|0px|0rem|0em|0%|none|auto)$/i;
+
+// ── F3「手写的操作区」：该走 `FormActions`（ADR-0054） ─────────────────────────────
+//
+// 口径（[ADR-0054](../../../docs/adr/0054-the-action-area-is-one-component.md)）：操作区那一层
+// （主操作在右 / 一颗 primary / 危险动作紧挨它左侧 / 间距 / 窄容器换行）从前没有主，只有一条
+// 借来的槽类 `.wb-formActions`（它只管右对齐 + gap）。于是顺序各摆各的 —— 2026-10-17 用户在
+// argocd 绑定身份那屏说「这两个按钮的位置换一下」就是现场（pduiv2 `b7977862`）。
+//
+// 判据：模块源码（`.tsx`，测试文件除外）里出现 **`wb-formActions`** ⇒ 红，改用 kit 的 `FormActions`。
+// **为什么只钉这一条（宁可漏报）**：`wb-formActions` 只为操作区存在，出现它 = 明确在手写操作区，
+// 零误报。更宽的启发式（"同一容器里两颗以上 `Button`"）会把**合法的并排小钮**判红 —— 实测
+// `module-argocd:src/views/EnvRows.tsx` 有三处 `.actions` 容器装的是平台跳转图标钮 + 转会话 chip +
+// 同步钮（行级图标簇，没有 primary，不归 `FormActions`），`confirmActions` / `releaseConfirmActions` /
+// `envBlockActions` 这些类名也都不该判红。
+// **已知漏报**：模块自己搭容器（`<div className={styles.actions}>` 里两颗 `Button`）而不借槽类时，
+// 这一版不判 —— 只能靠评审 / SKILL 抓；`FormActions` 里那些类名带 `form` 的（如 `.formActions`）
+// 若自己写 `gap` / 上下 `margin`，还会被 F2 顺带抓到。
+const ACTION_AREA_CLASS = /wb-formActions/;
+
+/** 类名里有没有 `field(s)` / `form(s)` 这个词（按 camelCase 切词，`platform` 不算）。 */
+function isFormContainer(token) {
+  return token.split(/(?=[A-Z])/).some((word) => /^(?:fields?|forms?)$/i.test(word))
+    || /^(?:fields?|forms?)$/i.test(token);
+}
+
+/** 一个 CSS 声明的值算不算"行距"（垂直方向、非零）—— 不算返回 null。 */
+function rowSpacingOf(property, value) {
+  const prop = property.toLowerCase();
+  const first = value.trim().split(/\s+/)[0] ?? '';
+  if (prop === 'gap' || prop === 'row-gap') return ZERO_LENGTH.test(first) ? null : prop;
+  if (prop === 'margin-top' || prop === 'margin-bottom' || prop === 'margin-block'
+    || prop === 'margin-block-start' || prop === 'margin-block-end') {
+    return ZERO_LENGTH.test(first) ? null : prop;
+  }
+  if (prop === 'margin') {
+    const parts = value.trim().split(/\s+/);
+    const vertical = [parts[0] ?? '', parts.length >= 3 ? (parts[2] ?? '') : (parts[0] ?? '')];
+    return vertical.some((one) => !ZERO_LENGTH.test(one)) ? prop : null;
+  }
+  return null;
+}
+
+/** 模块自己管的行距出现的位置（值 0 的重置、横向 margin、卡片/清单的网格都不算）。 */
+function selfManagedRowsIn(css) {
+  const hits = [];
+  for (const block of css.matchAll(/([^{}]+)\{([^{}]*)\}/g)) {
+    const selector = block[1].replace(/\/\*[\s\S]*?\*\//g, ' ').replace(/\s+/g, ' ').trim();
+    const form = Array.from(selector.matchAll(/\.([A-Za-z][\w-]*)/g), (one) => one[1])
+      .filter((token) => isFormContainer(token) && !NOT_A_FORM.test(token));
+    if (form.length === 0) continue;
+    // 注释换成等长空格：既不让注释里一句 `gap: …` 混进来，又保住下面按偏移回推行号的算法。
+    const body = block[2].replace(/\/\*[\s\S]*?\*\//g, (one) => ' '.repeat(one.length));
+    const bodyAt = block.index + block[1].length + 1;
+    for (const decl of body.matchAll(/([-\w]+)\s*:\s*([^;]*)/g)) {
+      const prop = rowSpacingOf(decl[1], decl[2]);
+      if (prop === null) continue;
+      hits.push({
+        line: css.slice(0, bodyAt + decl.index).split('\n').length,
+        selector: selector.slice(0, 60),
+        prop,
+        decl: `${decl[1]}: ${decl[2].trim()}`.slice(0, 60),
+      });
+    }
+  }
+  return hits;
+}
+
+/** 手写的「标签 + 控件」行出现的位置 —— 元素跨行，所以按行扫、给控件那一行。 */
+function handwrittenRowsIn(text) {
+  const lines = text.split('\n');
+  const hits = [];
+  const claimed = new Set();
+  for (let at = 0; at < lines.length; at += 1) {
+    const open = lines[at].match(FORM_LABEL_ELEMENT);
+    if (open === null) continue;
+    const tag = open[1];
+    const named = (() => {
+      const found = lines[at].match(/className\s*=\s*(?:\{([^}]*)\}|"([^"]*)")/);
+      return LABEL_CLASS.test(found?.[1] ?? found?.[2] ?? '');
+    })();
+    const close = new RegExp(`</${tag}>`);
+    let end = -1;
+    let keyed = false;
+    for (let scan = at; scan < Math.min(lines.length, at + 5); scan += 1) {
+      if (I18N_LABEL_KEY.test(lines[scan])) keyed = true;
+      if (close.test(lines[scan])) {
+        end = scan;
+        break;
+      }
+    }
+    if (end < 0 || (!named && !keyed)) continue;
+    for (let scan = end + 1; scan < Math.min(lines.length, end + 13); scan += 1) {
+      if (FORM_LAYER.test(lines[scan])) break;
+      const control = lines[scan].match(FORM_CONTROL);
+      if (control === null) continue;
+      if (!claimed.has(scan)) {
+        claimed.add(scan);
+        hits.push({ line: scan + 1, labelLine: at + 1, control: control[1] });
+      }
+      break;
+    }
+  }
+  return hits;
+}
+
+// 历史豁免：**已知**的手写「标签+控件」行与模块自己管的行距。它们跟 `CONTROL_EXEMPT` 是
+// **两件事、两个迁移时点**（那一张等 kit 成员，这一张等外壳把 `FormRow(s)` 这一层发出来），
+// 所以单开一张表，别混。理由都指向 ADR-0052：§5 是顺序（共享面先发版、模块后迁）、
+// §7 第 ② 条是"行距归 `FormRow(s)`、模块不许自己写"。
+// 这是**棘轮**：迁一处删一行。而且这一版会**替你发现哪一行已经不用留了** ——
+// 某个包在眼前（被判据扫到）却一处都不再命中时，那条豁免当场报红（见 run() 里的 staleRows）。
+// 键与 `CONTROL_EXEMPT` 同形：`<包名>:<相对模块根的文件路径>`。
+const FORM_ROW_EXEMPT = new Map([]);
+
+// 历史豁免：**已知**的手写操作区（借了 `wb-formActions` 槽类手摆按钮）。它跟上面两张又是
+// **另一件事、另一个迁移时点**：等的是外壳把 `FormActions` 这一层发出来（ADR-0054 §12）。
+// 理由都指向 ADR-0054：§2 是四条规则（顺序 / 颗数 / 危险 / 窄容器）、§9 是判据为什么只钉这一条、
+// §12 是发版后的迁移顺序。这是**棘轮**：迁一处删一行；某个包在眼前却一处都不再命中时，
+// 那条豁免当场报红（见 run() 里的 staleActionRows）。键同形：`<包名>:<相对模块根的文件路径>`。
+// 2026-10-17 实测（只读 pduiv2）：8 处 / 6 个文件 —— 全部收在这里，一条都不许写成"全部"。
+const FORM_ACTIONS_EXEMPT = new Map([
+  [
+    '@pagoda-dsh-workbench/module-argocd:src/views/BindIdentity.tsx',
+    ':112（无候选那屏的 重试 / 去设置）· :165（绑定确认那屏的 重试 / 确认，就是这次换按钮那屏）—— 等外壳发出 FormActions 后随它迁（ADR-0054 §2/§12）',
+  ],
+  [
+    '@pagoda-dsh-workbench/module-argocd:src/views/ChooseEnvs.tsx',
+    ':39（选择环境那屏）—— 等外壳发出 FormActions 后随它迁（ADR-0054 §12）',
+  ],
+  [
+    '@pagoda-dsh-workbench/module-argocd:src/views/ArgocdCard.tsx',
+    ':105（卡片上那组 取消 / 重试 / 确认）—— 等外壳发出 FormActions 后随它迁（ADR-0054 §12）',
+  ],
+  [
+    '@pagoda-dsh-workbench/module-cmdb:src/views/CmdbSettingsPanes.tsx',
+    ':55（清除确认那一对 取消 / 确认清除）· :76（编辑 / 清除入口）—— 等外壳发出 FormActions 后随它迁（ADR-0054 §12）',
+  ],
+  [
+    '@pagoda-dsh-workbench/module-cmdb:src/views/ChooseEnvsBody.tsx',
+    ':77（选环境那一屏）—— 等外壳发出 FormActions 后随它迁（ADR-0054 §12）',
+  ],
+  [
+    '@pagoda-dsh-workbench/module-coding-analysis:src/views/EnvSettings.tsx',
+    ':150（环境设置那一屏）—— 等外壳发出 FormActions 后随它迁（ADR-0054 §12）',
+  ],
 ]);
 
 /** 裸控件出现的位置 —— 逐行看不了（一个元素会跨行），所以在全文里按标签找，再回推行号。 */
@@ -76,6 +253,48 @@ const SOURCE_COMPONENTS = fileURLToPath(new URL('../../../shared/src/components'
 const INSTALLED_BOARD = join('node_modules', '@dsh-workbench', 'core', 'dist', 'board.css');
 const INSTALLED_COMPONENTS = join('node_modules', '@dsh-workbench', 'shared', 'src', 'components');
 
+// ── 字号口径（S5，用户 2026-10-17 定的那条）：只报「刻度外手搓字面值」，**黄，不判红** ─────────
+//
+// 口径、刻度出处与"将来怎么变红"写在 `.scratch/font-scale/spec.md`（这份 note 的指路目标）。
+// 扫三个来源：外壳自己的 `src`、shared 的 `src`、本次发现的模块包；外壳两处与上面那份契约
+// （`SOURCE_BOARD` / `SOURCE_COMPONENTS`）走同一条路 —— 源码在隔壁时读源码，仓外的模块工作区
+// 读不到就少扫那一半（note 里只报实际扫到的）。测试文件不扫（用例里那些是断言字符串，不是界面字号）。
+//
+// 为什么落在这一条上：`check:style` 今天就有"通过时也打 note"的做法（豁免表那两行），
+// 这里只是又一条同类 note；**不新增判据、不改退出码、不加开关**。外壳 CSS 那边本来就有红判据
+// （arch-guard 的 D12：`font-size` 字面值必须写 `var(...)`），所以那半边的 0 命中是"红已经守住"
+// 的结果；这份黄清单补的是 D12 看不到的地方：`.tsx` 内联 `fontSize`、shared、以及模块包。
+const SOURCE_SHELL_SRC = fileURLToPath(new URL('../../../workbench/src', import.meta.url));
+const SOURCE_SHARED_SRC = fileURLToPath(new URL('../../../shared/src', import.meta.url));
+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';
+
+/** 包名（读 package.json；读不到就用兜底名，别让一条 note 把判据带崩）。 */
+function packageNameOf(dir, fallback) {
+  try {
+    const manifest = JSON.parse(readFileSync(join(dir, 'package.json'), 'utf8'));
+    return typeof manifest.name === 'string' ? manifest.name : fallback;
+  } catch {
+    return fallback;
+  }
+}
+
+/** 字号口径要扫的根：外壳 + shared（源码在隔壁才有）+ 本次发现的模块包。 */
+function fontRootsIn(modules) {
+  const roots = [];
+  for (const [dir, fallback] of [
+    [SOURCE_SHELL_SRC, '@dsh-workbench/core'],
+    [SOURCE_SHARED_SRC, '@dsh-workbench/shared'],
+  ]) {
+    if (existsSync(dir)) roots.push({ label: packageNameOf(join(dir, '..'), fallback), dir });
+  }
+  for (const pkg of modules) roots.push({ label: pkg.manifest.name, dir: pkg.dir });
+  return roots;
+}
+
 function installedUnder(dir, tail) {
   let at = resolve(dir);
   for (;;) {
@@ -139,6 +358,11 @@ export async function run() {
   const borrowed = [];
   const anchors = [];
   const controls = [];
+  const rows = [];
+  const actionAreas = [];
+  // 这一轮"命中过"的 `包:文件`（含被豁免的）—— 豁免表里那些不再命中的行靠它发现（棘轮）。
+  const formRowHits = new Set();
+  const actionAreaHits = new Set();
   const modules = discoverModulePackages({ root: process.cwd() });
   const contracts = new Map(modules.map((pkg) => [pkg.dir, contractOf(pkg.dir)]));
   for (const pkg of modules) {
@@ -162,6 +386,20 @@ export async function run() {
         }
       });
 
+      if (/\.css$/.test(file)) {
+        const key = `${pkg.manifest.name}:${relative(pkg.dir, file)}`;
+        const exemptRows = FORM_ROW_EXEMPT.has(key);
+        for (const hit of selfManagedRowsIn(text)) {
+          formRowHits.add(key);
+          if (exemptRows) continue;
+          rows.push(
+            `${pkg.manifest.name}: ${relative(pkg.dir, file)}:${hit.line} 模块自己管了行距（${hit.selector} 的 ${hit.decl}）—— ` +
+              `行距归 FormRow(s)（ADR-0052 §7 第 ② 条：行距只有这一档，模块不许自己写）：` +
+              `${(lines[hit.line - 1] ?? '').trim().slice(0, 80)}`,
+          );
+        }
+      }
+
       if (isTestSource(file)) continue;
       if (!/\.tsx?$/.test(file)) continue;
       const exemptControls = CONTROL_EXEMPT.has(`${pkg.manifest.name}:${relative(pkg.dir, file)}`);
@@ -181,6 +419,32 @@ export async function run() {
           );
         }
       }
+      if (/\.tsx$/.test(file)) {
+        const key = `${pkg.manifest.name}:${relative(pkg.dir, file)}`;
+        const exemptRows = FORM_ROW_EXEMPT.has(key);
+        for (const hit of handwrittenRowsIn(text)) {
+          formRowHits.add(key);
+          if (exemptRows) continue;
+          rows.push(
+            `${pkg.manifest.name}: ${relative(pkg.dir, file)}:${hit.line} 手写的「标签 + 控件」行（标签在 ${hit.labelLine} 行，控件是 ${hit.control}）—— ` +
+              `用 FormRow：标签归它（ADR-0052 §2：面 → 行 → 控件，中间那层归 FormRow(s)）：` +
+              `${(lines[hit.line - 1] ?? '').trim().slice(0, 80)}`,
+          );
+        }
+      }
+      const actionKey = `${pkg.manifest.name}:${relative(pkg.dir, file)}`;
+      const exemptActions = FORM_ACTIONS_EXEMPT.has(actionKey);
+      lines.forEach((line, index) => {
+        if (!ACTION_AREA_CLASS.test(line)) return;
+        actionAreaHits.add(actionKey);
+        if (exemptActions) return;
+        actionAreas.push(
+          `${pkg.manifest.name}: ${relative(pkg.dir, file)}:${index + 1} 手写了操作区（借了外壳的槽类 wb-formActions）—— ` +
+            `用 kit 的 FormActions（ADR-0054 §2：主操作在右、一个区一颗 primary、danger 紧挨它左侧且有二次确认、` +
+            '间距与窄容器换行都归它）：' +
+            `${line.trim().slice(0, 80)}`,
+        );
+      });
       if (contract === null) continue;
       lines.forEach((line, index) => {
         for (const match of line.matchAll(CLASS_TOKEN)) {
@@ -222,7 +486,28 @@ export async function run() {
     }
   }
 
-  if (bindings.length + problems.length + borrowed.length + anchors.length + controls.length > 0) {
+  // 棘轮的另一半：豁免表里的行如果**已经不再命中**（那个包在眼前，却一处都不报了），
+  // 说明它已经迁完/文件没了 —— 这一行该删。包不在眼前（别的仓库里）时不说它，免得误报。
+  const present = new Set(modules.map((pkg) => pkg.manifest.name));
+  const staleRows = [];
+  for (const [key, reason] of FORM_ROW_EXEMPT) {
+    const owner = key.slice(0, key.indexOf(':'));
+    if (!present.has(owner) || formRowHits.has(key)) continue;
+    staleRows.push(
+      `${key} 还在 FORM_ROW_EXEMPT 里，但一处都不再命中 —— 按棘轮删掉这一行（原由：${reason}）`,
+    );
+  }
+  const staleActionRows = [];
+  for (const [key, reason] of FORM_ACTIONS_EXEMPT) {
+    const owner = key.slice(0, key.indexOf(':'));
+    if (!present.has(owner) || actionAreaHits.has(key)) continue;
+    staleActionRows.push(
+      `${key} 还在 FORM_ACTIONS_EXEMPT 里，但一处都不再命中 —— 按棘轮删掉这一行（原由：${reason}）`,
+    );
+  }
+
+  if (bindings.length + problems.length + borrowed.length + anchors.length + controls.length
+    + rows.length + actionAreas.length + staleRows.length + staleActionRows.length > 0) {
     const notes = [];
     if (bindings.length > 0) {
       notes.push(
@@ -258,11 +543,50 @@ export async function run() {
           '`type="hidden"` / `type="file"` 例外：那两种形态两处都没有）',
       );
     }
-    // 各类问题各自成串，按原来的输出顺序（绑定 → 规则 → 借用 → 裸 <a> → 裸控件）拼在一起。
+    if (rows.length > 0) {
+      notes.push(
+        `${rows.length} 处是「手写的标签+控件行 或 模块自己管的行距」：（ADR-0052：面 → 行 → 控件，` +
+          '中间那层归 `FormRow(s)`。行里自己写 `<span className=…label>` 配 `SelectField` / `TextField` / ' +
+          '`ChoiceGroup` / `Input`、或给 field/form 容器设 `gap` / 上下 `margin`，就是这一层没有主人的信号 —— ' +
+          '换 `<FormRow label={…}>{控件}</FormRow>`，行距一起归它。窄口径与已知漏报见 style.mjs 里那两段注释）',
+      );
+    }
+    if (actionAreas.length > 0) {
+      notes.push(
+        `${actionAreas.length} 处是「手写了操作区（借了外壳的槽类 wb-formActions）」：（ADR-0054：` +
+          '操作区那一层归 `FormActions` —— 顺序（主操作在右、danger 紧挨它左侧）、一个区一颗 `primary`、' +
+          '间距、窄容器换行都由组件定；调用点只给"有哪些动作、哪个是主要、点了做什么"。' +
+          '`wb-formActions` 这个槽类只为操作区存在，出现它就是自己摆了一套：换 `<FormActions actions={…} />`。' +
+          '窄口径与已知漏报见 style.mjs 里那一段注释）',
+      );
+    }
+    if (staleRows.length > 0) {
+      notes.push(
+        `${staleRows.length} 条 FORM_ROW_EXEMPT 已经不命中了：（棘轮：迁完一处删一行 —— ` +
+          '一个包迁完 FormRow 之后，它那几行豁免要跟着删，别留着让表长起来）',
+      );
+    }
+    if (staleActionRows.length > 0) {
+      notes.push(
+        `${staleActionRows.length} 条 FORM_ACTIONS_EXEMPT 已经不命中了：（棘轮：迁完一处删一行 —— ` +
+          '一个包迁完 FormActions 之后，它那几行豁免要跟着删，别留着让表长起来）',
+      );
+    }
+    // 各类问题各自成串，按原来的输出顺序（绑定 → 规则 → 借用 → 裸 <a> → 裸控件 → 表单行 → 操作区 → 过期豁免）拼在一起。
     return {
       status: 'fail',
       notes,
-      problems: [...bindings, ...problems, ...borrowed, ...anchors, ...controls],
+      problems: [
+        ...bindings,
+        ...problems,
+        ...borrowed,
+        ...anchors,
+        ...controls,
+        ...rows,
+        ...actionAreas,
+        ...staleRows,
+        ...staleActionRows,
+      ],
     };
   }
 
@@ -291,9 +615,27 @@ export async function run() {
     noContract.length === 0
       ? '借用的类都在契约里（外壳出货的 board.css + 外壳组件自己的样式表）'
       : `${noContract.join(' / ')} 那一边找不到外壳的契约，借用这一项没查`;
+  const exemptNote =
+    formRowHits.size === 0
+      ? '没有手写的「标签+控件」行，也没有模块自己管的行距'
+      : `表单「行」这一层还有 ${formRowHits.size} 个文件在 FORM_ROW_EXEMPT 里等外壳发版后迁（棘轮：迁一处删一行）`;
+  const actionNote =
+    actionAreaHits.size === 0
+      ? '没有手写的操作区'
+      : `操作区这一层还有 ${actionAreaHits.size} 个文件在 FORM_ACTIONS_EXEMPT 里等外壳发版后迁（棘轮：迁一处删一行）`;
+  // 黄的那一条：各类条数 + 涉及文件数 + 最多十来行明细 + 指路文档（口径见上面那一段注释）。
+  const fontScale = fontScaleOf(SHELL_FONT_SCALE_FILES);
+  const fontNotes = fontScaleNotes(
+    auditFontSizes({ roots: fontRootsIn(modules), scale: fontScale }),
+    fontScale,
+    { doc: FONT_DOC },
+  );
   return {
     status: 'pass',
-    notes: [`${modules.length} 个模块都没有定义外壳前缀（wb-*）的 CSS 规则；${contractNote}`],
+    notes: [
+      `${modules.length} 个模块都没有定义外壳前缀（wb-*）的 CSS 规则；${contractNote}；${exemptNote}；${actionNote}`,
+      ...fontNotes,
+    ],
     problems: [],
   };
 }