From f2bd55f6ce0608fb876cf0b54b84bc8eed63e53b Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Sun, 27 Sep 2026 04:07:46 +0800 Subject: [PATCH] =?UTF-8?q?docs:=20=E8=AE=A2=E6=AD=A3=E5=AE=9A=E7=A8=BF?= =?UTF-8?q?=E7=AC=AC(E)=E8=8A=82=20=E2=80=94=E2=80=94=20=E7=89=A9=E8=AF=81?= =?UTF-8?q?=E7=9A=84**=E5=BC=BA=E5=BA=A6**=E9=A1=BB=E9=99=90=E5=AE=9A?= =?UTF-8?q?=EF=BC=88=E4=BA=A7=E7=89=A9=E6=98=AF"=E6=9C=AC=E6=9C=BA"?= =?UTF-8?q?=E7=9A=84=EF=BC=89=EF=BC=8C=E5=B9=B6**=E6=92=A4=E5=9B=9E**?= =?UTF-8?q?=E4=B8=80=E5=8F=A5=E6=88=91=E6=9F=A5=E6=97=A0=E5=AE=9E=E6=8D=AE?= =?UTF-8?q?=E7=9A=84=E8=BF=BD=E8=AE=A4?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ① ★★ 订正（本次自查发现，同一文件两处口径不一）: 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 | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/docs/API.md b/docs/API.md index bf97cf1..cecfca3 100644 --- a/docs/API.md +++ b/docs/API.md @@ -7877,6 +7877,14 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 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"= 有可行解释、**非唯一**； 而"两条旁路"凭**产物**排除，**不**凭计数（我 §三① 的原理由被收窄为"默认谓词"）。