★★★ 自查: 我那张四格表**判据用错了**（看 rc）—— 我的关守卫脚本把**主违规退出**也关了 ⇒ rc 那列不可采信；改用**消息身份**复验 ⇒ **结论不变（仍 1 绿 3 红）**

★★ (A) 我的错: 关守卫写法是"把 `[FAIL]` 行之后最近的 `exit 1` 换成 `:`"，
   而**违规主报**（`…:135 用了裸赋值`）后面也有 `exit 1` ⇒ 被一起关掉 ⇒ **rc 不再反映"抓到没有"**
   实测: 有注入时输出含 `[FAIL] …:135 用了裸赋值` 而 rc=**0** ⇒ 自相矛盾
   ⇒ ★ 这是"**rc≠0 ≠ 判据认出了它**"的**对偶**: **rc=0 也可能已经报出来了** ——
     先前只记了前一半（`set -u` 造的假红），这次撞到后一半（**我自己的脚本造的假绿**）
★★ (B) 改按**消息身份**复验（不看 rc；守卫用**注释 printf 行**静音，不动 exit）:
       共用+外部 ⇒ 正对照**响** ✓ ／ 共用+自产 ⇒ 否 ／ 独立+外部 ⇒ 否 ／ 独立+自产 ⇒ 否
   ⇒ 仍 **1 绿 3 红** ⇒ **合取「共用 ∧ 外部期望」结论不变**，且判据与研究对象对齐
   （问"**正对照那一句**响没响"，而非一个被我自己改过的退出码）
★★ (C) 这正是我提议给 pi 的"全绿对照"要防的东西 —— 我先把**自己**防了，并把它**更新为两个对照**:
       ① 全绿对照: 无注入 ⇒ 应 rc=0 且**无 FAIL**
       ② 全红对照: 有注入 + 不破坏因子 ⇒ 应 rc=1 且**报出的正是那条真违规**
   本处 ① 过、② **不过**（有注入时 rc=0 但消息对）⇒ 故把判据由 rc 换成**消息身份**
★ 围栏 1090（偶/配对无缺）

docs/API.md

@@ -6831,3 +6831,38 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
      若**它已经 rc=1** ⇒ 说明有守卫在**无条件地**报 ⇒ 所有格的红都不可采信。
      （本处正是如此: 漏关探针时，四格的红全部来自探针而非被研究因子。）
   ```
+
+---
+
+- ★★★ 自查: 我先前那张四格表**判据用错了**（看 rc），改按**"报的是哪一句"**复验 ⇒ **结论不变**（仍 1 绿），
+  且这次顺带量出一条**我自己的 harness 缺陷** —— 它正是我刚提议给 pi 的那条"全绿对照"要防的东西
+
+  ## (A) 我的错: 我用 `rc` 判四格，而我的"关守卫"脚本把**主违规退出**也关了
+  ```
+  我先前关守卫的写法: 把 `[FAIL]` 行**之后最近的 `exit 1`** 换成 `:`。
+  ⚠️ 违规主报的那句 `[FAIL] …:135 用了裸赋值` 后面**也有** `exit 1`（`:506` 附近的 `fails>0` 分支）
+     ⇒ 被我的脚本一起换成 `:` ⇒ **rc 不再反映"有没有抓到"** ⇒ 那一列读数**不可采信**
+  ⇒ 实测: 有注入时输出含 `[FAIL] deploy/install.sh:135 用了裸赋值` 而 rc=**0** ⇒ 自相矛盾
+  ⇒ ★ 这正是"**rc≠0 ≠ 判据认出了它**"的**对偶**: **rc=0 也可能已经报出来了** ——
+     我先前只记了前一半（bash 的 set -u 造出的假红），这次撞到后一半（我自己的脚本造出的假绿）
+  ```
+  ## (B) 改按**消息身份**复验（不看 rc；守卫用注释 `printf` 行静音，不动 `exit`）
+  ```
+       实现     期望     正对照响?
+       共用     外部     **是** ✓
+       共用     自产     **否**
+       独立     外部     **否**
+       独立     自产     **否**
+  ⇒ ★ 仍 **1 绿 3 红** ⇒ **合取「共用 ∧ 外部期望」的结论不变**，且这次**判据与研究对象对齐**
+     （问的是"**正对照这一句**响没响"，而不是一个被我自己改过的退出码）
+  ```
+  ## (C) 这正是我提议给 pi 的"全绿对照"要防的东西 —— 我先把**自己**防了
+  ```
+  我提议: 先跑"无违规注入 + 不破坏任何因子"，若**已 rc=1** ⇒ 有守卫无条件地报 ⇒ 红的不可采信
+  ★ 本处暴露的是**对偶**情形: 不是"无条件下红"，而是"**rc 被我的脚本改坏**" ⇒ 红绿都不可读
+  ⇒ 完整做法（我更新这条）: 判别实验在采信前要跑**两个**对照 ——
+       ① 全绿对照（无注入 ⇒ 应 rc=0 且**无 FAIL**）
+       ② 全红对照（有注入 + 不破坏因子 ⇒ 应 rc=1 且**报出的正是那条真违规**）
+     两者都过 ⇒ 才说明"rc 与消息都在反映被研究的因子"；本处 ① 过、② **不过**
+     （有注入时 rc=0 但消息对）⇒ 于是我把判据从 rc 换成**消息身份**，才拿到干净读数
+  ```