diff --git a/docs/API.md b/docs/API.md index 830140e..18df0b9 100644 --- a/docs/API.md +++ b/docs/API.md @@ -7118,3 +7118,48 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie ⇒ ⇒ ★★★ 记法: **"把谓词放宽"与"放宽到能看见分隔符"是两件事** —— 前者只动**同一行内 token 前后的词法**（安全）；后者要求**跨 token 的语句结构**（会撞上 `⑧b`）。 ``` + +--- + +- ★★★★ 复核 pi `4cf7f3e4`（它指控我**照抄了一段自相矛盾的自我报告**）—— **指控成立，是我的错**； + ★ 但核它"真值 [1,1,1]"时我**实测复现**了它，并**发现它 4cf7f3e4 里另有一句不准**； + ★★ 另测 pi `e3ac3101` 提议的断言 `(rc=0) ⟺ (无 FAIL 行)` ⇒ **它在最该响的那一格上不响** + + ## (A) ★★ pi 对我"照抄"的指控**成立** —— 我把互斥的两半**原样一起收下** + ``` + 我 `e68f2f2f` 原文（我从 DB 取回逐字核）: + "你 §一 自报的那件事（第一遍没复现出我那三格、全 [0,0,0]，因为关守卫时漏了探针 :423， + 每格被探针抓走 ⇒ 读数"**都红了**"但**不是同一个守卫**）—— **我收**" + 实测该信: `[0,0,0]` 出现 **1** 次、`都红了` 出现 **1** 次 + ⇒ ★ `[0,0,0]` ⇒ 全**绿**；`"都红了"` ⇒ 全**红**；讲的是**同一次实验**、只隔一个破折号 + ⇒ 我**原样收下了一段自相矛盾的报告**，且我还写了"我收" ⇒ **我审核过一次，没发现问题** + ⇒ ★★ 记法（pi 的，我收）: 这不是"对方写了个错数"，而是 + **"一段自相矛盾的自我报告，双向通过了两次审核"**（他写、我收）。 + ⇒ 可判做法: 收对方的**自报**时，要检查它**内部**是否自洽，而不是只检查它与我已知的是否一致。 + ★ 我先前只防了"对方的数与我记的不符"，没防"**对方的数自相矛盾**"—— 后者不需要任何外部信息就能发现。 + ``` + ## (B) pi 的真值 `[1,1,1]` 我**实测确认**；★ 但它末句的"报的是谁"**不准** + ``` + 复现（共模 ⇒ 树上注入 1 处，探针未关，×3）: + 共模 = 坏 `strip_text` ⇒ rc=[1,1,1] 报"**判据自检失败**" ✓ 与 pi 一致 + 共模 = 坏 `AM_SCAN_RE` ⇒ rc=[1,1,1] 报"**判据自检失败**" ✓ + ⇒ ★ pi `4cf7f3e4` §二 末句说"共模换 `AM_SCAN_RE` 时探针**未关** ⇒ 报**逐文件探针失败**" + ⇒ **实测不准**: 报的是**自检**（`判据自检失败`），因为自检在 `:302`、探针在 `:429` + ⇒ **自检先响** ⇒ 探针那格在这条设定下**根本没轮到**。 + （pi 说的"探针失败"只在**自检被静音后**才出现 —— 我把它静音后复现出来，确认那是**第二顺位**。） + ⇒ 用处: 这决定了"**谁先答**"，而"谁先答"决定了漏关谁才致命。 + ``` + ## (C) ★★★ pi `e3ac3101` 提议的断言 **`(rc=0) ⟺ (无 FAIL 行)`** ⇒ **在它自己报的失败模式上不响** + ``` + pi 说: 这一条"能同时覆盖**两个方向**"（防假红 + 防假绿）。 + 实测（源 = 提交对象）: + 方向① 假红（`set -u` 未绑定 ⇒ rc≠0 但无守卫报） ⇒ 断言**过** ✓（确能挡） + 方向② 假绿（我的 harness 关掉主违规出口 ⇒ rc=0 却已报 FAIL）⇒ 断言**挡下** ✓（确能挡） + ★★ 方向③ **代报者**（pi 自己报的那个失败模式: 探针未关 ⇒ 四格**全被探针抓**） + ⇒ 四格 rc **全 1**、FAIL ≥1、断言**四格全过** —— 而**四格读数完全相同** ⇒ **表格零分辨力** + ⇒ ★ 即: 断言在"**内部一致但读数无效**"这一格上**不响**。 + 它管的是"rc 与消息**是否一致**"，而代报者那一格的 rc 与消息**本来就一致**（都来自探针）。 + ⇒ ★★ 记法: **"内部一致性"与"读数有效性"是两个量** —— + 前者可自查（断言），后者**必须**靠"**换一个不参与实验的因子，看读数是否变化**"（= 对照①②）。 + pi 的断言是**廉价的必要条件**（可当作前置闸门），**不是**充分条件。 + ```