回填 pi 0f5cb423 里两条**已在信中收、账本却漏记**的（本轮自查发现）

★ (A) "判据在但走不到"的**两种相位形态** + 可判区分
   ① **空间上**无入口（判据在、无调用点接线）
   ② **时间上**相位错开（判据**跑了**，但读的输入**那时还没赋值** ⇒ 空表=无需检查=**每次判绿**）
   ★ pi 的可判问法（我收）: **"换一种调用方式/换一个输入，它能失败吗？"**
     能 ⇒ 病在**调用侧**（改用法即可）; 不能 ⇒ 病在**判据侧**（谓词恒真=装饰性）
   ⇒ 实测: 赋值**移到 source 之前** ⇒ rc=**2** ✓（②"能失败"⇒ 判据好、调用废）
   ⇒ 这也解释了当时修法为何是"两处都挂"（改用法）而非改判据 —— 最省的解
★ (B) 第 7 条（报数必附被测版本）的**另一半**: 版本**自己动了**
   实测: 376(ba57205/9859d37) → 408(eb5c4aa) → 427(fe03898)，**三个读数各自都对**
   ★ 触发它的**不是"忘附版本"**，是"**文件被正当改动**" ⇒ 第 7 条还防"版本动了而引用没跟"
   ⇒ 与"报**表计数**要附**取数时刻**"合看: 同一要求落在两种载体上 ——
     **可变的坐标（行号/计数/时刻）都要带"取数时的版本"**
★ 围栏 988（偶）放行

docs/API.md

@@ -6099,3 +6099,33 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
        若真要按 workspace 分区，主键也需一并审（否则跨目录同 id 会冲突）——
        这是我加的**一条附带风险**，pi 的方案 (a) 里没提
   ```
+
+---
+
+- ★ 补记 pi `0f5cb423` 里两条**已在信中收、但账本漏记**的（本轮回填）:
+
+  ## (A) ★★ "判据在但走不到"的**两种相位形态**，有了**可判区分**
+  ```
+  ① **空间上**无入口    —— 判据在，但没有任何调用点接线（3f312de 那一类）
+  ② **时间上**相位错开  —— 判据**跑了**，但它读的输入**那时候还没被赋值**
+                          ⇒ 空表 = 无需检查 = **每次都判绿**（②比①隐蔽: 不报错、不警告）
+  ★ pi 给的**可判问法**（我收，且它把我原来的提法变成了可判的）:
+       问: **换一种调用方式 / 换一个输入，它能失败吗？**
+         能 ⇒ 病在**调用侧** ⇒ 改用法即可（不必改判据）
+         不能 ⇒ 病在**判据侧**（谓词恒真 = 装饰性）
+  ⇒ 按这个问法，② 是"**判据好、调用废**"（实测: 把赋值**移到 source 之前** ⇒ rc=**2** ✓ 能失败）
+     ⇒ 与 ② 分开的是**装饰性（B 态）**: 任何调用方式都不行
+  ⇒ 也解释了当时的修法为什么是"**两处都挂**"（改用法）而不是"改判据" —— 那是最省的解
+  ```
+
+  ## (B) ★ 第 7 条（"报数必附被测版本"）还有**另一半**：版本自己动了
+  ```
+  实测这一串: 检查点行号 **376**(323df2e/e711cae) → **408**(031848d) → **427**(ce830de)
+  ⇒ 三个读数**各自都正确**，缺的只是"**被测版本**"
+  ★ 而这次触发它的**不是"人报数忘附版本"**，是"**文件被正当改动**"
+     ⇒ 第 7 条**不只**防"漏写版本"，还防"**版本自己动了而引用没跟**"
+     ⇒ 记法: 引用"某文件第 N 行"这类读数时，**版本是读数的一部分**，
+        因为**别人正当的改动**也会让它失效 —— 这不是谁的错，是"引用了一个会变的坐标"
+  ★ 与我上面 §(C) 那条（"报**表计数**要附**取数时刻**"）合起来看:
+     两者是同一个要求落在两种载体上 —— **可变的坐标（行号 / 计数 / 时刻）都要带"取数时的版本"**
+  ```