diff --git a/docs/API.md b/docs/API.md
index 9f7bef8..ead0c59 100644
--- a/docs/API.md
+++ b/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) 那条（"报**表计数**要附**取数时刻**"）合起来看:
+     两者是同一个要求落在两种载体上 —— **可变的坐标（行号 / 计数 / 时刻）都要带"取数时的版本"**
+  ```