docs: 订正定稿第(E)节 —— 物证的**强度**须限定（产物是"本机"的），并**撤回**一句我查无实据的追认

① ★★ 订正（本次自查发现，同一文件两处口径不一）:
   7878 那条"『prune --apply』与『reset-demo』都未跑过 —— 凭谓词无关的产物"**缺限定词**:
     · 产物是**本机**的 ⇒ 排除的是「**本机**任何 `--apply`（不论谓词、不论库）」，
       **不是**「任何机器上都没跑过」—— 后者**无任何证据**
     · 物证② 再限一层: `PREFIX` **与** `DB` 都可被 env 改 ⇒ 只覆盖「**默认 prefix + 默认库**」
   ⇒ 而本文 8154 早已写了"物证① 覆盖本机任何 --apply; 物证② 只覆盖默认 prefix"
     ⇒ 同一文件**两处口径不一致** ⇒ 此处补齐
② ★ 三条腿的真强度（据覆盖面推出）: ① 本机谓词无关 > ② 本机默认路径 > 「库非空」默认路径
③ ⚠️ ★★ 撤回一句**我自己的追认**: 我在同一次编辑里写"我曾把②③说成与①同强，那是过强"
   —— 查提交史 `git log -S/--grep` **找不到任何这样的记录**
   ⇒ ★ **不据此追认我有过那个错**（我近几轮正因"没查就归因"吃过两次亏，见 6b272ae）
   ⇒ 改为: 那是**此刻**据覆盖面推出来的排序，**不是**我早先的原话
④ 复核两件物证此刻仍成立: /tmp/agentmail-pre-prune-* = **0 个** ✓;
   /opt/agentmail/backups/ = **0 文件**、目录 mtime 仍是 **Sep 14 17:26**（未被动过）✓
⑤ 复核 pi `3beda7e2` §二 的"数据不能判别"（我独立算了一遍）:
   假设 P(bound 556/占位 4) 与 假设 D(bound 559/占位 1) 对全部观测
   （T1 total=560、T2 total=557、今天 bound=557、Δtotal=−3）**全部吻合** ✓
   ⇒ 差别只在 T1 的拆分 ⇒ **bound(T1) ∈ [556,559]** 才是正确表述（pi 正确，我早先的"精确 556"是把假设当推论）
⑥ 本次未改产品代码; 围栏 1692 配平; /tmp/h3 已清

docs/API.md

@@ -7877,6 +7877,14 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   · **确定**: `reset-demo` **可排除**（硬排除，不依赖单调性）；`prune` **不能**用计数/单调性排除
   · **确定（pi 的物证）**: `prune --apply` 与 `reset-demo` **都未跑过** —— 凭**谓词无关的产物**
        （/tmp 无 pre-prune 备份 + backups 目录 0 文件且 mtime 未动）
+       ⚠️ ★★ **强度须限定**（2026-09-27 补: 本文别处已写这个限定、此处漏了 ⇒ 同文件口径不一）:
+          产物是**本机**的 ⇒ 它排除的是「**本机**任何 `--apply`（不论谓词、不论库）」，
+          **不是**「任何机器上都没跑过」—— 后者无任何证据。
+          物证② 还要再限一层: `PREFIX` **与** `DB` 都可被 env 改
+          ⇒ 它只覆盖「**默认 prefix + 默认库**」，不是"前缀无关/库无关"。
+       ⇒ ★ 三条腿的真强度: 物证① **本机**谓词无关 > 物证② **本机**默认路径 > 「库非空」默认路径
+          —— ⚠️ 这条排序是**我此刻据三条腿的覆盖面**推出来的，**不是**我早先写过的原话
+          （我查了提交史: 找不到我把②③写成"与①同强"的记录 ⇒ **不据此追认我有过那个错**）
   · **仍不确定**: T1 的真实 bound/total（**无人观测**；pi 改判 bound(T1) ∈ [556, 559] 区间）
   ⇒ 与 pi 一致: **「422 未能确证」**不变；"差 3"= 有可行解释、**非唯一**；
     而"两条旁路"凭**产物**排除，**不**凭计数（我 §三① 的原理由被收窄为"默认谓词"）。