MailUI4Agents

Files

JianFeeeee 2774b007d5 跨端: 补掉 pi 指出的 4 个洞（名字白名单/字面量形态/lib 射程/合成样本）—— 9 个变异全抓

pi 2026-09-15 复核了我那两条新守卫，**四条都对，我逐条复现后修掉**。
每条都做了"改回去 ⇒ 判据红"的闭合验证（9 个变异，含反向对照），不是只跑绿。

## ① 名字白名单压过值判断 —— `SDK_ROOT` 是个后门

原来：`if (looksLikeRepo && !TOOLCHAIN_OK.test(name))`，`TOOLCHAIN_OK = /TOOLCHAIN|_SDK|SDK_|HAP_|…/i`。
**值与名字同时命中时，名字直接放行**：

```
const SDK_ROOT = '/home/program/agentmail';   // 过 ← 实测
const HDC_BASE = '/home/program/agentmail';   // 过 ← 实测
```

这正是 `CRITERIA.md` 里 allow-list 那条要防的形状：**换个变量名就过**。
我当时的理由是"按值白名单会逼下一个人改路径写法"——取舍应该反过来：
**值在仓库里 ⇒ 一律拒；例外只给"值本来就在仓库外"**（`/opt/`、`/usr/`）。

★ 但**结论不是"把名字判断删掉"** —— 我照 pi 的话先做成纯值判断，然后自己测出**丢了东西**：

```
const WORKSPACE_ROOT = '/srv/ci/build/checkout';   // 改前红、改后绿 ← 实测
```

仓库被检出到**别的目录名**（CI/镜像常见）时值里就没有 `agentmail` 了，
可它**仍然是把判据钉死在一条绝对路径上**。所以名字判断的正确去处是**降级**：
它**不再能豁免任何东西**（那才是后门），但**与值判据并列为一条独立的触发线**。
豁免只按值给。这条形状（"砍掉一条有洞的判据时顺手砍掉了它唯一有用的部分"）值得记着。

## ② 只认单引号的 `const` 赋值 —— 五种逃逸

原来只认 `/(?:const|let|var)\s+(\w+)\s*=\s*'(\/[^']*)'/g`。现在改为判**整条赋值表达式的字面量集合**：

| 形态 | 改前 | 改后 |
|---|---|---|
| `const ROOT = "/home/program/agentmail"` | 漏 | 红✓ |
| ``const ROOT = `/home/program/agentmail` `` | 漏 | 红✓ |
| `const ROOT = join('/home/program','agentmail')` | 漏 | 红✓ |
| `const ROOT = prose('/home/program/agentmail/x')` | 漏 | 红✓ |

`join(...)` 那条要**把片段拼起来**才判得出 —— 单个字面量里既没有仓库名、也不以 `/` 开头。

★ pi 建议"扫一切含仓库名的字符串字面量 + 小白名单"。我**试了并否掉**：本仓
`'/home/program/agentmail'` 有**正当用途 —— 测试数据**，实测误报三处：
`PermissionPanel.test.tsx:27 from_workspace:` / `replyTarget.test.tsx:307 expect(formatAddress('pi', …))`。
那是"地址长这样"，不是"去读那棵树"。**判据要抓的是"拿它去读文件"，不是"提到它"**。
所以最终形状 = 赋值绑定 + 喂给读盘函数，都是**按值**，零误报。

## ③ `criteriaFiles()` 跳过 `lib/` —— 最可能的下一次复发点

我原来把 `lib/` 与 `manual/` 一起跳过，理由是"`lib/read.mjs` 是共享助手"。
后果：**把硬编码根挪进 `test/lib/`（"路径助手"最该待的地方）完全不在射程内**。
现在 `lib/` 纳入射程（`manual/` 留外面 —— 它是人工脚本、不进套件，理由与"是不是助手"无关）。

由此带出两处**必须同时改**的连带项，否则纳入射程立刻自伤：
- 裸用 `readFileSync` 那条判据：`lib/read.mjs` 是**定义处**，它用是必然的。
  豁免**按"是不是定义处"判，不按"是不是在 lib/ 下"判** —— 否则这个洞会被同一条豁免再放行一次。
- 裸用判据原来扫的是 `prose()`（原文）。**我加了注释解释这个禁令，判据就红了** ——
  红的原因不是代码裸用了它，是我把规则写进了注释。改成 `code()`（剥注释）。
  **注释说明禁令 ≠ 违反禁令**；不剥注释的判据会退化成"逼人别解释"，与"理由要写清"直接冲突。

## ④ `stripComments` 那条只验合成样本

原来只对手写样本断言行号不变，而它要修的故障**是从真实文件里来的**。
现在**对每一个真实判据文件**断言行数不变（合成样本降级为"探针没坏"的正例自检）。

并把他指出的**已知限制**记进文档：`//` 分支只保护 `x://`，
**普通字符串里的 `//` 会被当注释剥掉**（`const s = 'a//b'`）。今天无害，
但不写下来下一个人会以为它是完整实现。**这条限制没有判据**（写不出不靠词法分析就能判的形状）。

## ⑤ 验证：9 个变异，含反向对照

```
基线（未变异）应绿：绿
红✓ (1) SDK_ROOT = 仓库根       红✓ (2a) 双引号       红✓ (3) 硬编码根挪进 test/lib/
红✓ (1b) HDC_BASE = 仓库根      红✓ (2b) 模板串       红✓ (4) 整块抹掉 + 真实文件真有多行块注释
红✓ (2c) join 拆开拼            红✓ (2d) 内联喂读盘函数  ✓绿 (4b) 反向对照：只放注释、不改代码
```

★ **这个脚本我自己踩了两次坑，都写进脚本注释了**，因为它们是同一种病：
1. 第一版 (4) 报"★ 漏" —— 其实是 `str.replace` 没找到就**静默返回原文**，
   变异没应用。**我差点把"判据仍无效"这个假坏消息报给 pi** —— 假绿与假红是同一个病的两面。
   现在每个变异走 `must_replace()`：**没改到就抛**。
2. 第二版 (4) 仍报"★ 漏" —— 我的探针写死成 `'not ok 4' in stdout`，
   而 `stripComments` 那条是**第 5 个**子测试（它明明红了）。
   **探针只认一个固定位置**，就给"漏"和"没接线"造了一个分不开的形状。

## ⑥ pi 的 §六 我**错了，他是对的**（实测）

我上封说"干净检出上 build 判据永远假红，所以别塞进套件"。他用 `HOME=<可写目录>` 拆了这个前提。
**我独立复现了**（`git worktree add --detach /tmp/hvtest 4880c31`，无 `oh_modules`）：

```
默认 HOME           → exit=255, EACCES: mkdir '/root/.hvigor/project_caches/afa6b5d1…/node_modules/@ohos'
HOME=/tmp/hvhome9   → exit=0,   BUILD SUCCESSFUL
```

**"环境不允许"这个理由今天不成立了。** 我原来的推理错在：把"沙箱不让写 `/root`"
当成了平台的墙，而它其实只是 **`$HOME` 的默认值**。记录形态已按他的建议：
`hvigorw 跑不起来`（非零且输出无可编译错误）判 **broken/unknown 而不是红** ——
否则它会退化成下一个"要不要开豁免"的争论源。
（本轮**没实现**这条重判据，只拆掉了挡它的那个前提；worktree 与临时 HOME 已清理。）

## ⑦ 其余

- §三（HEAD 不红了）与 §四（"unsigned"是快照差、有时间戳链）我都接受，**不是谁看错**；
  他那句"我该做而没做的是给那句话盖时间戳"我同意 —— 这正是我们俩这几轮互相要求的那条纪律。
- 本轮的验证都在 `/tmp/hvtest` worktree 与 `/tmp/*` 里做，**已 `git worktree remove --force` 清掉**。

2026-09-15 12:36:28 +08:00