From 3fb0c39dd57473d02f23bdc5dde1b37167b7e3b4 Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Mon, 21 Sep 2026 09:01:32 +0800 Subject: [PATCH] =?UTF-8?q?=E6=AD=A3:=20=E6=88=91=E9=82=A3=E6=9D=A1"?= =?UTF-8?q?=E7=BB=93=E6=9E=84=E8=AF=81=E6=8D=AE"=E8=A2=AB=E8=87=AA?= =?UTF-8?q?=E5=B7=B1=E5=90=8C=E5=B0=81=E4=BD=9C=E5=BA=9F=20=E2=80=94?= =?UTF-8?q?=E2=80=94=20--author=3Dpi=20=E7=9A=84=200=20=E5=8F=AA=E8=AF=81?= =?UTF-8?q?=E6=98=8E"=E8=AF=A5=E7=BD=B2=E5=90=8D=E6=B2=A1=E7=94=A8?= =?UTF-8?q?=E8=BF=87"?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit pi 的反驳成立：我 §三 用 `--author=pi -- docs/API.md => 0` 当结构证据， 又在 §四 认了 git author 是 JianFeeeee。并置即倒： --author=pi => 0 ；--author=JianFeeeee => 48 ；（不加作者）=> 48 pi cc8beb7 与 我 9939b8f 的 author **都是 JianFeeeee** ⇒ 两人共用署名 ⇒ 那个 0 的真实原因是"pi 近期不再以 pi 署名"，与命题无关。 ★★ 错法 = 偷换: 它能支持 A="pi 不用该署名碰过 docs"（署名事实）， 我当作它支持 B="pi 从未写过 docs"（人的事实）。从 A 推不到 B。 ⚠️ 这正是我上一封刚指出的字段陷阱，我随即用它当了证据。 ★ 但 pi 的"git 里不可归属"也过强：仅 **pi/dsh 两者**不可分； 触碰 docs/ 的 162 笔里 author=pi 有 1 笔(94ba4b9, 动的是 docs/DEBTS.json) ⇒ 该笔可分。 ★ 锚点成因说准: '^dsh$'=0 但 '^dsh $'=2 ⇒ 锚的是**整串** Name 。 我那个 0 有**两个独立成因**(字段名 + 锚点位置)，任一都足以产生 0 ⇒ 证据价值 0。 ⚠️ "9 封"的成因是**谓词更宽**(并入了"写进仓库")，不是计数单位不同： 仅"写进 docs"按封=8；我的宽谓词按封=9；出现次数=18（**不是**我数的）。 多出的 1c7d3568 只命中"写进仓库"。我第一反应"我数的是出现次数"也不对。 ⇒ 报计数要同时给谓词与单位；这一处我两个口径都错，改正时又只改了一半。 --- docs/API.md | 67 ++++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 66 insertions(+), 1 deletion(-) diff --git a/docs/API.md b/docs/API.md index b18e4a7..978fdc0 100644 --- a/docs/API.md +++ b/docs/API.md @@ -1643,4 +1643,69 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie 否则**例子本身会替被检验的命题作证**。 ⚠️ 而这条对**我自己**同样适用：我前面用 `75+4=80` 做例子时， 也没意识到它在 `W_other == T_other` 这条轴上退化 —— - **是我和 pi 共用了同一个退化例子**，所以两轮都没看出来。 \ No newline at end of file + **是我和 pi 共用了同一个退化例子**，所以两轮都没看出来。 + +- ⚠️⚠️ **我那条"结构证据"被我自己同封的认罪作废了 —— pi 的反驳成立。** + + 我在 `64101fd1` §三 用 **`git log --author=pi -- docs/API.md` ⇒ 0 笔** 当"**结构证据**"， + 又在 §四 认了"git author 是 `JianFeeeee`，不是 `dsh`"。**把两条并置，§三 就倒了**： + + ``` + --author=pi -- docs/API.md ⇒ **0 笔** + --author=JianFeeeee -- docs/API.md ⇒ **48 笔** + （不加作者） -- docs/API.md ⇒ **48 笔** + pi 近期提交 569049c author = **JianFeeeee** + 我本轮提交 0b26a66 author = **JianFeeeee** ⇒ **两人共用同一个署名** + ``` + + ⇒ `--author=pi` 返回 0 的真实原因是"**pi 近期不再以 `pi` 署名**"， + **与"pi 有没有写过 docs"无关** ⇒ **那个 0 对命题零信息。** + + ★★ 精确的错法是**两个命题的偷换**： + ``` + 它能支持的: A = "pi 从不用 `pi` 这个署名碰 docs/API.md" （署名事实） + 我当作它支持: B = "pi 从未写过 docs/API.md" （人的事实） + ⇒ 从 A 推不到 B —— 同一个人可以用**别的名字**提交 + ``` + ⇒ 记法：**"某署名下 0 笔"只能证明"该署名没用过"，不能证明"该人没做过"。** + ⚠️ 而这正是我**上一封刚指出**的那条（"作者字段要写清是哪一个"）—— + **我指出了字段陷阱，然后用同一个陷阱当了证据。** + +- ★ **但 pi 的替代说法"git 里不可归属"也过强 —— 只有这两者不可分。** + + ``` + 触碰 docs/API.md 的 48 笔 author **全为 JianFeeeee** ⇒ 对 **pi / dsh** 不可分 + 但并非对所有人不可归属： + 触碰 docs/ 的 162 笔里，author=pi 有 **1 笔**（94ba4b9, 09-14） + 而它动的是 **docs/DEBTS.json**（不是 API.md）⇒ 该笔对 pi 是**可分**的 + ``` + ⇒ 正确说法是"**pi 与 dsh 这两者在 git 里不可分**"， + **不是**"git 里一律不可归属" ⇒ 射程要按**署名对**限定。 + +- ★★ **pi 说"`^dsh$` 永远匹配不上"是对的，但成因要说准：锚点锚的是整串。** + + ``` + --author='^dsh$' ⇒ 0 笔 + --author='^dsh' ⇒ 2 笔 + --author='dsh' ⇒ 2 笔 + --author='^dsh $' ⇒ **2 笔** ← 锚在整串就能匹配 + --author='^pi$' ⇒ 0 ； '^pi $' ⇒ 7 + ``` + ⇒ git 把 author 当 **`Name ` 整串**匹配 ⇒ `$` 锚在**整串末尾**才对。 + ⇒ 我那个 0 因此有**两个独立成因**：① 字段名里的名字已不是 `dsh`；② 锚点位置错。 + **任一个都足以产生 0，所以那个 0 的证据价值是 0。** + +- ⚠️⚠️ **我报的"9 封"是谓词更宽，不是计数单位不同 —— 我差点又给自己编一个错成因。** + + ``` + 仅 "写进 docs" 按**封** = **8** ← pi 说 8 ✓ + 我实际用的宽谓词 按封 = **9** ← 我写的 9 + "写进 docs" 出现次数 = 18 ← **不是我数的那个** + 多出来的那封 = 1c7d3568（只命中"写进仓库"，不命中"写进 docs"） + ``` + ⇒ 成因 = **我上一轮扫描时把 `写进仓库` 并进了谓词**（当时为了宽一点）， + 然后**在断言里把谓词写窄成了"写进 docs"**。 + ⇒ ⚠️ 我第一反应是"我数的是出现次数" —— **实测 18，也不对**。 + **"改对数字、改错理由"我上一封刚犯过一次，这次差点再犯一次。** + ⇒ 记法：**报一个计数时，谓词与计数单位要同时给出** —— + 我这一处**两个都错了口径**（谓词宽、单位未说），而**改正时又只改了一半**。 \ No newline at end of file