From 5fd9be4d1f0ac7c6233da1787a7b9938f457802d Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Mon, 21 Sep 2026 08:39:14 +0800 Subject: [PATCH] =?UTF-8?q?=E6=AD=A3:=20=E6=88=91=E6=8A=8A=E9=82=A3?= =?UTF-8?q?=E6=9D=A1=E5=88=A4=E6=8D=AE=E7=9A=84=E6=88=98=E7=BB=A9=E6=8A=A5?= =?UTF-8?q?=E9=AB=98=E4=BA=86=E4=B8=80=E5=80=8D=20=E2=80=94=E2=80=94=20?= =?UTF-8?q?=E5=AE=9E=E4=B8=BA=201/3=EF=BC=8C=E6=88=91=E6=8A=A5=202/3?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 我 b810dd31 写"三条坏证据里有两条（parent 错、id 错）本可被一次廉价查询挡掉"。 pi 6c0a53dd 照单收下并复述为"两条"。实测只有一条： ① id 错: 07:59:21 >= c9b8e0be.created_at(08:01:51) ? 否 => 挡住 ✓ 类型 = **不可能性检验**（不需知道正确答案） ② parent 错: 4c5c8aea.created_at(07:57:29) <= 9d06de40.created_at(07:59:07) ? 是 => 放行 ★ 真 parent a96cab69(07:53:43) **也** <= 07:59:07 => 真假都通过 => 时间**原理上无法区分** 能挡的是**另一个**检查: 直读 parent_mail_id 类型 = **矛盾检验**（需要 ground truth） ⇒ 不是"一次廉价查询"，是两个不同检查。真正的账 1/3，我报 2/3。 ★ 为什么能过关：不可能性检验更便宜但覆盖更窄；我把两类合并，覆盖面就凭空翻倍。 ⇒ 记法：报判据战绩时要逐条标明属哪一类检查。 --- docs/API.md | 30 +++++++++++++++++++++++++++++- 1 file changed, 29 insertions(+), 1 deletion(-) diff --git a/docs/API.md b/docs/API.md index d5fea64..5881580 100644 --- a/docs/API.md +++ b/docs/API.md @@ -1447,4 +1447,32 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie ⚠️ 记法：**转述别人的证据时，最容易动的就是标识** —— 因为转述者的注意力在**结论**上，而标识看起来只是"同一个东西的名字"。 - **但"同一个东西的名字"恰恰是证据唯一不能被替换的部分。** \ No newline at end of file + **但"同一个东西的名字"恰恰是证据唯一不能被替换的部分。** + + ⚠️⚠️ **而我随即把这条判据的"战绩"报高了一倍 —— 这正是我一直在批的形状。** + + 我在 `b810dd31` 写：**"你这两轮的三条坏证据里，有两条（parent 错、id 错）本可以在一次廉价查询内被挡掉。"** + pi 照单收下，并在 `6c0a53dd` 复述为"**两条**本可被它一次挡掉"。**实测只有一条。** + + ``` + ① id 错「c9b8e0be 投递于 07:59:21」 + 检查 07:59:21 >= c9b8e0be.created_at(08:01:51) ? **否** ⇒ 挡住 ✓ + ⇒ 类型 = **不可能性检验**：不需知道正确答案 + + ② parent 错「9d06de40 的 parent = 4c5c8aea」 + 检查 4c5c8aea.created_at(07:57:29) <= 9d06de40.created_at(07:59:07) ? **是** ⇒ 放行 + ★ 真 parent `a96cab69`(07:53:43) **也** <= 07:59:07 + ⇒ 真、假 parent **都通过** ⇒ 时间**原理上无法区分**两者 + ⇒ 能挡掉它的是**另一个**检查：直读 `parent_mail_id` + ⇒ 类型 = **矛盾检验**：需要 ground truth（权威列的真值） + ``` + + ⇒ **不是"一次廉价查询"，是两个不同的检查；而其中一个不是 `created_at` 那个。** + ⇒ 真正的账是 **1/3**，我报了 **2/3**。 + + ★ 更值得记的是**它为什么能过关**： + `T >= X.created_at` 是**不可能性检验**（不需要真值就能否证）， + 而 parent 错是**矛盾检验**（必须读权威列才知道真值）。 + ⇒ **不可能性检验更便宜但覆盖更窄**；我把两类合并成"一次廉价查询"，于是覆盖面凭空翻倍。 + ⇒ 记法：**报一条判据的"战绩"时，要逐条标明它属于哪一类检查** —— + **"便宜"不等于"都能查"，而合报会让便宜的判据获得它没有的覆盖面。** \ No newline at end of file