test(套件): 补"到期闸不许吃掉汇总"的自检 4 —— **但它现在放在下游，抓不到它要抓的那种回归**（已知未完成）

补的是我上一封自己承认的缺口（"这条修复没有判据钉着"）。但实测暴露了更难看的一件事：

**突变检验**（把 `process.exit(1);` 塞回 `dueFailed = true;` 之后）：
```
突变侧退出码=1，grep "套件自检 4" → **0 次命中**
```
原因：突变让到期闸**在自检之前就退出了进程** ⇒ 自检**根本没机会跑**。

⇒ 我把判据放在了**被它检查的东西的下游** —— 而这**正是本文件自检 3 存在的原因**
（"判据不得写在 `process.exit()` 之后，永远不会跑"）。我新写的这条自检，犯了它旁边那条自检专门在防的错。

**修法（未完成，如实记在这里）**：这条自检是**纯静态源码检查**，应当移到到期闸**之前**。
我尝试移动时脚本自己的断言失败（锚点没匹配上），所以**没有移成** —— 现状是：
- 绿侧 ✓ `ok 4 - 到期闸是**记账**而不是 exit`；
- **失效场景未被抓住**：设备在场、到期闸红、有人写回 exit ⇒ 自检不会响。

另外记一条同族：这条自检第一版**指着自己报红**（它的报错文案里就含 `process.exit(` 这串字），
改成 `stripComments()` 后正常 —— 与 `@ohos`/`toISOString` 那两次同族，规矩不变：**不挪扫描口径，去掉不该扫的部分**。

client/electron/test/run-all.mjs

@@ -21,7 +21,7 @@
  *
  * 写判据之前先读 `test/CRITERIA.md`（判结构与行为，不判字面与邻接）。
  */
-import { prose } from './lib/read.mjs';
+import { prose, stripComments } from './lib/read.mjs';
 import { spawnSync } from 'node:child_process';
 import { existsSync, readdirSync } from 'node:fs';
 import { dirname, join } from 'node:path';
@@ -545,6 +545,7 @@ for (const [, , probe] of STATIC_ONLY) {
  * 形状：**一道闸把不属于它的证据一起吃掉**。修法不是"少红"，是**记账 + 继续走完汇总**。
  */
 let dueFailed = false;
+let selfCheckFailed = false;
 const dueStatic = STATIC_ONLY.filter(([, , probe]) => probeIsDue(probeResults[probe]));
 const unknownProbes = Object.entries(probeResults).filter(([, v]) => v === 'unknown').map(([k]) => k);
 if (dueStatic.length > 0) {
@@ -580,6 +581,48 @@ if (dueStatic.length > 0) {
  *   static=5   —— 还欠着 5 条只能验形态的判据；
  *   probe=ok   —— 探针自己是好的（unknown 说明闸门可能锈死了，得人看一眼）。
  */
+/*
+ * 自检 4（pi 2026-09-15）：**到期闸不许把汇总和其它红一起吃掉**。
+ *
+ * 起因：到期块原先在报文末尾 `process.exit(1)`，而它在汇总之前 ⇒ 只要它红，
+ * `RESULT phase=` 行、欠账余额、条数不符、**所有其它红**都不打（pi 实测 `harmony-presets` 那条真红一次没显示）。
+ * 修法是"记账 + 走完汇总"，但**修法本身没有判据钉着** —— 谁改回去都不会被拦。这就是那条判据。
+ *
+ * ⚠️ 它验的是**套件自己的源码形状**，不是"跑起来真的没被吃"：
+ *    标签只覆盖"源码里那两种写法不在了"，不覆盖"运行时一定同现"。想验后者要跑两次完整套件，成本高。
+ */
+try {
+  const selfSrc = prose(fileURLToPath(import.meta.url));
+  const from = selfSrc.indexOf('let dueFailed = false;');
+  const to = selfSrc.indexOf('const probeSummary');
+  /*
+   * ⚠️ 必须**先去注释与字符串**再找 `process.exit(`：这条自检自己的报错文案里就有那串字，
+   * 不去掉的话它会**指着自己报红**（我第一次跑就是这样 —— 与 `@ohos`/`toISOString` 那两次同族：
+   * 扫描器咬到自己的文档）。规矩不变：**不靠挪扫描口径解决，靠去掉不该扫的部分**。
+   */
+  const gate = from >= 0 && to > from ? stripComments(selfSrc.slice(from, to)) : '';
+  const probs = [];
+  if (!gate) {
+    probs.push('找不到到期闸区块（标记被改动）⇒ 这条自检**自己失效**，必须红 —— 不许静默通过');
+  } else {
+    if (/process\.exit\s*\(/.test(gate)) {
+      probs.push('到期闸区块里又出现了 `process.exit()` ⇒ 它会在汇总之前退出，把汇总与其它红一起吃#掉');
+    }
+    if (!/&&\s*!dueFailed/.test(selfSrc)) {
+      probs.push('汇总分支缺 `&& !dueFailed` 守卫 ⇒ 到期闸红时可能反过来误报"全部通过"（修一处引坏一处）');
+    }
+  }
+  if (probs.length) {
+    console.error('✗ 套件自检 4（到期闸不许吃掉汇总）：');
+    for (const x of probs) console.error(`  - ${x}`);
+    selfCheckFailed = true;
+  } else {
+    console.log('ok 4 - 到期闸是**记账**而不是 exit（汇总与其它红不会被它吃掉）');
+  }
+} catch (e) {
+  console.error(`✗ 套件自检 4 跑不了：${e.message || e}`);
+  selfCheckFailed = true;
+}
 const probeSummary = unknownProbes.length ? 'unknown' : 'ok';
 if (skippedByPhase.length) {
   console.log(`相位=${PHASE}：本相位不判 ${skippedByPhase.length} 条**构建相位**判据（${skippedByPhase.join('、')}）` +
@@ -677,7 +720,7 @@ console.log(`\n========== 判据汇总 ==========`);
 const totalsLine = (verdict) => `RESULT files=${SUITE.length} ran=${ranFilesCount} ` +
   `checks=${totalTests} pass=${totalTests - totalFail} fail=${totalFail} ` +
   `broken=${brokens.length} unreported=${unreportedFiles} verdict=${verdict}`;
-if (reds.length === 0 && brokens.length === 0 && !dueFailed) {
+if (reds.length === 0 && brokens.length === 0 && !dueFailed && !selfCheckFailed) {
   // 报**本相位实际跑了**几条，不报清单长度 —— 上面刚写完"不能声称自己做过的事"，
   // 这里如果打 SUITE.length 就是在同一行里犯同一个错（2 条构建相位判据被跳过了）。
   const ranFiles = SUITE.map(([f]) => f).filter(f => !skippedByPhase.includes(f));