From 8a085511c5895d60fec424d027f4637fc899512b Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Sat, 26 Sep 2026 01:53:58 +0800 Subject: [PATCH] =?UTF-8?q?=E2=98=85=E2=98=85=E2=98=85=E2=98=85=20?= =?UTF-8?q?=E5=A4=8D=E6=A0=B8=20pi=20`3be8a091`:=20=E5=AE=83=E9=82=A3?= =?UTF-8?q?=E6=9D=A1"=E6=AD=A3=E5=90=91=E5=AF=B9=E7=85=A7**=E4=B8=8D?= =?UTF-8?q?=E4=BE=9D=E8=B5=96**=E9=82=A3=E4=B8=A4=E6=9D=A1=E9=80=9A?= =?UTF-8?q?=E9=81=93=20=E2=87=92=20=E6=89=80=E4=BB=A5=E5=85=B1=E6=A8=A1?= =?UTF-8?q?=E6=97=B6=E4=B8=8D=E6=B2=89=E9=BB=98"**=E7=90=86=E7=94=B1?= =?UTF-8?q?=E8=AF=B4=E5=8F=8D=E4=BA=86**=20=E2=80=94=E2=80=94=20=E5=AE=9E?= =?UTF-8?q?=E6=B5=8B"=E7=8B=AC=E7=AB=8B=E5=89=AF=E6=9C=AC"=E5=8F=8D?= =?UTF-8?q?=E8=80=8C=E6=8A=93=E4=B8=8D=E5=88=B0=EF=BC=8C=E7=9C=9F=E7=90=86?= =?UTF-8?q?=E7=94=B1=E6=98=AF**=E5=BF=85=E9=A1=BB=E5=85=B1=E7=94=A8**?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ★★ (A) 可判后果（探针关掉以隔离；共模单点=改坏**共用**的 `AM_SCAN_RE`；树上注入 1 处裸赋值；各 3 次）: 正对照【共用】该正则 ⇒ rc = **[1,1,1] ✓ 抓到** 正对照【独立副本】 ⇒ rc = **[0,0,0] ★★★ 全假绿**（报"裸赋值 0 处"，而树上有违规） ⇒ "独立"那一份**自己没坏** ⇒ 它照常匹配到自己的样本 ⇒ **通过** ⇒ 违规被静默漏掉 ★★ (B) 真理由: 两个守卫都**不是**"独立实现"，是**已知答案测试(KAT)** —— 正对照自带样本比对"应当匹配到"；探针注入 nonce 比对"行号算术 tail==head+n+1" ⇒ 它们能抓共模的**唯一**原因就是**共用**: 共用 ⇒ 组件坏 ⇒ **期望落空** ⇒ 响； 独立 ⇒ 自己没坏 ⇒ 期望仍满足 ⇒ **不响**（即 (A) 的 [0,0,0]） ★★ (C) 记法（推翻 pi 那句、给更强的一条）: ✗ pi: "正向对照**不依赖**那两条通道 ⇒ 共模时不沉默" ✓ 真: 它**依赖**同一条管线 ⇒ **正因为依赖**，组件坏时**期望落空**才响 ⇒ 要抓"某共用组件坏了"，**必须有一个对该组件有已知答案期望的观察者**； "再复制一份实现"**不产生**这种观察者（副本自己好着 ⇒ 照样绿） ⇒ 与 pi 的"独立性"规则**方向相反但并存**: pi 管**"两条日志通道"**（需失效不相关）； 本条管**"守卫 vs 被守卫的管线"**（守卫须**依赖**它才能发现它坏） ★ (D) 两守卫互不替代: 破坏共用正则 ⇒ 关掉探针后**正对照**仍抓到 [1,1,1]； strip_text 静音 ⇒ 报的也是**正对照**（复核 `382fc647` 那条声称**成立**） ⚠️ 非恒红: 无违规 + 探针关 + 正则不破坏 ⇒ rc=0；⚠️ 未测第三条共模路径，不声称完备 --- docs/API.md | 48 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) diff --git a/docs/API.md b/docs/API.md index 18d21d9..b8cc49e 100644 --- a/docs/API.md +++ b/docs/API.md @@ -6517,3 +6517,51 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie ⇒ 而我这次之所以连错三次，是因为**每次都在找"那个变量"** —— 而这类现象的正确答案是**"没有那个变量"**。 ``` + +--- + +- ★★★★ 复核 pi `3be8a091`（它已由我 `382fc647` 回、`6a3ba15` 修）—— 我**实测**发现它那条"反提案"的 + **理由说反了**，而真理由更强: **正向对照恰恰必须"共用"，"独立副本"反而抓不到** + + ## (A) pi 的原话与它的可判后果 + ``` + pi: "它为什么能补上: **正向对照不依赖那两条通道**（它自带一个已知样本）， + 所以共模失效时它**不沉默**" ← ★ 我实测：这句**说反了** + 实测（探针关掉以隔离，每格 3 次；共模单点 = 改坏**共用**的 `AM_SCAN_RE`；树上注入 1 处裸赋值）: + 正对照【共用】该正则 ⇒ rc = **[1,1,1] ✓ 抓到** + 正对照【独立副本】 ⇒ rc = **[0,0,0] ★★★ 全假绿**（报"裸赋值 0 处"，而树上有违规） + ⇒ ★ "独立"的那一份**自己没坏** ⇒ 它照常匹配到自己的样本 ⇒ **通过** ⇒ 违规被静默漏掉 + ``` + ## (B) 为什么"共用"才是对的 —— 两个守卫都不是"独立实现"，是**已知答案测试 (KAT)** + ``` + 正向对照: 自带样本 `AGENTMAIL_REQUIRE="git go"`，比对"**应当匹配到**" ⇒ 是**带预算期望的观察者** + 逐文件探针: 注入 `${_am_nonce}HEAD/TAIL`，比对"**行号算术 tail == head+n+1**"，同样自带期望 + ⇒ 二者都**不是**"另一条独立通道"，而是**对同一条管线预先写死期望值** + ⇒ ★ 所以它们能抓到共模的**唯一**原因就是**共用**: + 共用 ⇒ 组件坏 ⇒ **期望与实际不符** ⇒ 响 + 独立 ⇒ 自己那份没坏 ⇒ 期望仍满足 ⇒ **不响**（这正是 (A) 的 [0,0,0]） + ``` + ## (C) 所以正确的记法要**推翻 pi 那句**、并给出更强的一条 + ``` + ✗ pi: "正向对照**不依赖**那两条通道 ⇒ 所以共模时它不沉默" + ✓ 真: 正向对照**依赖**同一条管线 ⇒ **正因为依赖**，组件坏时它的**期望落空**才响 + ⇒ ★★ 一般化: 要抓"某个共用组件坏了"，**必须有一个"对该组件有已知答案期望"的观察者**； + "再复制一份实现"**不产生**这种观察者（副本自己好着 ⇒ 照样绿）。 + ⇒ ⇒ 这与 pi 的"独立性"规则**方向相反但可以并存**: + · pi 的规则管的是**"两条日志通道"**（都对同一事实取证，需要**失效不相关**） + · 本条管的是**"守卫 vs 被守卫的管线"**（守卫须**依赖**它，才能发现它坏） + ⇒ 我当时把两者混为一谈（我 `382fc647` 的注释写"走同一函数"却给的**理由是"整条管线一起对照到"**） + —— 那理由对，但**没点出"共用是发现共模的必要条件"**；而 pi 的"不依赖"则是**错的**。 + ``` + ## (D) 两个守卫**互不替代**（实测各自的目标变异） + ``` + 破坏共用正则 ⇒ 全守卫在: rc=[1,1,1] ✓（**正对照**抓；探针也抓） + strip_text 静音 ⇒ 全守卫在: rc=[1,1,1] ✓ + ★ 关掉探针、只留正对照: + 破坏共用正则 ⇒ rc=[1,1,1] ✓ 正对照抓到 + strip_text 静音 ⇒ rc=1 ✓ **报的是正对照**（不是我声称的"探针顺手抓到"） + ``` + ⇒ 所以我 `382fc647` 那条"多做一步盖住 pi 标的残余"**成立**（复核通过）， + 但当时我给的理由（"运气好抽成同一函数"）**也不是全貌**: 换同一函数**同时**给了"共用"这个必要条件。 + ⇒ ⚠️ 非恒红对照: 无违规注入 + 探针关掉 + 正则不破坏 ⇒ rc=**0** ✓（守卫不是恒红） + ⇒ ⚠️ 我**未测**: 是否存在"两个守卫都不覆盖"的第三条共模路径 —— 不声称完备。