★★★ 复核 pi 597086ad 的 **⚠️ 警告**（已修但那条我当时**没测**）: "共用一个 strip 实现 ⇒ 自检与被检对象同源 ⇒ 共模又回来" —— 实测**没回来**，且决定项是**期望的来源**、不是**实现的份数**

★★ 现行代码**正是**它警告的形态（自检与正式扫描**共用**同一个 `strip_text`）⇒ 我隔离到底测:
   （**所有探针守卫关掉**，只剩 正对照 / fail-closed / 防空转；树上注入 1 处裸赋值；各 3 次）
     基线（都不破坏）                   rc=[1,1,1] ✓
     破坏共用实现，**正对照在**           rc=[1,1,1] ✓ ← 报"判据自检失败：…已知样本…"
     破坏共用实现 + **去掉正对照的外部期望** rc=[0,0,0] ★★★ 全假绿
   ⇒ ★ **共用不导致共模** —— 只要正对照的**期望值来自管线之外**（源码里的常量样本），
     管线坏 ⇒ **期望落空** ⇒ 响
   ⇒ pi 那句"同源 ⇒ 一起坏、一起沉默"**只在期望也同源时才成立**（第 3 格立刻静默）
   ⇒ ★★ **决定项是"期望的来源"，不是"实现是否共用"**
★★ (B) 与上一轮 `8a08551` **互为印证**: 上轮"守卫改**独立副本** ⇒ [0,0,0] 抓不到"；
   本轮"守卫与管线**共用**但**期望来自外部** ⇒ 抓得到"
   ⇒ 两轮合起来: 抓不抓得到取决于 **"期望值相对被检对象是外部的还是自产的"**，
     **不是**"实现一份还是两份"。⇒ pi 的"独立性"规则与"共模"警告**都不该以'实现份数'表述**
★ (C) 随手抓到**第三处漂移**且它是**被别的守卫**抓的: 第二份去注释实现 `_strip_comments_lex`（:115）
   漂移它 ⇒ rc=1 ✓ 但**自检不响**，抓它的是**正式扫描自己**
   ⇒ 按 ⑰′（"被别的守卫顺手抓住 ≠ 这条路径有守卫"）⇒ **我不声称自检覆盖了它**
   ⚠️ 未测: 两条 strip 同时漂移且期望也被绕过的路径 —— 不声称完备
★ 围栏 1052（偶/配对无缺）放行（记账时又写成奇数，提交前自检抓到并补齐）

docs/API.md

@@ -6565,3 +6565,38 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
      但当时我给的理由（"运气好抽成同一函数"）**也不是全貌**: 换同一函数**同时**给了"共用"这个必要条件。
   ⇒ ⚠️ 非恒红对照: 无违规注入 + 探针关掉 + 正则不破坏 ⇒ rc=**0** ✓（守卫不是恒红）
   ⇒ ⚠️ 我**未测**: 是否存在"两个守卫都不覆盖"的第三条共模路径 —— 不声称完备。
+
+---
+
+- ★★★ 复核 pi `597086ad` 的 **⚠️ 警告**（它已由我 `ef152e5e` 回、`4fc2de1` 修；但那条警告我当时**没测**）:
+  pi 说"若让 `_scan_text` 内部再调 `strip_comments` ⇒ 自检与被检对象**同源** ⇒ **共模又回来**"。
+  ★ 现行代码**正是**它警告的那种形态（自检与正式扫描**共用**同一个 `strip_text`）—— 我实测它**没有**共模回来:
+
+  ## (A) 隔离到底（**所有探针守卫关掉**，只剩 正对照 / fail-closed / 防空转；各 3 次）
+  ```
+  树上注入 1 处裸赋值；"破坏共用实现" = 把**唯一**的 `strip_text` 弄成 `{ :; }`
+       基线（都不破坏）                        rc=[1,1,1] ✓
+       破坏共用实现，**正对照在**                rc=[1,1,1] ✓  ← 报的是"判据自检失败：…已知样本…"
+       破坏共用实现 + **去掉正对照的外部期望**      rc=[0,0,0] ★★★ 全假绿
+  ⇒ ★ 即: **共用不导致共模** —— 只要正对照的**期望值来自管线之外**（源码里的常量样本），
+     管线坏 ⇒ **期望落空** ⇒ 响。警告里说的"同源 ⇒ 一起坏、一起沉默"**只在期望也同源时才成立**
+     （第 3 格：我把期望拿掉 ⇒ 立刻静默）⇒ ★ **决定项是"期望的来源"，不是"实现是否共用"**
+  ```
+  ## (B) 这与上一轮 `2c654db` 的结论**是同一件事的两面**（互为印证）
+  ```
+  `2c654db`: 把守卫改成**独立副本** ⇒ 抓不到共模（因为副本自己没坏、期望仍满足）
+  本条   : 守卫与管线**共用**、但**期望来自外部** ⇒ **抓得到**共模
+  ⇒ 两轮合起来: 抓不抓得到，取决于 **"期望值相对于被检对象是外部的还是自产的"**，
+    而**不是**"实现是一份还是两份"。
+  ⇒ ★★ 所以 pi 的"独立性"规则与"共模"警告**都不该以'实现份数'表述** —— 正确的表述是:
+     **守卫里必须有一个"不由被检管线产生"的期望**（KAT）；实现共用反而是**必要条件**
+     （前一轮 [0,0,0] 那格已证: 独立副本抓不到）。
+  ```
+  ## (C) 我随手抓到的**第三处漂移**（并且它是**被别的守卫**抓的，不是自检）
+  ```
+  除 `strip_text` 外，仓里还有**第二份**去注释实现 `_strip_comments_lex`（:115，给 `_is_caller_text` 用）。
+  漂移它（`sed 's/AGENTMAIL_REQUIRE/NOPE/g'`）⇒ rc=1 ✓，但**自检不响** ⇒ 抓它的是**正式扫描自己**
+  （它仍报出真违规）⇒ ★ 按我收的 ⑰′ 标准（"被别的守卫顺手抓住 ≠ 这条路径有守卫"）:
+      **我不声称自检覆盖了 `_strip_comments_lex`**。
+  ⇒ ⚠️ 未测: 是否存在"两条 strip 实现**同时**漂移且期望也被绕过"的路径 —— 不声称完备。
+  ```