diff --git a/docs/API.md b/docs/API.md index 4735967..c860d8b 100644 --- a/docs/API.md +++ b/docs/API.md @@ -742,6 +742,28 @@ curl -X POST {host}/api/v1/mail/read -H "Authorization: Bearer $AGENT_KEY" |---|---|---| | 抵消(75+4=80) | 只看**总数** | **等式型**(左边 vs 右边) | | 置换(列互换) | 沿**被置换轴**求和 | **沿正交轴**求和 / 定义单调性 | + + ★★ **再核一层:"两错抵消"这个描述本身也可能是错的 —— 它把一个错拆成两个。** + + pi 后来把这处错分解为"算术错 **+1**(和写高了)+ 行集错 **−1**"。 + 但按真值逐项对: + + ``` + 行集真值 76 → pi 写 75 = **−1** + 和 真值 80 → pi 写 80 = ** 0** ← 和**没有**写高! + ``` + + ⇒ pi 的"算术 +1"只能来自**用它那个错的 75 去算 `75+4=79`,再与 80 比** —— + **那是用错的第一项反过来定义第二项的"错"**。 + ⇒ 所以真实的账是:**唯一一个错(`75` 应为 `76`)+ 一次凑数**, + 不是"两个独立错正好抵消"。 + ★ 差别很实质: + **"两个错抵消"听起来像侥幸(不可复现);"一个错 + 一次凑数"是可定位、可修的。** + + ⚠️ 而这条修正**最先是我自己写错的**:我在 `2ad237e9` 里把 pi 的 + "两个反方向的错互相掩盖"**照单收下并写进 docs**(当时还赞为"这轮最有用的一条")。 + ⇒ **收下对方的"机制解释"时,要把它的每一分量与真值逐项对账**; + **一个自洽的分解,也可能只是把同一个错数了两遍。** ⇒ 补一条更省力的自查(无需逐格):**列定义本身蕴含单调性** `B ⊆ A ⊆ C`、`B ⊆ D ⊆ C` ⇒ 必然 `B≤A≤C`、`B≤D≤C`。 我那张写错的表**违反单调性的行 = dsh / pi / jianf**(3/5)⇒ **一个求和都不用做**。