@moonquake2004/dsh-doctor 0.8.2 → 0.8.4

package/CHANGELOG.md

@@ -16,6 +16,53 @@
 
 ---
 
+## [0.8.4] — 2026-09-16
+
+**巡查产出的新检查**：社区 #6789 报告的形状，用新机制（语料优先 + 变体分离）验证后发现是**真实漏检**。
+
+### Added — P23：插件把宿主机包声明为普通依赖（社区 #6789）
+
+- **报告的现象**：`@deepseek-ai/dsh-experimental-browser-use-runtime` 把 `@deepseek-ai/dsh-scope` 写成
+  **dependency**（而非 peer）→ 该包自带**第二份副本** → 两份实例 Symbol/协议不匹配 → **第一个会话能用、之后每个会话都失败**。
+- **为什么此前抓不到**：`P5` 只扫 profile **顶层** `node_modules/@deepseek-ai`；未 hoist 时副本**嵌套在插件自己的 node_modules 里**，
+  顶层什么也看不到。**用两个变体分别实测确认**：有顶层副本 → P5 命中；**只有嵌套副本 → 没有任何检查提及**
+  （这一步很关键：若只看"顶层也有一份"的那个变体，就会误判为"我们已覆盖"——正是本会话反复犯的"用巧合冒充覆盖"）。
+- **新检查判据**：已装 bundle 的 manifest 里 `dependencies` 出现 `@deepseek-ai/*` 即 fail（宿主包应由宿主共享根提供），
+  并申报 `examined`/`examinedWhat`。对照实测：改用 `peerDependencies` 的插件 **不误报**。
+- **配套（W4/W6）**：语料新增两条（病态 + **健康对照**），共 16 条；变异清单新增 `P23-host-dep-detection`
+  （把检出判据改成恒假，语料必须变红）。
+
+测试 214 → **218**；变异 **9 个 → 8 杀死 / 0 存活 / 1 等价**。
+
+## [0.8.3] — 2026-09-16
+
+**把"自造的对抗者"变成默认动作**（用户要求：红队入流程 + 不依赖外部报错也能自我进化）。
+
+### Added —— 变异测试：验证"守卫是否真的在守"
+
+`scripts/mutation-test.mjs`：**故意破坏每个守卫，要求测试必须变红**；破坏后测试仍绿 = 那个守卫是装饰品。
+
+- 首轮结果：**8 个变异中 4 个存活** —— 也就是说**一半守卫此前无人看守**：
+  `arity-guard`（没测）、`catalog-skip-as-pass`（没测）、`closure-symbol`（我的变异插错了位置）、
+  `coverage-reset-noop`（**守卫本身冗余**：各段都自己设了值，去掉重置没有任何测试变红）。
+- 处置：补了两条缺失的测试（arity 守卫 / 目录检查 skip 语义，且**用例自控环境**：PATH 收窄到只有 node，
+  否则 E7 在有 dsh 的机器上合法地 pass，测试就变成对环境的断言）；把"覆盖量上下文"改为**绑定求值阶段**
+  （`coverageNow()` 只接受属于当前阶段的上下文），守卫才有牙齿；无牙齿的那条如实标为**等价变异**并记录。
+- 终态：**杀死 7 / 存活 0 / 等价 1（已记录）**。
+
+### Added —— 发布闸门：红队不跑就不许发版
+
+- `docs/redteam-brief.md`：红队行动简报（如何发起、攻击面、产出要求）。
+- `scripts/release-check.sh`：五道闸门 —— 环境泛化审计 · **变异测试无存活** · 全套测试 ·
+  **本版本必须留下 `docs/redteam-<版本>.md`** · 待决策清单可见。缺一项即"不许发布"。
+- 接入 CI（ubuntu × node24）。**闸门第一次运行就拦住了 0.8.3 自己**（缺红队档案）。
+
+### Added —— 缺陷台账：让"自我进化"可度量
+
+`docs/defect-ledger.md`：20 条缺陷按**来源**分类（EXT 外部报告 / RT 红队 / MUT 变异 / AUDIT 自审），
+并给出**预发布发现率**。截至今日：EXT 6 · RT 6 · MUT 1 类 · AUDIT 7 → **预发布发现率 ≈ 70%**。
+台账里如实注明：**红队那 6 条是因为用户要求才跑的**，所以闸门（强制留下档案）才是把比率变成能力的那一步。
+
 ## [0.8.2] — 2026-09-16
 
 **红队审计（fresh-context 证伪者）在"已自审三轮"的版本里找出 6 个真漏洞**，其中 2 个推翻了我刚声称"已验证"的断言。
@@ -43,7 +90,24 @@
 - `scripts/audit.sh` 的畸形-manifest 断言由 `n > 1` 收紧为 `n >= 15`，并把当前不达标**如实计为"已知缺口"**（自证太弱是 R8 的实例）。
 - 新增 `docs/redteam-2026-09-16.md`（逐条反例 + 处置 + 红队未能验证项）。
 
-测试 141 → 144。
+### 第二轮红队（攻击这批新机制本身）→ 本轮修复
+
+完整档案 `docs/redteam-0.8.3.md`。**8 条真反例**，其中 1 条推翻台账里"R1 已修 0.8.2"的结论：
+
+- **F1（严重）**：0.8.2 只修了**目录段**的"跳过报成 pass"；**profile 段的阶段占位值仍在伪造覆盖量** ——
+  3 个**一个都没装**的幽灵 bundle 也能得到 `✓ 16 项通过 / ok=true / verified=16`，且 15 条记录带
+  `examined=3, examinedWhat="bundle 条目"`（P21 文案写"扫描 0 个 host 入口"却记 examined=3）。
+  **已修**：删除占位回退（`examined` 只能显式申报）；未申报者标 `unreported` 并**单独计数、进 JSON**；
+  补齐 P11/P15/P17/P19/P20/P21 的数量与单位；删除"数量巧合就继承单位"的回退（它会把 P15 误贴成"3 个 bundle 条目"）。
+- **F3/F4/F8（高）**：发布闸门可被空文件或任意版本号旁路；**闸门与变异清单此前根本未入库**；闸门诊断在 C locale 下崩溃且从不核对数量。已修并入库。
+- **F5（高）**：测试**依赖网络**导致不可复现，进而让变异测试产生**假杀死**（环境红 = 记成 kill）。
+  已加离线开关 `DSH_DOCTOR_OFFLINE=1`；变异判据收紧为"必须出现断言失败"；每条变异先跑基线；超时单列。
+- **F6（中）**：等价变异是自证后门（无预算、不进 `--json`）。已加预算（1）并在 JSON 暴露。
+- **F7（中）**：台账计数与自己的 20 行不自洽 → 已按行重算并写明归属规则。
+- **F2（严重，未修）**：闭集只是**文本律**（`String.fromCharCode` 可绕过；`client.js` 未被扫描）→ **待决策 D6**。
+- 附注：`--no-catalog` 只是 `noRemote`，`checks.local.json` 仍会合并 → **待决策 D7**。
+
+测试 144 → **214**。
 
 ## [0.8.1] — 2026-09-16
 

package/dsh-doctor.mjs

@@ -233,16 +233,21 @@ function hasDshEnvironment(home = HOME) {
  *   · `examined === 0` → **不得 pass**，自动降为 skip（"无可检查对象"）——硬不变量，CI 有测试盯着；
  *   · `examined` 未报告 → 结果带 `coverage: 'unreported'`（机器可读的欠账标记），可被测试度量并逐项清零。
  */
-let coverageContext = null; // 当前检查段"检查了多少同类对象"的默认值（由 setCoverage 设置）
-function setCoverage(n, what) { coverageContext = typeof n === 'number' ? { n, what } : null; }
+let coverageContext = null; // 当前检查段"检查了多少同类对象"的默认值（由 setCoverage 设置，且**绑定阶段**）
+let currentPhase = null;    // 求值阶段：env / profile / session / catalog
+function setCoverage(n, what) { coverageContext = typeof n === 'number' ? { n, what, phase: currentPhase } : null; }
 /** 段边界重置：覆盖量上下文**绝不允许跨段继承**——否则会伪造出一个看起来可信的数字。
  *  2026-09 回归审计实测：会话段的 S6/S14 曾号称"检查了 16 个 bundle 条目"，而它们实际展开的是 11352 个事件。 */
 function resetCoverage() { coverageContext = null; }
 /** 求值阶段（env/profile/session/catalog）。覆盖量的**单位属于阶段**，不属于展示用的 section——
  *  目录提供的检查会带 section:'env'/'profile'，但它们在 catalog 阶段求值（回归审计实测）。 */
-let currentPhase = null;
 function setPhase(p) { currentPhase = p; }
-function coverageNow() { return coverageContext; }
+function coverageNow() {
+  // 只接受**属于当前阶段**的上下文：这样"忘记在段边界重置"不可能再伪造出跨段的数字
+  // （变异测试发现：只靠 resetCoverage 的版本里，去掉重置后没有任何测试变红——守卫是冗余的；
+  //  绑定阶段后，守卫才有牙齿。）
+  return coverageContext && coverageContext.phase === currentPhase ? coverageContext : null;
+}
 
 function report(section, id, ok, detail, fix, src, examined) {
   // R6 接口律：参数放错位置必须**立刻抛**，而不是变成一条静默的错误判定。
@@ -250,8 +255,8 @@ function report(section, id, ok, detail, fix, src, examined) {
   // 回退到上下文 0 → 一条本该 pass 的检查被静默降级。凭记忆拼参数是可以通过机制消灭的。
   // R6 扩展（2026-09 回归审计）：**参数个数**守卫。JS 会静默忽略多余参数，而我只校验了类型——
   // 于是"多传一个 undefined"这类错误（我给 S11 补覆盖量时就犯了）能一路走到运行时。
-  if (arguments.length > 7) {
-    throw new Error(`report(${id}): 最多 7 个参数 (section, id, ok, detail, fix, src, examined)，收到 ${arguments.length} 个 —— 检查参数位置`);
+  if (arguments.length > 8) {
+    throw new Error(`report(${id}): 最多 8 个参数 (section, id, ok, detail, fix, src, examined, examinedWhat)，收到 ${arguments.length} 个 —— 检查参数位置`);
   }
   if (typeof examined !== 'number' && examined !== undefined) {
     throw new Error(`report(${id}): examined 必须是 number 或 undefined，收到 ${typeof examined}（${JSON.stringify(examined)}）——检查参数位置`);
@@ -262,7 +267,11 @@ function report(section, id, ok, detail, fix, src, examined) {
   if (typeof section !== 'string' || typeof id !== 'string' || typeof ok !== 'boolean' || typeof detail !== 'string') {
     throw new Error(`report(): 前四个参数必须是 (section:string, id:string, ok:boolean, detail:string)`);
   }
-  const zeroCheck = typeof examined === 'number' ? examined : coverageNow()?.n;
+  // 红队 F1（2026-09-16）：**不得**用阶段占位值顶替真实数量。
+  // 实测反例：3 个「幽灵 bundle」（一个都没装）时，15 条通过项带上 `examined=3, examinedWhat="bundle 条目"`，
+  // 其中 P21 的文案是"扫描 0 个 host 入口与 0 个 client 产物"——**文案与覆盖量自相矛盾**，
+  // 而 verified=16 让聚合层宣称"16 项通过"。占位值把"零对象不变量"整个架空了。
+  const zeroCheck = typeof examined === 'number' ? examined : undefined;
   if (ok === true && zeroCheck === 0) {
     // 2026-09 语料发现的措辞缺陷：原实现把原判定文案原样留下 → 出现"结构正常（无可检查对象，未做任何比较）"
     // 这种**自相矛盾**的句子（既宣称正常、又说没比较）。原文案改放 note（机器可读），人读文案只陈述事实。
@@ -278,9 +287,14 @@ function report(section, id, ok, detail, fix, src, examined) {
   const safeDetail = String(detail).replace(VERDICT_GLYPH_RE, '·');
   const rec = { section, id, ok, detail: safeDetail, fix, src: src ?? 'builtin', phase: currentPhase };
   if (ok === true) {
-    const ctx = coverageNow();
-    const n = typeof examined === 'number' ? examined : ctx?.n;
-    if (typeof n === 'number') { rec.examined = n; if (ctx?.what) rec.examinedWhat = ctx.what; }
+    // 只有显式申报才算数；`examinedWhat` 也必须与**同一处**申报配套（由调用点传 what）
+    if (typeof examined === 'number') {
+      rec.examined = examined;
+      // 第 8 个参数是**覆盖量单位**（与 examined 配套申报，避免"数量对不上单位"的旧问题）
+      // 单位**只能**由第 8 个参数显式申报。绝不按"数量恰好相等"去继承——
+      // 那会让"检查了 3 个文件"的 P15 被贴上"3 个 bundle 条目"的标签（我第一版就这么错了）。
+      if (typeof arguments[7] === 'string') rec.examinedWhat = arguments[7];
+    }
     else rec.coverage = 'unreported';
   }
   results.push(rec);
@@ -350,15 +364,19 @@ function aggregateVerdict(records) {
   const failed = records.filter((r) => !r.skip && !r.ok);
   const verified = records.filter((r) => !r.skip && r.ok && (r.examined ?? 0) > 0).length;
   const skipped = records.filter((r) => r.skip).length;
-  const totals = { verified, skipped, failed: failed.length };
+  // 红队 F1：**未申报覆盖量的通过**既不算"已验证"，也不能隐形——单独计数并进汇总
+  const unreported = records.filter((r) => !r.skip && r.ok && r.coverage === 'unreported').length;
+  const totals = { verified, skipped, failed: failed.length, unreported };
   if (failed.length) return makeVerdict('fail', { totals, detail: `${failed.length} 个问题` });
   if (verified === 0) {
     return makeVerdict('skip', { totals, reason: `没有任何检查实际验证过（${skipped} 项全部跳过）` });
   }
   if (skipped > 0) {
-    return makeVerdict('pass', { checked: verified, totals, detail: `${verified} 项通过、${skipped} 项未检查（skip）——**未检查的部分不代表通过**` });
+    const unrep = unreported > 0 ? `；另有 ${unreported} 项通过但**未申报检查了多少**（不算已验证）` : '';
+  return makeVerdict('pass', { checked: verified, totals, detail: `${verified} 项通过、${skipped} 项未检查（skip）${unrep}` });
   }
-  return makeVerdict('pass', { checked: verified, totals, detail: `全部通过（${verified} 项，均已验证）` });
+  const unrep2 = unreported > 0 ? `（其中 ${unreported} 项未申报覆盖量）` : '';
+  return makeVerdict('pass', { checked: verified, totals, detail: `全部通过（${verified} 项已验证${unrep2}）` });
 }
 
 /** 解析 --profile 参数：名字（如 web）→ $DSH_HOME/profiles/<name>；含路径分隔符/~/开头 → 直接当 profile 目录（契约 harness 传绝对路径）。 */
@@ -839,6 +857,83 @@ function checkProfile(name) {
     }
   }
 
+  // P23：bundle **真的自带了一份宿主机包的副本**（社区 #6789）
+  //
+  // 报告的现象：`@deepseek-ai/dsh-experimental-browser-use-runtime` 把 `@deepseek-ai/dsh-scope` 写成普通 dependency，
+  // 于是 profile 里出现**第二份实例** → 两份的 Symbol/协议不匹配 → "第一个会话能用、之后每个会话都失败"。
+  //
+  // 三轮红队把这条检查打穿过三次，教训是**判"代理"而不是判"条件"**：
+  //   · 第一版只看 manifest 键名（`dependencies` 里有 `@deepseek-ai/*`）→
+  //     副本**真的躺在盘上**但 manifest 没写时完全失明（红队 F1）；`optionalDependencies`（F2）、
+  //     `npm:`/`file:` 别名（F3）全漏；同 scope 的**插件依赖**被误报（F5）；
+  //     bundle 装在父层 `profiles/node_modules` 时整条跳过（F4）。
+  // 现在改为**判条件本身**：
+  //   ① 扫 bundle 自己的 `node_modules/@deepseek-ai/*`（真实存在的副本才报——这才是 #6789 的状态）；
+  //   ② 再看 `dependencies`/`optionalDependencies` 里指向宿主包的**别名**（`npm:` 前缀或键名本身就是宿主包名）；
+  //   ③ "是不是宿主机包"用 `resolveHostVersion`（profile nm + 父层两根）判定，**不用裸前缀**（修 F5）；
+  //   ④ 解析根与 `resolveHostVersion` 一致（含父层，修 F4）；排除 `_quarantined` 与本身就是 bundle 的插件包（F5/F6）。
+  {
+    const roots23 = [join(dir, 'node_modules'), join(dirname(dir), 'node_modules')];
+    const bundleSet = new Set(bundles.map(String));
+    const quarantined23 = new Set((manifest._quarantined ?? []).map((q) => String(q.name ?? q)));
+    const resolveBundleDir = (b) => roots23.map((r) => join(r, String(b))).find((d) => existsSync(join(d, 'package.json'))) ?? null;
+    // 判定"这是宿主库还是插件"用**内容**，不用锚点也不用裸前缀——
+    // 教训链：① 只看 manifest 键名 → 副本躺在盘上也失明（红队 F1）；
+    // ② 改用 CLI 安装树（installAnchor）→ 它依赖 PATH 里的 node_modules/.bin，
+    //    实测**本机也是 null**，于是永远判不出宿主包（等于静默失效）；
+    // ③ 现在：读**副本自己的 manifest** —— 带 `dsh.bundle`/`dsh.client` 的是**插件**（依赖它是正确写法，红队 F5），
+    //    不带的才是**宿主库**（出现第二份副本即 #6789 的条件）。
+    const isPluginPkg = (mf) => Boolean(mf && mf.dsh && (mf.dsh.bundle || mf.dsh.client));
+    const readPkg = (d) => { try { return readJsonReportingBom(join(d, 'package.json')).data; } catch { return null; } };
+    let scanned23 = 0;
+    const issues23 = [];
+    for (const b of bundles) {
+      if (quarantined23.has(String(b))) continue;
+      const bdir = resolveBundleDir(b);
+      if (!bdir) continue; // 解析不到 → 由 P1 负责
+      scanned23++;
+      // ① 真实存在的第二份副本
+      let nested = [];
+      try { nested = readdirSync(join(bdir, 'node_modules', '@deepseek-ai')); } catch { /* 无嵌套目录 */ }
+      for (const n of nested) {
+        const full = `@deepseek-ai/${n}`;
+        const nestedDir = join(bdir, 'node_modules', '@deepseek-ai', n);
+        const nmf = readPkg(nestedDir);
+        if (!isPluginPkg(nmf)) {
+          issues23.push(`${b} 自带**宿主库**副本 ${full}${nmf?.version ? `@${nmf.version}` : ''}（嵌套在它自己的 node_modules 里，P5 只看顶层所以看不到）`);
+        }
+      }
+      // ② 别名 / optional 指向宿主包
+      let mf23 = null;
+      try { mf23 = readJsonReportingBom(join(bdir, 'package.json')).data; } catch { /* 忽略 */ }
+      for (const field of ['dependencies', 'optionalDependencies']) {
+        for (const [k, v] of Object.entries(mf23?.[field] ?? {})) {
+          const target = /^npm:(@deepseek-ai\/[^@]+)@/.exec(String(v));
+          const name = target ? target[1] : (k.startsWith('@deepseek-ai/') ? k : null);
+          if (!name || bundleSet.has(name)) continue; // 同 scope 的插件依赖插件 = 正确写法（F5）
+          // 目标落在 profile 两根里且**不是插件** → 是宿主库被当普通依赖引入（会带来第二份副本）
+          const dirs = roots23.map((r) => join(r, name)).concat([join(bdir, 'node_modules', name)]);
+          const found = dirs.map(readPkg).find((m) => m && !isPluginPkg(m));
+          if (found) issues23.push(`${b} 用 ${field} 引入宿主库 ${name}${target ? `（别名 ${k} → ${v}）` : ''}`);
+        }
+      }
+    }
+    if (issues23.length) {
+      report('profile', 'P23', false,
+        `已装 bundle 自带**宿主包的第二份副本**（${issues23.length} 处 / 扫过 ${scanned23} 个 bundle）——`
+        + `两份实例的 Symbol/协议不匹配时，典型症状是"第一个会话能用、之后每个会话都失败"（社区 #6789：\`dsh-scope\`）：\n  `
+        + issues23.slice(0, 5).join('\n  ')
+        + (issues23.length > 5 ? `\n  …另有 ${issues23.length - 5} 处` : ''),
+        '在该插件的 package.json 里把宿主机包从 dependencies/optionalDependencies 改为 **peerDependencies**（宿主机包由宿主共享根提供）；'
+        + '若副本是构建产物带进来的，清理其 node_modules 后重装；并向上游报告该发布缺陷',
+        undefined, scanned23, '已装 bundle');
+    } else {
+      report('profile', 'P23', true,
+        `已装 bundle 均未自带宿主包副本（扫过 ${scanned23} 个 bundle 的 node_modules 与依赖声明）`,
+        undefined, undefined, scanned23, '已装 bundle');
+    }
+  }
+
   // P20 / P21：第三方插件把整棵插件树拖垮的两种**静态可判**形态（社区 #6693 实测）
   // 报告者在 host 侧 `apply()` 里连续撞了两个独立致命错、client 侧撞了两个静默白屏错；
   // 其核心抱怨是"唯一的诊断入口被故障本身摧毁"。这两条都不需要执行插件代码即可判定。
@@ -885,7 +980,7 @@ function checkProfile(name) {
         + `systemd 健康、端口在听、页面永远空白（#6693 实测：整份 journal 里该错误计数为 0）`,
         '把 client 半边改成 `__ModuleLoader__.load({ id, factory })` 的 CJS 工厂形态（参照 dsh-better-sidebar / dsh-dream-skin）');
     } else {
-      report('profile', 'P20', true, `client 产物均为 CJS 工厂形态（${p20scanned} 个）`);
+      report('profile', 'P20', true, `client 产物均为 CJS 工厂形态（${p20scanned} 个）`, undefined, undefined, p20scanned, 'client 产物');
     }
 
     // P21：**沙箱专属符号在普通插件里不存在**（host 与 client 两侧一律如此，同一根因两个面）
@@ -937,9 +1032,9 @@ function checkProfile(name) {
         + `\n  host 侧表现为 \`ReferenceError: harness is not defined\`（在 \`apply()\` 内同步抛出 → cordis 中断装载链 → Web UI 整体不可用）`,
         '移除这些引用或用宿主提供的等价能力；若确需守卫，必须写成 `typeof X !== \"undefined\"` **放在最前**——`X.foo && …` 挡不住（裸标识符先被解析）');
     } else if (notes21.length) {
-      report('profile', 'P21', true, `未见裸引用沙箱专属符号（${notes21.length} 处有 typeof 守卫，未计入）`);
+      report('profile', 'P21', true, `未见裸引用沙箱专属符号（${notes21.length} 处有 typeof 守卫，未计入）`, undefined, undefined, hostFiles.length + clientFiles.length, 'host/client 文件');
     } else {
-      report('profile', 'P21', true, `扫描 ${hostFiles.length} 个 host 入口与 ${clientFiles.length} 个 client 产物，未见沙箱专属符号引用`);
+      report('profile', 'P21', true, `扫描 ${hostFiles.length} 个 host 入口与 ${clientFiles.length} 个 client 产物，未见沙箱专属符号引用`, undefined, undefined, hostFiles.length + clientFiles.length, 'host/client 文件');
     }
   }
 
@@ -997,7 +1092,7 @@ function checkProfile(name) {
       report('profile', 'P19', true,
         `核对 ${checked19} 条 host peer 声明，均可接受当前核心版本`
         + (unknown19 ? `（${unknown19} 条无法判定，按未知处理未计入）` : '')
-        + undeclaredNote.replace(/\n\s*/g, ' '));
+        + undeclaredNote.replace(/\n\s*/g, ' '), undefined, undefined, checked19, 'host peer 声明');
     }
   }
 
@@ -1227,7 +1322,7 @@ function packageNamedExports(pkgDir) {
     }
   }
   if (entryIssues.length) report('profile', 'P11', false, `已装 bundle 的 main 入口缺失（#1965：市场装源码不跑构建 → ERR_MODULE_NOT_FOUND → dsh web boot 崩溃）: ${entryIssues.join('; ')}`, '在插件目录跑构建（pnpm install && pnpm run build 产出 main 指向的文件），或改用打包好的 npm 包安装；monorepo 插件需装子包（dsh-market #18 同族）');
-  else report('profile', 'P11', true, '已装 bundle 的 main 入口产物均在', undefined);
+  else report('profile', 'P11', true, '已装 bundle 的 main 入口产物均在', undefined, undefined, bundleDirs.size, '已装 bundle');
 
   // P13：client 端服务名抢注核心客户端服务（#2752：ctx.provide("chatFileMentions") 撞核心 dsh-client-ui-deliverables
   // → 浏览器端 service already registered → Web UI 白屏，服务端日志无感知、报错无冲突来源）
@@ -1418,7 +1513,7 @@ function packageNamedExports(pkgDir) {
       + '改用 [IO.File]::WriteAllText($p, (Get-Content $p -Raw), (New-Object Text.UTF8Encoding $false))；'
       + '或 sed -i "" "1s/^\xEF\xBB\xBF//" <file>', undefined, bomTargets.length);
   } else {
-    report('profile', 'P15', true, `关键文件无 BOM 头（检查 ${bomTargets.length} 个）`, undefined, undefined, bomTargets.length);
+    report('profile', 'P15', true, `关键文件无 BOM 头（检查 ${bomTargets.length} 个）`, undefined, undefined, bomTargets.length, '关键文件');
   }
 
   /* P16：插件命名导入的导出缺失检测（#5864：一个缺失导出 → 整棵插件树 boot 崩溃循环、
@@ -1522,7 +1617,7 @@ function packageNamedExports(pkgDir) {
   if (p17Issues.length) {
     report('profile', 'P17', false, `client 端 require 的模块不在宿主模块表（#5719：makeRequire 硬 throw → 浏览器白屏且服务端无感知）: ${p17Issues.join('; ')}`, `改用宿主提供的模块名；若确由宿主提供，在本包 package.json 的 dsh.client.external/inject 里声明；平台种子当前 ${CLIENT_SEEDS.size} 项、已装图行 ${composedRows.size} 项`);
   } else {
-    report('profile', 'P17', true, `client 端 require 的 specifier 均可服务（平台种子 ${CLIENT_SEEDS.size} 项 + 已装图行 ${composedRows.size} 项）`, undefined);
+    report('profile', 'P17', true, `client 端 require 的 specifier 均可服务（平台种子 ${CLIENT_SEEDS.size} 项 + 已装图行 ${composedRows.size} 项）`, undefined, undefined, CLIENT_SEEDS.size + composedRows.size, 'client specifier 来源');
   }
 }
 
@@ -2164,6 +2259,8 @@ function validCatalog(data) {
 
 /** 拉取目录：新鲜缓存(≤TTL) → 远程(raw.githubusercontent，3s 超时) → 旧缓存(last-known-good) → 内置副本；末尾合并本地覆盖层。 */
 async function loadCatalog({ noRemote = false, fetchImpl, home = HOME, localPath } = {}) {
+  // 离线开关（红队 F5：目录用例曾因取到远程目录而结果不可复现）——DSH_DOCTOR_OFFLINE=1 等价于 noRemote
+  if (process.env.DSH_DOCTOR_OFFLINE === '1') noRemote = true;
   const bundled = bundledCatalog();
   let base;
   if (noRemote || typeof fetchImpl !== 'function') {
@@ -2371,6 +2468,7 @@ function checkCatalog(ctx, catalog) {
     // 于是"没有目标可查"被记成**通过**（实测：无 profile 目录时 P6 仍 pass）。判据用探测自己的话：
     // **凡自述跳过的一律是 skip** —— 这类"文案与状态不一致"只能从结构上消灭，不能靠逐个改分支。
     if (!r.skipped && r.ok === true && /跳过|不适用/.test(String(r.detail))) r.skipped = true;
+    // R1（红队，2026-09-16；**曾被后续编辑覆盖回去，由离线目录用例抓回**）：自报 skipped 必须是 skip。
     if (r.skipped) { reportSkip(check.section, check.id, r.detail, 'catalog'); continue; }
     const severity = check.severity ?? 'error';
     catalogSeverity.set(check.id, severity);
@@ -3355,6 +3453,8 @@ async function run() {
       verified: aggJson.totals.verified,
       skipped: aggJson.totals.skipped,
       failed: aggJson.totals.failed,
+      // 红队 F1：未申报覆盖量的通过**单独暴露**（既不算已验证，也不隐形）
+      unreported: aggJson.totals.unreported,
       checks: checksWithStatus, catalog: catalogMeta, update: updateInfo, ...(securityMeta.enabled ? { security: securityMeta } : {}),
     }, null, 2));
   } else {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@moonquake2004/dsh-doctor",
-  "version": "0.8.2",
+  "version": "0.8.4",
   "description": "Offline diagnostic for DeepSeek Harness — 28 built-in + 5 catalog checks across env/profile/session (Layer A checks-as-data), self-update (Layer B), and a semi-automatic LLM observer (Layer C, --observe); Doctor panel in web UI settings.",
   "main": "lib/index.js",
   "files": [