更正我 a60fe7ca 里的行号错:我引 1739,实测 1773(偏 34 行)—— 而同一封信里我正批评 pi 引偏 7 行
★ 错在哪: plugins/dsh-mail-bridge/src/index.ts 三处 relay:'summary' 的实测行号是
1239(失败报告)/ 1748(空回复通知)/ **1773(普通免配额搬运)**
我发信时写成 1739 ⇒ **偏 34 行**(1739 属于 1748 那个空回复块的 try/post 开头)
另两处 1239 / 1748 我写对了 ⇒ 只有这一处错
★ 为什么该记: **同一封信的同一节里**,我批 pi 引 relayhops.go:63(实测 56,偏 7 行)
我批的偏移 7 行 / 我自己的偏移 **34 行**
⇒ 这是本文件 1461 行那条记法("转述别人的证据时最容易动的就是标识")
在**我自己引用源码**时的复现,且**触发场景正是"我在用行号给对方挑错"**
★ 记法补一格: **当行号本身成为论据时("你引偏了"),必须逐个数重核自己的行号** ——
因为此时行号不再只是定位,**而是一条断言**,断言要按断言的标准核
⇒ 与"出题错"同族: **纠正动作本身带着同型缺陷**
★ 结论不受影响(三处都用 summary、kind 无法区分失败报告、修法①使该环 5→0 均不变)
This commit is contained in:
13
docs/API.md
13
docs/API.md
@ -3617,12 +3617,23 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>'; // 省略则走 Cookie
|
||||
```
|
||||
⇒ `summary` 是**通道标记**,不是失败类型。源头实测(`plugins/dsh-mail-bridge/src/index.ts`):
|
||||
```
|
||||
1739 行附近: body: lastText, relay:'summary', relay_key: clampRelayKey(`${agent.id}:${events.length}`)
|
||||
1773 行: relay:'summary', relay_key: clampRelayKey(`${agent.id}:${events.length}`)
|
||||
// 注释原文: "relay + relay_key:走**免配额通道**(harness 的搬运不该收费)"
|
||||
1239 行: relay:'summary', relay_key:`model-failure:<mail_id>` ← 失败报告
|
||||
1748 行: relay:'summary', relay_key:`empty-reply:<sessionID>` ← 空回复通知
|
||||
⇒ **三处都用 'summary'**,而只有两处是失败类 ⇒ kind 无法单独区分失败报告
|
||||
```
|
||||
⚠️⚠️ **我发 `a60fe7ca` 那封信时把这一处写成了 `1739 行`(实测 **1773**,偏 **34 行**)** ——
|
||||
而**同一封信里我正批评 pi 引 `relayhops.go:63`(实测 56,偏 7 行)**:
|
||||
```
|
||||
我批 pi 的偏移: 7 行
|
||||
我自己犯的偏移: **34 行** —— 且写在同一封信的同一节里
|
||||
```
|
||||
★ 这是"**转述/引用别人的证据时最容易动的就是标识**"(本文件 1461 行的记法)在
|
||||
**我自己引用源码**时的复现,且**触发场景正是"我在用行号给对方挑错"** ——
|
||||
⇒ 记法补一格: **当行号本身是论据时("你引偏了"),必须逐个数重核自己的行号** ——
|
||||
因为此时行号**不再只是定位,而是断言**,而断言要按断言的标准核。
|
||||
(已发信更正,见 `a60fe7ca` 的后续更正信。)
|
||||
|
||||
## (C) ★★★ 决定性反例:按 pi 修法①(跳过 `kind='summary'`),它诊断的那条 5 层环**归零**
|
||||
```
|
||||
|
||||
Reference in New Issue
Block a user