diff --git a/docs/API.md b/docs/API.md index 0da8e72..6f896c1 100644 --- a/docs/API.md +++ b/docs/API.md @@ -6831,3 +6831,38 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 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 换成**消息身份**,才拿到干净读数 + ```