fix(shell): 加固 T10/T13 五条评审 Minor 判据

Author: Aparencia

app/src/components/ClassroomRightPane.test.tsx

@@ -27,6 +27,8 @@ const HERE = dirname(fileURLToPath(import.meta.url));
 const SRC = readFileSync(join(HERE, "ClassroomRightPane.tsx"), "utf8");
 /** 只留代码：剥块注释（含 JSX 注释）与整行 `//` 注释 —— 注释里提到宽度上限不算犯规、也不算数 */
 const CODE = SRC.replace(/\/\*[\s\S]*?\*\//g, "").replace(/^\s*\/\/.*$/gm, "");
+/** 唯一有效口径 = **属性用法**（见 ③ 用例的注释：裸词口径在行尾注释/字符串字面量下会假红） */
+const CAPS = /maxWidth\s*:/g;
 
 const note: Note = { id: 1, title: "课堂笔记", content: "正文", source: "manual", tags: "[]", pin: 0, group_id: null, created_at: 0, updated_at: 0 };
 const base = {
@@ -74,7 +76,11 @@ describe("课堂右栏统一 wrapper（规格 §6.2）", () => {
 
   it("② 渲染出的上限 === 注册表 settings-main 的默认宽（数字只有一份）", () => {
     const { container } = render(<ClassroomRightPane {...base} />);
-    expect(capped(container)[0].style.maxWidth).toBe(`${columnSpec("settings-main").default}px`);
+    const wrapper = capped(container);
+    expect(wrapper[0].style.maxWidth).toBe(`${columnSpec("settings-main").default}px`);
+    // 规格 §6.2「居中 860」的另一半：上限之外还要**水平居中**。jsdom 会把 `margin: "0 auto"`
+    // 归一化成 `"0px auto"`（实测）—— 这半句此前无任何判据（T10 评审 Minor-2：去掉居中 0 红）。
+    expect(wrapper[0].style.margin, "wrapper 没居中（只钉了宽、丢了「居中」那半句）").toBe("0px auto");
   });
 
   it("① 融合卡的行为不变（wrapper 只改宽，不改事件语义）", () => {
@@ -89,8 +95,13 @@ describe("课堂右栏统一 wrapper（规格 §6.2）", () => {
     expect(onDismissFused).toHaveBeenCalledTimes(1);
   });
 
-  it("③ 剥注释后：宽度上限只出现一次（V2 口径）", () => {
-    expect([...CODE.matchAll(/maxWidth/g)]).toHaveLength(1);
+  it("③ 剥注释后：宽度上限（属性用法）只出现一次（V2 口径）", () => {
+    // 口径 = **属性用法**（`maxWidth` 后跟冒号），不是裸词：剥注释器只剥块注释与**整行** `//`，
+    // 因此**行尾** `//` 注释或字符串字面量里的裸词会假红（T10 评审 M3d/M3e）；收紧成属性用法后
+    // 两者转绿，而**真第二处上限**（`maxWidth: 700`）仍被计数 ⇒ 牙齿不降（见 ③ 仪器自检的样本表）。
+    expect([...CODE.matchAll(CAPS)], "宽度上限（属性用法）只该出现一次").toHaveLength(1);
+    // 第二仪器：原裸词口径保留（互补 —— 它不放行裸词/字符串里的同名词；两者同时绿才算干净）
+    expect([...CODE.matchAll(/maxWidth/g)], "剥注释后仍出现裸 maxWidth（第二仪器，裸词口径）").toHaveLength(1);
     // 仪器自检：剥注释确实起了作用，且剥完不是空文件（否则 ③ 是空判据）
     expect(SRC.length).toBeGreaterThan(CODE.length);
     expect(CODE).toContain("export default function ClassroomRightPane");
@@ -107,11 +118,20 @@ describe("课堂右栏统一 wrapper（规格 §6.2）", () => {
     expect(/(?<![A-Za-z0-9_])860(?![0-9])/.test(CODE), "860 又被抄了一份（应从注册表取）").toBe(false);
   });
 
-  it("③ 仪器自检：上面的计数与裸数字正则会命中已知样本（否则那几条是空判据）", () => {
-    const probe = "const a = { maxWidth: 640, width: 860 };";
-    expect([...probe.matchAll(/maxWidth/g)]).toHaveLength(1);
-    expect(/(?<![A-Za-z0-9_])640(?![0-9])/.test(probe)).toBe(true);
-    expect(/(?<![A-Za-z0-9_])860(?![0-9])/.test(probe)).toBe(true);
+  it("③ 仪器自检：两条计数口径都命中真上限，且裸词口径的两种假红形态被新口径放行", () => {
+    const real = "const a = { maxWidth: 640, width: 860 };";
+    expect([...real.matchAll(CAPS)], "新口径漏掉真上限 ⇒ 判据没牙").toHaveLength(1);
+    expect([...real.matchAll(/maxWidth/g)], "裸词口径应有 1 处").toHaveLength(1);
+    // 假红形态（剥注释器盲区）：行尾 // 注释 / 字符串字面量 —— 新口径放行、裸词口径误伤
+    const trailing = "const a = 1; // maxWidth 探针";
+    expect([...trailing.matchAll(CAPS)], "新口径误伤行尾注释").toHaveLength(0);
+    expect([...trailing.matchAll(/maxWidth/g)], "裸词口径本来就会误伤行尾注释").toHaveLength(1);
+    const inString = 'const s = "maxWidth";';
+    expect([...inString.matchAll(CAPS)], "新口径误伤字符串字面量").toHaveLength(0);
+    expect([...inString.matchAll(/maxWidth/g)], "裸词口径本来就会误伤字符串字面量").toHaveLength(1);
+    // 裸数字口径的阳性对照（否则「无裸 640/860」那条是空判据）
+    expect(/(?<![A-Za-z0-9_])640(?![0-9])/.test(real)).toBe(true);
+    expect(/(?<![A-Za-z0-9_])860(?![0-9])/.test(real)).toBe(true);
     // 阴性对照：「640」是更长数字的前缀时不算命中（防子串误判）
     expect(/(?<![A-Za-z0-9_])640(?![0-9])/.test("width: 6401")).toBe(false);
   });

app/src/shell/ShellFallback.test.tsx

@@ -7,11 +7,15 @@
  *      保活（先点两次计数器再让子页抛错，随后断言计数仍是 2 —— 这是证明，不是声明）。
  *   ② **结构尺**（真 `App.tsx` 源码）：**按槽位逐个判** —— 9 个 `PageSlot` 调用点与注册表 9 个 key
  *      一一对应，且每个调用点都经过那唯一一个内部包了边界的 `PageSlot` 定义；三个非槽位 Suspense
- *      （overlay / float / dock）各有边界。⚠️ Why 不数全文出现次数：import 行 / 注释 / 类型标注都会计入
- *      （计划 V3 的 `boundaries≥4` 因此偏松），且那条正则**对空格敏感**（`fallback={ null }` 漏判）。
+ *      （overlay / float / dock）的边界必须**真的包住自己那个面板**（用括号平衡取内层，而非「本段
+ *      出现过这两个 token」—— 后者在边界与面板解耦时静默通过）。⚠️ Why 不数全文出现次数：import 行 /
+ *      注释 / 类型标注都会计入（计划 V3 的 `boundaries≥4` 因此偏松），且那条正则**对空格敏感**
+ *      （`fallback={ null }` 漏判）。
  *
  * ⚠️ 诚实边界：本仓**没有** `App.test.tsx`（批 2 实测）⇒ `App.tsx` 的接线**无渲染级测试面**；① 测的是
  *   与 App **同构**的复刻（② 证明两者同形），真产物像素证据归 T14。
+ * ⚠️ 失败卡文案（`:77`）是**四处共用**的一句话（PageSlot / overlay / float / dock）⇒ 判据把它整句冻结，
+ *   并显式禁掉「可切换页面」这类只在主窗成立的说法（T13 评审 Minor-3）。
  */
 import { readFileSync } from "node:fs";
 import { dirname, join } from "node:path";
@@ -27,6 +31,23 @@ const APP = readFileSync(join(dirname(fileURLToPath(import.meta.url)), "..", "Ap
   .replace(/\r\n/g, "\n").replace(/\/\*[\s\S]*?\*\//g, "").replace(/^\s*\/\/.*$/gm, "");
 /** 模拟懒 chunk 加载失败（渲染期抛错 ⇒ React 落到最近的上层边界）；抛错时 React 仍会 console.error ⇒ 抑制后还原 */
 function Boom(): never { throw new Error("模拟懒 chunk 加载失败"); }
+/**
+ * 取出 `src.slice(i)` 里**第一个整段** `<tag>…</tag>`（开闭标签按同名嵌套做奇偶配对 —— 不用 eval/
+ * new Function），返回其**内层文本**；起点不是该开标签或找不到配对 ⇒ null（判据据此响亮失败）。
+ * Why 要它：只 `toContain("<SlotErrorBoundary>")` 判不出「边界**包住**面板」还是「边界只是摆设」。
+ */
+function balanced(src: string, i: number, tag: string): string | null {
+  const open = `<${tag}>`, close = `</${tag}>`;
+  if (!src.startsWith(open, i)) return null;
+  let d = 0, p = i + open.length;
+  while (p < src.length) {
+    const end = src.indexOf(close, p);
+    if (end < 0) return null;
+    const o = src.indexOf(open, p);
+    if (o >= 0 && o < end) { d++; p = o + open.length; } else { if (d === 0) return src.slice(i + open.length, end); d--; p = end + close.length; }
+  }
+  return null;
+}
 function silenced(fn: () => void) {
   const spy = vi.spyOn(console, "error").mockImplementation(() => {});
   try { fn(); } finally { spy.mockRestore(); }
@@ -53,6 +74,12 @@ describe("叶级错误边界 SlotErrorBoundary", () => {
     expect(screen.getByTestId("child-marker"), "阳性对照：正常态本来该挂载").toBeTruthy();
     silenced(() => rerender(<Wrap bad />));
     expect(screen.getByRole("alert").textContent).toContain("加载失败");
+    // 文案判据（T13 评审 Minor-3）：卡片由**四处**共用 —— `PageSlot`（主窗，有导航）· `?overlay=1` ·
+    // `?float=1` · dock。后两者是**独立窗口**（`App.tsx` 顶部两个早返回，窗内没有顶栏/没有页面切换）
+    // ⇒ 旧文案「可切换页面继续使用」在其中**是假陈述**；新文案必须在四处都成立，且不许回退。
+    const card = screen.getByRole("alert").textContent ?? "";
+    expect(card, "失败卡文案被改动（四处共用的措辞已冻结）").toBe("此处加载失败——其余区域仍可使用；重启应用可恢复。");
+    expect(card, "窗口变体里没有页面切换 ⇒ 不许承诺「可切换页面」").not.toContain("\u53ef\u5207\u6362\u9875\u9762");
     expect(screen.queryByTestId("child-marker"), "children 仍挂着 ⇒ 没被边界卸载").toBeNull();
     expect(screen.queryByTestId("shell-fallback"), "失败态误用了加载态").toBeNull();
   });
@@ -97,7 +124,7 @@ describe("结构尺：App.tsx 的边界**按槽位逐个判**（不用全文计
     }
   });
 
-  it("② 页级定义包住 children；overlay / float / dock 三处各一个边界", () => {
+  it("② 页级定义包住 children；overlay / float / dock 三处各有一个**包住面板**的边界", () => {
     const at = (s: string) => APP.indexOf(s);
     const ps = at("function PageSlot(");
     const def = APP.slice(ps, APP.indexOf("\n}\n", ps));
@@ -107,13 +134,30 @@ describe("结构尺：App.tsx 的边界**按槽位逐个判**（不用全文计
     expect(def, "页级定义没把边界包在 children 之外（M-1 的缺陷形态）").toMatch(
       /<SlotErrorBoundary>\s*<Suspense fallback=\{<ShellFallback \/>\}>\{children\}<\/Suspense>\s*<\/SlotErrorBoundary>/,
     );
+    // 三段非槽位 Suspense：判**边界的内层**（而非「本段出现过这两个 token」）—— 边界与面板解耦时
+    // （评审 M11 形态：边界只包一个空 `<span />`、面板留在边界外）必须红。
+    const PANELS = { overlay: "CaptureOverlayPanel", float: "CaptureFloatPanel", dock: "AiConversationDock" } as const;
+    /** 边界内层应有的形状：加载态 + **自己那个**面板（只判开标签 —— dock 的面板属性是多行的）。
+     *  空白用 `\\s+` 吃掉（缩进/换行不是语义）⇒ 只对「面板不在边界内 / 面板名写岔」变红。 */
+    const shape = (panel: string) =>
+      new RegExp(`<Suspense\\s+fallback=\\{<ShellFallback\\s*/>\\}\\s*>\\s*<${panel}\\b`);
     for (const [name, seg] of [["overlay", overlay], ["float", float], ["dock", dock]] as const) {
       expect(seg.length, `${name} 切片为空（定位器写错？）`).toBeGreaterThan(40);
-      expect(seg, `${name} 分支缺叶级边界`).toContain("<SlotErrorBoundary>");
-      expect(seg, `${name} 分支缺首访加载态`).toContain("fallback={<ShellFallback />}");
+      const bl = seg.indexOf("<SlotErrorBoundary>");
+      const inner = bl < 0 ? null : balanced(seg, bl, "SlotErrorBoundary");
+      expect(inner === null, `${name} 分支缺叶级边界，或边界没包住自己的面板（边界成了摆设）`).toBe(false);
+      expect(inner, `${name} 的边界内层不是「加载态 + 自己的面板」`).toMatch(shape(PANELS[name]));
+      // 闭合顺序（独立于上面的内层判据）：`</Suspense>` 必须早于**该边界自己的** `</SlotErrorBoundary>`
+      expect(seg.indexOf("</Suspense>", seg.indexOf("<Suspense", bl)), `${name} 的边界闭合早于 Suspense`).toBeLessThan(
+        seg.indexOf("</SlotErrorBoundary>", bl),
+      );
     }
     // float：CaptureStatusProvider 必须仍在边界**外层**（「每窗恰一个实例」的采集状态源）
-    expect(float.indexOf("<CaptureStatusProvider>"), "采集状态源被塞进边界内层了").toBeLessThan(float.indexOf("<SlotErrorBoundary>"));
+    const pAt = float.indexOf("<CaptureStatusProvider>");
+    const outer = pAt < 0 ? null : balanced(float, pAt, "CaptureStatusProvider");
+    expect(outer === null, "采集状态源整段缺失（旧判据在这里是空真：indexOf 返回 -1）").toBe(false);
+    expect(outer, "采集状态源的内层没有边界").toContain("<SlotErrorBoundary>");
+    expect(pAt, "采集状态源被塞进边界内层了").toBeLessThan(float.indexOf("<SlotErrorBoundary>"));
     expect(APP, "仍有 fallback={null} 残留").not.toMatch(/fallback=\{\s*null\s*\}/);
   });
 });

app/src/shell/ShellFallback.tsx

@@ -51,7 +51,7 @@ export class SlotErrorBoundary extends Component<{ children: ReactNode }, { fail
           data-testid="slot-error"
           style={{ display: "flex", alignItems: "center", justifyContent: "center", minHeight: 80, padding: 24, fontSize: 12, color: "#b91c1c" }}
         >
-          此处加载失败——可切换页面继续使用；重启应用可恢复。
+          此处加载失败——其余区域仍可使用；重启应用可恢复。
         </div>
       );
     }