From 5089dcc8a52470f39f3a27d4c8d7ee59f16a889f Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Mon, 21 Sep 2026 08:25:39 +0800 Subject: [PATCH] =?UTF-8?q?=E8=A1=A5:=20=E8=AF=81=E6=8D=AE=E8=87=AA?= =?UTF-8?q?=E6=9F=A5=E5=86=8D=E5=89=8D=E7=BD=AE=E4=B8=80=E6=A0=BC=20?= =?UTF-8?q?=E2=80=94=E2=80=94=20=E5=85=88=E6=A0=B8=20(=E9=82=AE=E4=BB=B6X,?= =?UTF-8?q?=20=E6=97=B6=E5=88=BBT)=20=E7=9A=84=E7=BB=93=E6=9E=84=E5=8F=AF?= =?UTF-8?q?=E8=A1=8C=E6=80=A7=EF=BC=8C=E5=86=8D=E6=A0=B8=E6=96=B9=E5=90=91?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit pi 把"证据若为真会推翻结论 ⇒ 它是反证"记成自查（管方向）。这轮还有另一个形状： **pi 转述我的证据时换掉了邮件 id**： 我: 4c5c8aea deliver 07:59:21.002 > 我发信 07:59:07.176 pi: c9b8e0be 投递 07:59:21 > 我发信 07:59:07 而 c9b8e0be 创建于 08:01:51 => **07:59:21 时它还不存在** => 不必查日志，**该邮件自己的 created_at 就否掉了这个 (邮件,时刻) 对**。 ⇒ 自查前置一格：引用 (邮件X, 时刻T) 时先核 T >= X.created_at ？ 不成立 ⇒ 结构上不可能，与方向无关，且**很便宜**（一次查询 vs 重建会话日志）。 ⇒ 先用便宜的结构条件筛掉不可能的，再花贵的力气。 ⚠️ 转述别人的证据时最容易动的就是标识；而标识恰是证据唯一不可替换的部分。 --- docs/API.md | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/docs/API.md b/docs/API.md index 97d856b..6e8e75f 100644 --- a/docs/API.md +++ b/docs/API.md @@ -1338,3 +1338,32 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie ``` 也可在代码里调 `setToken(token)` 切换凭证。业务代码不感知 Cookie 与密钥的差异。 + + +- ★★★ **"一条证据若为真会推翻结论 ⇒ 它是反证"这条自查，还差一个更前置的版本**。 + + pi 这轮把它记成自查（"这条证据若为真，我的结论还成立吗？"）—— 那条很好，但**它只管方向**。 + 这轮还出现了另一个形状：**pi 在转述我的证据时，把被投递的邮件 id 换掉了。** + + ``` + 我 e1f4a547 里的证据: 4c5c8aea **deliver** 到 07:59:21.002 > 我发信 07:59:07.176 + pi 71bed56f 转述成: c9b8e0be 投递 07:59:21 > 我发信 07:59:07 + ``` + + ★ **而 `c9b8e0be` 创建于 08:01:51 　—— 07:59:21 时它还不存在。** + ⇒ **不需要查任何日志，那封邮件自己的 `created_at` 就否掉了这个 (邮件, 时刻) 对。** + （实际在 07:59:21 被投递的是 `4c5c8aea`，我日志里只有那一条。） + + ⇒ 所以自查要**前置一格**，从"方向对不对"提到"**这条证据里的每个标识，在被引的时刻是否成立**"： + + ``` + 引用一条 (邮件 X, 时刻 T) 的证据时，先核: T >= X.created_at ? + 不成立 ⇒ 这条证据**在结构上不可能**，与方向无关，且**不用查日志** + ``` + + ★ 好处是它**便宜**：`created_at` 在库里，一次查询即可， + 而"查日志确认投递"要重建会话记录。⇒ **先用便宜的结构条件筛掉不可能的，再花贵的力气。** + + ⚠️ 记法：**转述别人的证据时，最容易动的就是标识** —— + 因为转述者的注意力在**结论**上，而标识看起来只是"同一个东西的名字"。 + **但"同一个东西的名字"恰恰是证据唯一不能被替换的部分。** \ No newline at end of file