@moonquake2004/dsh-doctor 0.7.1 → 0.7.2

package/CHANGELOG.md

@@ -16,6 +16,44 @@
 
 ---
 
+## [0.7.2] — 2026-09-16
+
+### 用新规则复查旧错误 —— **确认重复犯了同一个错**
+
+按 `docs/check-authoring-rules.md` 的 R1–R9 重新审前面犯过错的案例（尤其审 0.7.0/0.7.1 这批新代码）。
+结论：**是的，重复犯了，而且是"治症状"的典型**——我修了 #6788 那个**具体形态**，没修**这一类**。
+
+**① 同一个缺陷出现在三处输出路径**（R3 覆盖律只在 `report()` 里，而这些路径不走它）：
+
+| 路径 | 零对象时的行为（修前） |
+|---|---|
+| `--boot-check` | 打印"✓ 所有可探测 entry 均可导入"，退出码 0 |
+| `--safe-add` | `ok: true, stage: 'verified'` **并写入"已知良好"快照**——把"未验证"固化成"已验证" |
+| `--post-upgrade` | 打印"✓ 装载模拟通过"并写快照 |
+
+改为**唯一判定入口 `bootVerdict()`**（三处统一）：零对象一律 `skip`，**不写快照、不宣称通过**。
+按 R7 的问法——"如果它完全坏了，会打印什么？"——修前与健康时相同，即**不可证伪**；现在三态可区分。
+
+**② 清单机制不够**（R1/R5）：`docs/check-inventory.md` 曾**缺 8 个动态构造的 id**
+（`E1-node`/`E1-pnpm`/`E1-zstd`/`E7-dsh-in-path`/`E8-npmrc-workspace-flag`/`E9-storages-json-valid`/
+`E11-settings-writable`/`P6-patch-name-space`），即"查清单"可能查不到它们。现已补齐（**51 项、缺失 0**）。
+**范围重叠仍无自动检测**——见下。
+
+**③ 更正我自己的过度声称**（R8 的来历）：0.7.1 的 release note 写"P22 与 P15 重复那件事**由此可被拦住**"，
+但该机制只强制一次可见 diff，**并不检测重叠**。已在原处标注更正。
+
+**④ R4 隔离律远未落地**：复查 profile/env 段的读取，**14 处疑似未加保护**，抽查 3 处
+（`readFileSync(patchFile)`、`JSON.parse(readFileSync(.../package.json))`、`readFileSync(patchPath)`）
+**全部确认在 try 之外**。此前只修了 manifest 那一处。
+
+**⑤ 规则集本身缺两条，已补**（这是复查最有价值的产出）：
+- **R8 断言强度律**：断言的强度不得超过证据（复现过 > 读过代码 > 推断；一个样本 ≠ 全体；**机制存在 ≠ 机制足够**）。
+  **这是唯一一条没有机制的规则**，已明确标注为待补。
+- **R9 版本漂移律**：宿主收紧前置条件后，先假设 **fixture 失真**而不是代码坏了
+  （0.1.6-alpha.1 收紧 loader 后，我们多个 fixture 悄悄变成不合法输入，测试还绿着）。
+
+测试 122 → 124。
+
 ## [0.7.1] — 2026-09-16
 
 把"事后总结"变成**规则 + 机制**（`docs/check-authoring-rules.md`）。起因是用户指出：一次次的修复是头疼医头，
@@ -33,7 +71,10 @@
   **落地当天它就抓出了我自己另外 5 处同类错误**——这一类从此可由机制消灭，不必靠小心。
 - **R5 唯一归属律 / R1 来源律**：新增 `scripts/gen-check-inventory.mjs` 生成 `docs/check-inventory.md`
   （43 项，含段、范围、来源），并加 CI 断言"清单与代码一致"。
-  于是"加检查前先查清单"不再是自觉，而是**一次可见的 diff**——P22 与 P15 重复那件事由此可被拦住。
+  于是"加检查前先查清单"不再是自觉，而是**一次可见的 diff**。
+  ⚠️ **更正（同日复查）**：我最初写的是"P22 与 P15 重复那件事**由此可被拦住**"——**这是过度声称**：
+  该机制只强制一次可见 diff，**并不检测范围重叠**；而且清单当时还**缺 8 个动态构造的 id**。
+  现已补齐清单（51 项、缺失 0），并把"机制存在 ≠ 机制足够"写成了规则 R8。
   清单中**尚有 8 项未标注权威来源（R1 欠账）**，如实列出。
 - **R3 收尾**：环境段补齐覆盖量（每个环境探针各检查一个对象），**全环境覆盖量欠账 18 → 0**；
   CI 断言"空环境下未报告覆盖量的 pass 必须为 0"（此前只是打印数字）。

package/dsh-doctor.mjs

@@ -2712,8 +2712,13 @@ function safeAdd(profileArg, pkg) {
     return { ok: false, stage: 'install', restored: true, exit: install.status };
   }
   const results = runBootCheckSync(profDir);
-  const failed = results.filter((r) => r.status === 'failed');
-  if (!failed.length) {
+  const verdictAdd = bootVerdict(results);
+  const failed = verdictAdd.failed;
+  if (verdictAdd.state === 'skip') {
+    // 零对象：**不写"已知良好"快照、不宣称已验证**——否则"未验证"会被固化成"已知良好"
+    return { ok: true, stage: 'unchecked', checked: 0, failed: 0, reason: verdictAdd.reason };
+  }
+  if (verdictAdd.state === 'pass') {
     writeSnapshot(profDir, bootSnapshot(profDir));
     return { ok: true, stage: 'verified', checked: results.length, failed: 0 };
   }
@@ -2733,6 +2738,25 @@ function safeAdd(profileArg, pkg) {
   return { ok: true, stage: 'quarantined', quarantined, failures: failed.map((f) => `${f.bundle}/${f.id}: ${f.kind} ${f.error}`) };
 }
 
+
+/**
+ * **装载模拟的唯一判定入口**（R3 覆盖律的中央落实）。
+ *
+ * 来历：同一个缺陷曾出现在**三处**输出路径（--boot-check / --safe-add / --post-upgrade）——
+ * "零 entry 可探"被当成"通过"，其中 --safe-add 还会写"已知良好"快照。
+ * 我最初只修了 --boot-check 那一个实例（#6788 的具体形态），没修这一类。
+ * 所以判定必须只在一个地方：任何"探测了 0 个对象"的运行都是 **skip**，不是 pass；
+ * 也不得据此写快照（否则"未验证"会被固化成"已知良好"）。
+ */
+function bootVerdict(results) {
+  const failed = results.filter((r) => r.status === 'failed');
+  if (failed.length) return { state: 'fail', failed, checked: results.length };
+  if (results.length === 0) {
+    return { state: 'skip', failed: [], checked: 0, reason: '启动列表里没有任何 entry 可探测，未做装载模拟（这不等于通过）' };
+  }
+  return { state: 'pass', failed: [], checked: results.length };
+}
+
 /** 同步版装载模拟（--safe-add 内部用；与 --boot-check 同一逻辑） */
 function runBootCheckSync(profileDir) {
   const out = [];
@@ -2894,7 +2918,10 @@ async function run() {
     }
     console.log(`升级后复检（基线取自 ${String(base.at).slice(0, 16)}）：`);
     for (const l of lines) console.log(`  · ${l}`);
-    if (!failed.length) {
+    const verdictPost = bootVerdict(results);
+    if (verdictPost.state === 'skip') {
+      console.log(`  ⊖ ${verdictPost.reason}——**不改写已知良好基线**`);
+    } else if (verdictPost.state === 'pass') {
       console.log('  ✓ 装载模拟通过——升级未破坏任何可探测 entry');
       writeSnapshot(profDir, nowSnap);
     } else {
@@ -2968,7 +2995,22 @@ async function run() {
           console.log('  ——若本次启动失败，上面这些就是首要嫌疑。');
         }
       }
-      if (!failed.length) writeSnapshot(profDir, curSnap); // 只有通过时才更新"已知良好"快照
+      // R3 覆盖律（2026-09 复查）：**"零检查对象"不得等于"通过"**。
+      // 这个输出路径不走 report()，所以 report() 里的不变量盖不到它——实测它曾对空启动列表打印
+      // "✓ 所有可探测 entry 均可导入"。这正是 R7 要问的那句："如果它完全坏了，会打印什么？"
+      // 答案与健康时相同 ⇒ 不可证伪。故这里把"检查了 0 个对象"单列为 skip（不更新快照、不宣称通过）。
+      const verdict = bootVerdict(results);
+      const vacuous = verdict.state === 'skip';
+      if (vacuous) {
+        if (jsonOut) {
+          console.log(JSON.stringify({ ok: true, skip: true, reason: '启动列表为空：没有任何 entry 可探测，未做装载模拟', profile: profDir, checked: 0, failed: 0, drift, results }, null, 2));
+        } else {
+          console.log(`装载模拟（${profDir}）：⊖ 无可检查对象——启动列表为空，**未做任何装载模拟**（这不等于"通过"）`);
+          console.log('  若你预期这里有插件：检查 profile 的 dsh.profile.bundles 是否为空，或插件是否装到了别的 profile。');
+        }
+        process.exit(0);
+      }
+      if (!failed.length) writeSnapshot(profDir, curSnap); // 只有**实际检查过且通过**时才更新"已知良好"快照
       if (jsonOut) {
         console.log(JSON.stringify({ ok: failed.length === 0, profile: profDir, checked: results.length, failed: failed.length, drift, results }, null, 2));
       } else {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@moonquake2004/dsh-doctor",
-  "version": "0.7.1",
+  "version": "0.7.2",
   "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": [