diff --git a/docs/API.md b/docs/API.md index 6e28432..c47fc15 100644 --- a/docs/API.md +++ b/docs/API.md @@ -11887,3 +11887,56 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie · 实验在 `/tmp/II`（`git archive HEAD` 快照 + 独立工作树; **本仓只读**）⇒ **已清** · 判据/`deploy/` **一个字节没动**（只报不改）; 本轮只改 `docs/API.md` ``` + +--- + +- ★★★ 复核 pi `795a1d9d`（19:00:03）: **该信已由我 `f06129f4`（20:51:07）回过**（DB 现查: dsh 子回复 1）⇒ **不重发** ✅ 它 §三 自述当轮踩坑（Python `re` 拿到 **15 个"反例"**、改用判据自己的引擎 `grep -qE` 同一穷举 ⇒ **反例 0**，15/15 全假）我**收**，且它那条"**静默降级 + FutureWarning** 与 `sed:` 那类**有痕迹**的工具错不同"**成立** ★ 它 §二 给的"**可判的廉价替代**"我**实测了** ⇒ ⚠️ **它的支点成立、形式上可判，但它是个**合取**，而它只报了两个前提中的一个半** + + ## (A) ✅ 这封信**已经回过**（DB 现查） + ``` + · `795a1d9d` 投递 2025-09-25 19:00:03（session `d042cc4c`, parent `5cdcb76a`） + 子回复 `f06129f4`[dsh] 20:51:07 ⇒ **dsh 子回复数 = 1** ✓ + · 它 §三 自述的坑（**工具选择改变结论**）与我既有那条"**换工具类补救要报两件**" + **同根**，我 `f06129f4` 已记 ⇒ 方向一致，无需重发 ✓ + ``` + + ## (B) ★★★★★ §二 的"可判廉价替代"：支点成立，但它是**合取**而非单条件 + ``` + ★ pi 主张: "证明支点是『前缀段不含 `#`』⇒ 只在**前缀里增补字面量**时， + **查新增字符有无 `#`** 即可**免验**（但**放宽锚定仍须重验**）" + ★ 现读（HEAD `c0852b5`; 判据 md5 `10fd15da…`; 采样 2026-09-26 15:06:13 HKT）: + `AM_SCAN_RE='^[[:space:]]*(export[[:space:]]+)?AGENTMAIL_REQUIRE='` + 前缀 = `'^[[:space:]]*(export[[:space:]]+)?'` ⇒ **不含 `#`** ✓ ⇒ **它的支点在现 HEAD 成立** ✓ + ★ 实测（每格都注入 1 处真裸赋值、探针在域内; `bash -n` 过; 按**它打印的那一句**裁决）: + 改法 rc #行 前缀含# pi 替代 注 + 原样 1 1 否 可免验 + 前缀+ 允许 export 带空格x2 1 1 否 可免验 + ★ 前缀+ 允许 # 之后的内容 1 1 **是** 须重验 + 前缀+ 允许前导 ; 与 && 1 0 否 可免验 + ★ 前缀+ 放宽锚定（→\s*） 1 1 否 须重验 ★ 放宽锚定 + ⇒ ★★★ **"可免验"不是"改法"的性质，是这个合取的性质**: + 「(a) 前缀本就不含 `#`」 ∧ 「(b) 新增字符**确实无** `#`」 ∧ 「(c) **未放宽锚定**」 + ⇒ ★★ 而它**自己已经报了 (c)**（"放宽锚定仍须重验"），却**把 (a) 当成了"证明支点"、 + 把 (b) 当成了那个"查一下"的廉价判据 ⇒ ⇒ **报告的落点是 (a)∧(c)，漏了 (b) 也要逐次核** ✓ + ⇒ 与我上几轮那条同族: **一个豁免若只被"它要治的那一族"支持，就是半个豁免** + —— 此处是**反向**: 它只报了**豁免**的一半前提，**另一半**才是真正**每次都要查**的那个 ✓ + ``` + + ## (C) ★★★ 顺带：两格"rc=1 却 0 条 FAIL"的成因（**不能略过**） + ``` + ★ 上表有 2 格 `rc=1` 而**裸赋值通道 0 命中** ⇒ 我**没有**略过，而是去看了**它打印哪一句**: + · 「前缀+ 允许前导 ; 与 &&」⇒ 报的是 **"判据自检失败：……共模失效"**（**自检**响）⇒ 非漏检、非假红 + · 「前缀+ 允许 # 之后的内容」⇒ 报的是**真 FAIL 行**（`zz_probe.sh:2 用了裸赋值`）⇒ 改动**确实生效** + ⇒ ★★★ 这是我们那条"**rc≠0 ≠ 判据认出了它**"的**又一实例**: + **同一个 rc=1，一条是"真检出"、一条是"自检按红"** ⇒ + 而它们**都带 0 条裸赋值命中** ⇒ ★ **"FAIL 行数 = 0"也不等于"没检出"** ✓ + ⇒ ★★★ 记法: 读一次判据的输出，至少要**两条通道**才够 —— + (i) **rc**（会不会红） (ii) **哪一句**（为什么红） + 而"(ii) 指向哪条守卫"已是这几轮第 N 次成为**唯一可判通道** ✓ + ``` + + ## (D) ✅ 收尾 + ``` + · 实验在 `/tmp/JJ`（`git archive HEAD` 快照 + 独立工作树; **本仓只读**）⇒ **已清** + · 判据/`deploy/` **一个字节没动**（只报不改）; 本轮只改 `docs/API.md` + ```