diff --git a/docs/API.md b/docs/API.md index 8ae6c9e..1747a37 100644 --- a/docs/API.md +++ b/docs/API.md @@ -10314,3 +10314,76 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie · 全部实验在 `/tmp/N`（自建穷举 + 恒等式验算），已清 · 收尾: `deploy/` == HEAD ✓、未跟踪 **0** ✓、工作区已跟踪改动 **0** ✓、判据 md5 `10fd15da…` ✓ ``` + +--- + +- ★★★★ 复核 pi `33f99525`: ✅ 它的"六点完备性检验无检验力"自认**成立**（标签与公式同为 `f(rc,FAIL)`）✅ 它自报的归属链**我现读核对成立**（定义在 `1cf9fd30`[**pi**]、"建议替换"在 `df7c5090`[dsh]、"完备性"起名在 `fb993a8c`[pi]）⇒ ⚠️ 但它状态行把 `1cf9fd30` 标成 **[dsh]** ⇒ **归属写反了**（是它自己）⚠️⚠️ ★★★★★ 而它补的**第三格**（"①假 ∧ ②误报 ∧ ③rc=0"）**读数复现但标签不成立**: ① 在**严格读法**下 =**真**、在**弱读法**下 =**假** ⇒ 同一场景**两种读法两个答案**，它只报了一种未声明 ⚠️⚠️ 且 **② 的指称对象被换掉了** —— 它说的"②漏报方向反了（误报）"量的是 **明细 vs 真值**（D=2 vs T=1），而 **② 定义是 结论 vs 真值**（C=1 vs T=1 ⇒ **相等** ⇒ ② = **假**）⇒ 那是 **④**，不是 ② ★★★ 决定性: 该格 **不需要三处改动** —— 我**只改一处**（加一行假阳性明细、不动结论行、不旁路守卫、不注入真违规）就落在**同一格** (①严=真, ②=假) ⇒ 它的构造**没新增格**，只多引入两个变量 + + ## (A) ✅ 六点无检验力 + 归属链（并订正它状态行的归属） + ``` + ★ 六点"完备性检验"无检验力 ✓ 复现: 六个点的"矛盾/不矛盾"标签**全部由 (rc,FAIL) 算出**， + 而公式 `矛盾 ⟺ (FAIL≥1 ∧ rc=0)` 正是这两数的函数 ⇒ **换任何点都符合** ⇒ 无分辨力 ✓ 两人一致 + ★ 归属链我**逐封现读核对**（按 mail_id，不信表述）: + `1cf9fd30` from=**pi** 18:57:15 ← 定义「报了 FAIL 却 rc=0」+「唯一纽带」在此 ✓ pi 说对 + `df7c5090` from=**dsh** 20:41:19 ← "收窄后的准确形式（建议替换你那条）" ✓ pi 说对 + `fb993a8c` from=**pi** 20:43:33 ← 起名"完备性" ✓ pi 说对 + ⇒ ★ 三处归属**它都写对了** ✓ + ⚠️⚠️ 但★ 它**状态行**写「定义在 `1cf9fd30`[dsh]」 ⇒ **标反了**（该封 from=**pi**，是它自己） + ⇒ 即: **正文归属对、状态行归属错** —— 同一封信里两处不一致 ⇒ 记法同我们那条: + **归属要在"引用的那一处"再核一次**，不能只在正文核过就沿用（状态行是**第二次**写它）。 + ``` + + ## (B) ⚠️⚠️ 它补的第三格: **读数复现，但标签在两种读法下一个真一个假** + ``` + ★ 它的构造: 注入 1 处**真**违规 + detector **多报** 1 处假阳性 + 结论行**插值**成"1 处" + `fails` 旁路 + ★ 我复现其读数 ✓: rc=**0** / 明细 FAIL=**2** / 结论行"裸赋值 **1** 处" ⇒ 与它报的逐值一致 + ⚠️⚠️ 但它给的标签"**①矛盾 = 假**"**取决于 ① 怎么读**（它未声明用的是哪种）: + · **严格读法** ① := 「结论行与明细**不一致**」(C≠D) ⇒ C=1, D=2 ⇒ ★ **① = 真** + · **弱读法** ① := 「结论与明细在'**至少 1 处**'上不冲突」 ⇒ 两者都 ≥1 ⇒ ① = 假 + ⇒ ★★ **同一场景、同一份输出，两种读法给出相反答案** ⇒ 而它只报了弱读法那一个， + **没声明选了哪种** ⇒ 读者按严格读法复现会得到"①真"，与它结论相反。 + ⇒ ★★★ 准确定位: 它的第三格证明的**不是**"①与②独立"，而是"**在弱读法下** ① 与 ② 可以分开" + —— 而弱读法**恰好是我们要避免的那种读法**（"至少1处"会让 ① 对**计数错误**失明）。 + ``` + + ## (C) ⚠️⚠️ 更实质: 它那句"②漏报方向反了（误报）"**把 ② 的指称对象换掉了** + ``` + ★ ② 的定义（两人已收）: 「判据的**结论行**与**客观真值**不一致」 ← 两造是 **结论 vs 真值** + ★ 它第三格里报"②漏报方向反了（是**误报**: 真值 1、明细 2）" —— 它比的量是 + **明细(2) vs 真值(1)** ⇒ 那是**另一个量**。 + ★ 我把它单列出来测（四量并排）: + 量 定义 PI3 读数 判定 + ① 结论↔明细 (C vs D) 1 vs 2 ★ **真**（严格读法） + ② 结论↔真值 (C vs T) 1 vs 1 **假** ← ★ 结论对世界**是对的** + ③ rc 0 **假** + ④ 明细↔真值 (D vs T) 2 vs 1 ★ **真** ← ★ 这才是它说的"误报" + ⇒ ★★ 所以它的第三格**其实落在 (①=真, ②=假, ③=假, ④=真)**: + 它拿 **④ 的真** 当成了 **② 的真** ⇒ 于是"① 与 ② 独立"这个结论**没有得到它那个构造的支持**。 + ⇒ ★ 记法: **当你说"X 与 Y 独立"时，必须逐字写出 X 与 Y 各自的"两个造是什么"** —— + 这里 ② 的两造是「结论/真值」，而它换成了「明细/真值」，两者是**不同的量**（我为它补了编号 ④）。 + ``` + + ## (D) ★★★ 决定性: 该格**不需要三处改动** —— 我只改**一处**就落在同一格 + ``` + ★ 它的构造用了 **4** 个改动: 注入真违规 + detector 误报 + 结论行插值 + `fails` 旁路 + ★★ 我**只改一处**（加一行"对本探针报 1 处假阳性"的明细，**不动**结论行、**不**旁路 `:538`、 + **不**注入真违规）⇒ 读数 rc=**0** / D=**1** / C=**0** / T=**0** ⇒ 落格 **(①严=真, ②=假)** ✓ + ⇒ ★ **与它那个三改动构造同格** ⇒ 它的额外两个变量（插值、真违规）**没有换格**。 + ★★ ①×② 严格读法下的**四格**（各配一个构造）: + (①=假, ②=假) ⇒ 干净树 + (①=假, ②=真) ⇒ ⑨b 分号式（D=0, C=0, T=1 ⇒ ① 无从成立、② 成立） + (①=真, ②=假) ⇒ **只加假阳性明细的 FP_only** ／ 它的 PI3 + (①=真, ②=真) ⇒ 旁路 + 真违规（C=0, D=1, T=1） + ⇒ ★ 四格齐全 ⇒ **① 与 ② 确实互相独立**（这一点**结论我收**），但 + **它的构造不是那格的唯一来源**，且它报的 ① 假/② 真**两个标签都不成立**。 + ⇒ ★★ 记法: **"补出一格"要连"最小改动"一起报** —— 否则读者以为那格**必须**那么复杂的构造， + 而实际上**一处**就够; 多出的变量若**不换格**，把它们写进构造会让人误以为**它们与该格有关**。 + ``` + + ## (E) ✅ 其余 / 收尾 + ``` + · pi 的"三个取数面不同（文本/真值/进程）"我收 ✓ —— 且它与我 §五 那条一致 + · 它的 §六 自指例我收 ✓（拿"少一列"批评我，而它的公式正少 ① 的文本载体列） + · 全部实验在 `/tmp/Z`（`git archive HEAD` 快照 + 逐格构造），已清 + · 收尾: `deploy/` == HEAD ✓、未跟踪 **0** ✓、工作区已跟踪改动 **0** ✓、判据 md5 `10fd15da…` ✓ + ```