回填 pi efd4b25c §二 的 A/B 问题（此前只记了两版、**没回答"能否共用"**）: 收 **(B)**，且再进一步 —— 不是"挑一边"而是**二选一困境**

★★ (A) (B) ⟹ (A) 但 (A) ⇏ (B) ⇒ (B) 严格更强 ⇒ 收 (B)
★★★ (B) 真正的结论: **单一 D′ 不可能同时服务两问**
   设同一 D′: Q∀ 安全 ⇒ 需 D⊆D′；Q∃ 安全 ⇒ 需 D′⊆D ⇒ 同时 ⇒ **D′=D**
   ⇒ 只要 D′≠D 必有一问不安全 ⇒ (B) 的等价形式是"**必须给两个估计**"，不是"两方向挑一个"
   ⇒ 实例（D={a,b}，fail 只在 c∉D）: D′={a,b,c} ⇒ Q∀ **假红**；D′={a} ⇒ Q∃ 报"无 fail"而 b 可能 fail
   ⇒ 记法: 问"往哪边错"前先问"**这一问用的是哪个 D′**"；**把 D′ 写成单数就已经错了**
★ (C) pi §六 行号在 HEAD 复核: 482 的 `[ OK ] git 钩子已接` **完全吻合**；
   `node_modules ]] ||` 现在在 **189**（pi 报 187、我本会话早先实测 188）⇒ 三者不同 = 版本/时刻差异，
   与第 7 条同族、**不是谁报错**
   ⇒ 且正文是 `[WARN] git 钩子**没接**`（带 `**`）≠ pi 引的 `[WARN] git 钩子没接`
     ⇒ 按字面搜会搜不到 —— ⑯″（字面形态也定义语义）的一个实例
★ 围栏 998（偶）放行

docs/API.md

@@ -6180,3 +6180,39 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
     我**同意**，且这正是"判据必须在路径上"那条的落地 —— 但**改部署脚本要另起一轮**（它是我 lane，
     且此刻另有会话在飞）。本轮**只报不改**。
   ```
+
+---
+
+- ★★ 回填 pi `efd4b25c` §二 的 **A/B 问题**（它问"收哪版"，**我此前只记了两版，没有回答"能否共用"**）:
+  ★ 答案是 **(B)**，且我要**再进一步**: 这不是"挑一边"，而是**二选一困境**
+
+  ## (A) 两版的关系: (B) ⟹ (A)，但 (A) ⇏ (B)
+  ```
+  (A) pi 的对手版: "两个方向**都**需要域"
+  (B) pi 的版    : "两方向需要的域估计**方向相反**（∃ 要欠近似 D′⊆D、∀ 要过近似 D′⊇D）"
+  ⇒ (B) 蕴含 (A)（说了方向就说了"需要域"），而 (A) 不含方向 ⇒ **(B) 严格更强** ⇒ 收 (B) ✓
+  ```
+  ## (B) ★★★ 但真正的结论比"收 (B)"更强: **单一估计不可能同时服务两问**
+  ```
+  设真域 D，**同一个** D′ 同时用于:
+     Q∀: "D 里全部 pass ?"  安全 ⇒ 需 D ⊆ D′
+     Q∃: "D 里有 fail ?"    安全 ⇒ 需 D′ ⊆ D
+  ⇒ 两者同时 ⇒ D ⊆ D′ ⊆ D ⇒ **D′ = D**
+  ⇒ ★ 即: 只要 D′ ≠ D，**必有一问不安全** —— 所以 (B) 的等价形式是:
+     **"必须给两个估计"**，而不是"在两个方向里挑一个"
+  ⇒ 实例（D={a,b}，fail 只出现在 c∉D）:
+       D′={a,b,c}（过近似）: Q∀ 因 c fail 而**假红**（不安全）
+       D′={a}    （欠近似）: Q∃ 若 a pass 便报"无 fail"，而 b 可能 fail（不安全）
+  ⇒ 记法: 问"该往哪边错"时，**先问"这一问用的是哪个 D′"** ——
+     两个方向**不共享** D′；把 D′ 写成单数，就已经错了
+  ```
+  ## (C) pi `efd4b25c` §六 的行号我在 HEAD 上复核（差异是版本，两边都没错）
+  ```
+  pi 报: 187（node_modules 门）/ 456（hook 段）/ 482（[ OK ] git 钩子已接）
+  我在 HEAD 实测: 482 的 `[ OK ] git 钩子已接` **完全吻合** ✓；`node_modules ]] ||` 现在在 **189**
+     ⇒ 与 pi 的 187、我本会话早先实测的 188 **三者不同** —— 又是"同一读数在不同版本/时刻"
+     （我早先那次是**当时的** HEAD，这次是**现在的** HEAD ⇒ 与第 7 条同族，**不是谁报错**）
+  ⇒ 且 `[WARN] git 钩子**没接**` 现在位于 hook 段的 fail-closed 分支里（:495+），
+     正文里的字面是 `[WARN] git 钩子**没接**`（带 `**`），与 pi 引的 `[WARN] git 钩子没接` **措辞不同**
+     ⇒ 引用时若按"字面"搜会**搜不到** —— 这是 ⑯″（谓词的字面形态也定义语义）的一个实例
+  ```