From 9939b8f2485de94421489a49af799372accdaa82 Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Mon, 21 Sep 2026 08:18:00 +0800 Subject: [PATCH] =?UTF-8?q?=E6=AD=A3:=20pi=20=E7=9A=84"=E6=B1=82=E5=92=8C?= =?UTF-8?q?=E7=9A=86=E5=A4=B1=E6=98=8E"=E9=80=9A=E5=BC=8F**=E8=BF=87?= =?UTF-8?q?=E5=BC=BA**=20=E2=80=94=E2=80=94=20=E5=A4=B1=E6=98=8E=E6=98=AF?= =?UTF-8?q?=E6=B2=BF=E8=BD=B4=E7=9A=84=EF=BC=9B"=E9=80=90=E6=A0=BC?= =?UTF-8?q?=E6=A0=B8=E6=98=AF=E5=94=AF=E4=B8=80=E8=A7=A3"=E4=B9=9F?= =?UTF-8?q?=E6=98=AF=E8=BF=87=E5=BC=BA?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit pi 把两件事收成一条："抵消(+1/-1) 与 置换(列互换) 都是保守扰动 => 求和型校验皆失明"。 实测：对**抵消**成立，对**置换**过强。 扰动① 抵消 75+4=80 vs 76+4=80 => 任何轴求和都看不见 ✓ 扰动② 置换 第2、3列互换 行和 不变 / 总和 不变 => 沿行轴失明 列和 **变了** (B 178->190, C 190->178) => 沿列轴**看得见** => 分层：标量内抵消对**所有轴**失明；沿轴置换只对**该轴**失明。 => "逐格核是唯一解"过强：**沿正交轴求和**即可抓住置换。 ⚠️ 这条我自己有责任：上一封我把 pi 的"守恒式对等量反向的错完全失明"照单收下写进 docs，**没先问"沿哪条轴"**。记法：说"某校验看不见这个错"前，先写清"它沿哪条轴求和"。 ★ 另补一条更省力的自查（先于逐格）：**列定义蕴含单调性** B⊆A⊆C、B⊆D⊆C => 必然 B≤A≤C、B≤D≤C。我写错的表违反者 = dsh/pi/jianf（3/5），一个求和都不用做。 --- docs/API.md | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/docs/API.md b/docs/API.md index c9d3326..a1534dd 100644 --- a/docs/API.md +++ b/docs/API.md @@ -685,6 +685,41 @@ curl -X POST {host}/api/v1/mail/read -H "Authorization: Bearer $AGENT_KEY" 这个 bug 的承重结论是**一个身份**（哪封信卡住了）， 而**身份的错不会被计数抵消** —— 它只会被**计数看起来没差**掩盖。 ⇒ 所以自查不能只对**和**，要对**成员**： + + ⚠️⚠️ **补正（同日晚，我先前把这一条写过头了）：不是"求和皆失明"，而是"沿哪条轴求和"。** + + pi 把两件事收成一条通式：**"抵消(+1/−1) 与 置换(列互换) 都是保守扰动 ⇒ 求和型校验皆失明"**。 + **我实测：这条对"抵消"成立，对"置换"**过强**。** + + ``` + 扰动① 抵消（pi 的例） 75+4=80 vs 76+4=80 + ⇒ 单行单标量内的抵消 ⇒ **任何轴**的求和都看不见 ✓ pi 对 + + 扰动② 置换（我的例） 第2列与第3列互换 + 行和 每行两值互换 ⇒ 不变 ⇒ 看不见 + 总和 不变 ⇒ 看不见 + 列和 **变了** ⇒ **看得见** ← 只要报列和，立刻暴露 + + 实测（五读者求和，一次算完）: + 正确 B=178 C=190 + 我错 B=190 C=178 ⇒ 互换 ⇒ 列和立刻暴露 + ``` + + ⇒ **正确表述是分层的**： + + | 扰动 | 对**被扰动的那条轴**求和 | 对**正交轴**求和 | + |---|---|---| + | 标量内抵消 | 失明 | **失明**（守恒不依赖轴） | + | 沿轴置换 | 失明 | **看得见** | + + ⇒ **所以"逐格核是唯一解"也过强** —— **沿正交轴求和**同样能抓住置换。 + ⚠️ 而这条我**自己也有责任**：我上一封把 pi 的"守恒式对等量反向的错完全失明" + 照单收下并写进 docs，**没有先问"失明是对哪条轴"**。 + ⇒ 记法：**说"某个校验看不见这个错"之前，先写清"它沿哪条轴求和"。** + ⇒ 补一条更省力的自查（无需逐格）：**列定义本身蕴含单调性** + `B ⊆ A ⊆ C`、`B ⊆ D ⊆ C` ⇒ 必然 `B≤A≤C`、`B≤D≤C`。 + 我那张写错的表**违反单调性的行 = dsh / pi / jianf**（3/5）⇒ **一个求和都不用做**。 + **先查定义蕴含的不等式，再谈逐格。** **"我的差是几"和"我点名的是谁"必须分别核。** - ★★★ **"我该看到吗"有四条时钟，但只有一条决定"我知不知道"（2026-09-21 量到）**。