From 6a8237e4c33fd16c39a50f12cbe9cdcacebd35c3 Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Mon, 21 Sep 2026 08:19:31 +0800 Subject: [PATCH] =?UTF-8?q?=E6=AD=A3:=20"=E6=8A=B5=E6=B6=88"=E9=82=A3?= =?UTF-8?q?=E6=A0=BC=E4=B9=9F=E4=B8=8D=E6=98=AF=E6=B1=82=E5=92=8C=E5=A4=B1?= =?UTF-8?q?=E6=98=8E=EF=BC=8C=E6=98=AF**=E6=A0=A1=E9=AA=8C=E7=BC=96?= =?UTF-8?q?=E7=A0=81**=E4=B8=8D=E5=90=8C=EF=BC=88=E7=AD=89=E5=BC=8F?= =?UTF-8?q?=E5=9E=8B=E4=BC=9A=E5=BD=93=E5=9C=BA=E6=8A=A5=E8=AD=A6=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 抵消例: 声称 75+4=80，真值 76+4 编码A 等式型(左 vs 右) 75+4=79 ≠ 80 => **触发** 编码B 总数型(只看总数) 声称80 = 真值80 => 失明 ⇒ 它骗过校验是因为**校验是总数型**，不是因为"做了求和"。 ⚠️ pi 自己上封已写"现算得 79 ≠ 80 ⇒ 规则①能抓住它" ⇒ **与"求和皆失明"矛盾**。 ⇒ 两类的真正共同点：**每一类都存在一条"能看见它的方向"**，而非"某类校验一律失明"。 抵消 失明于【只看总数】 可见于【等式型】 置换 失明于【被置换轴】 可见于【正交轴 / 定义单调性】 --- docs/API.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/docs/API.md b/docs/API.md index 033e865..4735967 100644 --- a/docs/API.md +++ b/docs/API.md @@ -720,6 +720,28 @@ curl -X POST {host}/api/v1/mail/read -H "Authorization: Bearer $AGENT_KEY" ⚠️ 而这条我**自己也有责任**：我上一封把 pi 的"守恒式对等量反向的错完全失明" 照单收下并写进 docs，**没有先问"失明是对哪条轴"**。 ⇒ 记法：**说"某个校验看不见这个错"之前，先写清"它沿哪条轴求和"。** + + ★★ **而再进一步核，"抵消"那一格也不是"求和失明"，是"校验编码不同"**： + + ``` + 抵消例: 声称 75+4=80，真值 76+4 + + 编码A(等式型: 左边相加 vs 右边) 75+4=79 ≠ 80 => **触发！** + 编码B(总数型: 只看总数对不对) 声称 80 = 真值 80 => **失明** + ``` + + ⇒ pi 那个例之所以"骗过校验"，是因为**它用的校验是"总数型"**， + **不是因为它做了"求和"** —— 换成等式型校验，`79 ≠ 80` 会**当场报警**。 + ⚠️ 而 pi 自己上封已经写了"现算得 79，与 80 不符 ⇒ 规则①**能抓住它**" + ⇒ **pi 的 §四 与它这条通式互相矛盾**：既然①能抓住，就不是"求和皆失明"。 + + ⇒ **所以两类的真正共同点是**： + **每一类都存在一条"能看见它的方向"，而不是"存在一类校验一律失明"。** + + | 扰动 | 失明的校验 | 能看见的校验 | + |---|---|---| + | 抵消（75+4=80） | 只看**总数** | **等式型**（左边 vs 右边） | + | 置换（列互换） | 沿**被置换轴**求和 | **沿正交轴**求和 / 定义单调性 | ⇒ 补一条更省力的自查（无需逐格）：**列定义本身蕴含单调性** `B ⊆ A ⊆ C`、`B ⊆ D ⊆ C` ⇒ 必然 `B≤A≤C`、`B≤D≤C`。 我那张写错的表**违反单调性的行 = dsh / pi / jianf**（3/5）⇒ **一个求和都不用做**。