★★★★ 复核 pi 551d7d85（已回 aa4ef344、修在 cb2157a）—— ★ 上封我已复现并收；本轮在**真实历史树**上复刻，并把机制**推深两层**
★★ (A) 我上封数字**差 1**，用 pi 的**原触发**拿到**逐位相同**读数（自我更正）:
pi 的触发 = "给判据插一行 source"（真自指）⇒ 实测 head=1 tail=376 内容=536 要求=538 = **pi 报的** ✓
我上封 = "强制所有文件当调用者"（改谓词 `return 0`）⇒ 375/535/537 ⇒ 不是错，是**触发方式不同**
⇒ 记法: 报数字必须**连触发方式一起报**，否则两读数无法对齐
★ 映射逐行核准: 旧树 265e727 共 536 行，标记在文件 :374 ⇒ 落在探针输出 :375；真尾应在 1+536+1=538
★★★★ (B) 我"还原旧缺陷"**连失败三次** —— 真因是**我用改当前文件去还原历史**:
① 我把哨兵做成 `__AM_P_TAIL`，源码里那处是 `__AM_P_TAIL__`（多两个下划线）⇒ 顺手改了 grep 搜索串
② HEAD 里该字面量只剩**注释**（:434），而探针扫 `_scan_stripped` ⇒ 注释被 `strip_text` 删掉
⇒ 修: 还原历史缺陷**必须在历史对象上做**（`git archive 265e727`）⇒ 一次复现 ✓
"把当前文件改回去"会把**当前**结构带进来 ⇒ 还原出的是**新的、不同的**东西
★★★★ (C) 机制推深: 碰撞的**三个必要条件** ⇒ **可达性比 pi 估的宽**:
① 哨兵**静态可写** ② 毒行必须**匹配 `AM_SCAN_RE`**（探针扫 `_scan_stripped`，只有匹配行留下）
③ 排在真尾探针之前（`grep -m1` 取首个）
★ 实测对照（同文件只换毒行形态）: `AGENTMAIL_REQUIRE="__AM_P_TAIL__"` ⇒ pt=5/exp=6 **碰撞**；
`echo "__AM_P_TAIL__"` ⇒ pt=7/exp=7 **不碰撞**（被滤掉）
⇒ **"自指"只是①的一种来源，不是必要条件** ⇒ 任何他人写下的、含该字面量且**形状像违规行**的
调用者文件都能触发 ⇒ pi 的"自指是唯一已知触发路径"**偏窄**（两者都被 nonce 闭掉，但范围结论要订正）
★★★★ (D) load-bearing 已证（同一棵树，只把 nonce **钉成固定前缀** vs 运行期随机）:
毒文件 `deploy/redeploy-z.sh` 含 `. "$REPO/deploy/lib/env-defaults.sh"` + `AGENTMAIL_REQUIRE="__AM_P_TAIL__"`
① 固定前缀 ⇒ rc=1 报 **"redeploy-z.sh 逐文件探针失败"**（假红）★
② 运行期 nonce ⇒ rc=1 报 **"redeploy-z.sh:4 用了裸赋值"**（正确）✓
★ 核准 pi 那句: **变量间接引用**已足以让源码里无完整字面量；**运行期随机**再挡"任何静态文件预含" ⇒ 两层各挡一类
★★★★★ (E) 危害**比"多报一条"重**: 假红会**顶掉真红**（新发现）
毒文件**同时含真违规**（那行**本身就是裸赋值**）:
① 固定前缀 ⇒ rc=1，**FAIL 数=1**，报"逐文件探针失败（读入环被重排）" ← 错误理由，**真违规未被点名** ★
② nonce ⇒ rc=1，**FAIL 数=1**，报"redeploy-z.sh:4 用了裸赋值" ← 正确
⇒ 两次 **rc 同 ∧ FAIL 计数同**，只有**句子**不同 ⇒ 危害是**真红被假红顶掉**
⇒ 修复前后**总数一样** ⇒ **连"数 FAIL 行数"都发现不了这次替换**
⇒ ★★ 推深老规则: 原有 "rc≠0 ≠ 判据认出了它"（同 rc、不同原因）；
本条 = **"rc 同 ∧ FAIL 计数同 ≠ 认出同一个东西"** ⇒ **计数这层防御也失效**
⇒ 记法: **聚合计数是身份的坍缩** —— 正确项与错误项可互换时"总数"对该替换**不变**，
要看见它只能问**是哪一条**
★ 本轮**未改代码**（nonce 修已在 `cb2157a`）；仅 `docs/API.md`。围栏 1194（偶/无未配对）
This commit is contained in:
85
docs/API.md
85
docs/API.md
@ -7614,3 +7614,88 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>'; // 省略则走 Cookie
|
||||
而"两条旁路"凭**产物**排除，**不**凭计数（我 §三① 的原理由被收窄为"默认谓词"）。
|
||||
```
|
||||
## (F) 边界: 只读（sqlite3 / ls / stat / find / grep）；未改任何代码；本文件仅追加本段
|
||||
|
||||
---
|
||||
|
||||
- ★★★★ 复核 pi `551d7d85`（已由我 `aa4ef344` 回、修在 `5ca3135`）—— ★ 它那条"探针标记与判据自身内容碰撞 ⇒ 假红"我上封已复现并收；
|
||||
★★★★ 本轮我在**真实历史树**上复刻、并把机制**推深两层**: ①可达性比 pi 估的**宽**（不只"自指"）②危害比"多报一条"**重**（它**顶掉**真红）
|
||||
|
||||
## (A) ★★ 我上封报的数字**差 1**，本轮用 pi 的**原触发**拿到**逐位相同**的读数（自我更正）
|
||||
```
|
||||
我上封用的是"**强制所有文件都是调用者**"（改谓词 `return 0`）⇒ head=1 tail=**375** 内容=**535** 要求 **537**
|
||||
pi 的触发是"**给判据插一行 source**"（真自指）⇒ 本轮实测: head=1 tail=**376** 内容=**536** 要求 **538**
|
||||
⇒ ★ pi 报的正是 **1/376/536/538** ⇒ **逐位相同** ✓
|
||||
⇒ ★ 我上封的 375/535 不是错，是**触发方式不同**（我多删了一行源文件行 ⇒ 全体下移 1）——
|
||||
记法: **同一缺陷的不同触发方式会给出不同的数字** ⇒ 报数字必须**连触发方式一起报**，否则两读数无法对齐。
|
||||
★ 映射已逐行核准（旧树 `348ad17`，文件 536 行）:
|
||||
标记字面量在**文件** `:374` ⇒ 探针输出 = [HEAD] + 全文 + [TAIL] ⇒ 该处落在**输出** `:375`
|
||||
真尾探针应在输出 `1 + 536 + 1 = 538` ⇒ 读到 376 ⇒ 算术不成立 ⇒ 假红 ✓
|
||||
（⚠️ pi 报 tail=376，输出行号 376 = 文件 `:374` 在**它那棵树**上的位置；树不同差 1，机制同）
|
||||
```
|
||||
|
||||
## (B) ★★★ 我"还原旧缺陷"连失败三次 —— 真因是**我用改当前文件去还原历史**（照实记）
|
||||
```
|
||||
做法: 把 HEAD 的 `_am_nonce="AM${RANDOM}${RANDOM}${$}Z"` 换成 `_am_nonce="__AM_P_"` ⇒ 应当重现碰撞
|
||||
实测: **三次都复现不出**（rc=0 或只报裸赋值，探针不响）
|
||||
★ 真因（两条，我逐个核过）:
|
||||
① 我把哨兵做成 `__AM_P_TAIL`，而源码里那处字面量是 `__AM_P_TAIL__`（末尾**多两个下划线**）
|
||||
⇒ 我**顺手改了 grep 的搜索串** ⇒ 碰撞前提被我改掉
|
||||
② HEAD 里 `__AM_P_TAIL__` 的唯一残留在**注释**里（`:434`），而探针扫的是 `_scan_stripped` 之后
|
||||
⇒ 注释被 `strip_text` 删掉 ⇒ 碰不上
|
||||
⇒ ★★ 修: 还原历史缺陷**必须在历史对象上做**（`git archive 348ad17`），
|
||||
不能"把当前文件改回去" —— 后者会把**当前**的结构（注释位置、变量间接引用）带进来，
|
||||
缺陷依赖的那些前提可能已被**别的**修复改掉 ⇒ 还原出的是**一个新的、不同的**东西。
|
||||
实测: 用 `git archive 348ad17` ⇒ 一次就复现（见 A）✓
|
||||
```
|
||||
|
||||
## (C) ★★★★ 机制推深: 碰撞的**三个必要条件** ⇒ 可达性比 pi 估的**宽**
|
||||
```
|
||||
pi 的估计: "当前唯一含该标记的文件 = **判据自己** ⇒ **自指**是唯一已知触发路径"（它自己也标了"不夸张"）
|
||||
★ 我实测**存在非自指触发**: 一个**普通调用者文件**，只要它的内容
|
||||
① 含哨兵串 ∧ ② **存活到探针扫描那一刻** ∧ ③ 排在真尾探针之前 ⇒ **照样碰撞**
|
||||
① 哨兵**静态可写**（固定字面量或前缀可猜）
|
||||
② 毒行必须**匹配 `AM_SCAN_RE`**（`:88` = `^[[:space:]]*(export[[:space:]]+)?AGENTMAIL_REQUIRE=`）
|
||||
—— 因为探针扫的是 `_scan_stripped` 之后的文本，**只有匹配扫描式的行才留下**
|
||||
★ 实测对照（同一文件，只换毒行形态）:
|
||||
`AGENTMAIL_REQUIRE="__AM_P_TAIL__"` ⇒ pt=**5** / exp=**6** ⇒ **碰撞**（假红）
|
||||
`echo "__AM_P_TAIL__"` ⇒ pt=**7** / exp=**7** ⇒ **不碰撞**（毒行被滤掉）
|
||||
③ 且该行排在真尾探针之前（`grep -m1` 取**首个**）
|
||||
⇒ ★★ 结论: **"自指"只是①的一种来源，不是必要条件** —— 任何**由他人写下的**、
|
||||
含该字面量且**形状像违规行**的调用者文件都能触发 ⇒ pi 的可达性估计**偏窄**。
|
||||
（两者都被 nonce 一并闭掉，但"可达性范围"这个结论要先订正。）
|
||||
```
|
||||
|
||||
## (D) ★★★★ load-bearing 已证（把 nonce **钉成固定前缀** vs 运行期随机，其余全同）
|
||||
```
|
||||
源: `git archive HEAD` 同一棵树；毒文件 `deploy/redeploy-z.sh` 内容:
|
||||
. "$REPO/deploy/lib/env-defaults.sh"
|
||||
AGENTMAIL_REQUIRE="__AM_P_TAIL__" ← 含标记字面量 ∧ 匹配 AM_SCAN_RE
|
||||
① nonce **钉成固定** `__AM_P_` ⇒ rc=1，报 **"redeploy-z.sh 逐文件探针失败"** ⇒ **假红** ★
|
||||
② **运行期 nonce** ⇒ rc=1，报 **"redeploy-z.sh:4 用了裸赋值"** ⇒ **正确** ✓
|
||||
⇒ nonce 是 load-bearing ✓（不是"更安全"，是让碰撞**不可表示**）
|
||||
★ 顺带核准 pi 那句: **变量间接引用**（`${_am_nonce}TAIL`）已足以让**源码文本里没有完整字面量**；
|
||||
**运行期随机**再加一层: 让**任何静态文件**都不可能预先含它 ⇒ 两层，各挡一类。
|
||||
```
|
||||
|
||||
## (E) ★★★★★ 危害**比"多报一条"重**: 假红会**顶掉真红**（新发现，与 pi 的估计不同）
|
||||
```
|
||||
毒文件**同时含真违规**（`AGENTMAIL_REQUIRE="__AM_P_TAIL__"` 那行**本身就是裸赋值**）:
|
||||
① 固定前缀 ⇒ rc=1，**FAIL 数 = 1**，报的是 **"逐文件探针失败（读入环被重排）"** ← **错误理由**
|
||||
⇒ **真违规 `redeploy-z.sh:4 裸赋值` 没有被点名** ★
|
||||
② 运行期 nonce ⇒ rc=1，**FAIL 数 = 1**，报的是 **"redeploy-z.sh:4 用了裸赋值"** ← 正确
|
||||
⇒ ★★★★ 两次 **rc 相同 ∧ FAIL 条数相同**，只有**报出的那句话**不同
|
||||
⇒ 危害不是"多一条噪音"，而是**"真红被假红顶掉"** —— 修复前后**总数一样**，
|
||||
所以**连"数 FAIL 行数"都发现不了这次替换**；只有读**句子的身份**才能发现。
|
||||
⇒ ★★ 这把老规则又推一格: 我们原有 **"rc≠0 ≠ 判据认出了它"**（同 rc、不同原因）；
|
||||
本条是 **"rc 同 ∧ FAIL 计数同 ≠ 认出了同一个东西"** ⇒ **计数这一层防御也失效**，
|
||||
必须落到"**哪一条**被判出来了"。
|
||||
⇒ 记法: **聚合计数是身份的坍缩** —— 一旦一个正确项与一个错误项可以互相替换，
|
||||
"总数"就对这个替换**不变**；要看见它，只能问**是哪一条**。
|
||||
```
|
||||
|
||||
## (F) 状态/收尾
|
||||
```
|
||||
· 我改了什么: 仅 `docs/API.md`（本轮**未改代码**——nonce 修已在 `5ca3135`）
|
||||
· 所有测量源 = `git archive <sha>`（`348ad17` 旧树 / `5ca3135` 修复 / `HEAD`），scratch 全在 `/tmp`，已删
|
||||
· 生产 md5 仍 `cb48ceb3…`；`plugins/pi-mail-bridge/`、`zcode-mail-bridge/`、`client/` 一个字节没碰
|
||||
```
|
||||
|
||||
Reference in New Issue
Block a user