From 0c167ae6a45df7849ee313e7a907da0a91a11fe6 Mon Sep 17 00:00:00 2001
From: JianFeeeee <jianf@noreply.localhost>
Date: Fri, 25 Sep 2026 08:15:23 +0800
Subject: [PATCH] =?UTF-8?q?=E8=AE=B0=E5=BD=95=20pi=2002e3fd46=20=E6=8A=93?=
 =?UTF-8?q?=E5=87=BA=E7=9A=84=E6=88=91**=E4=B8=A4=E5=A4=84=E9=94=99**?=
 =?UTF-8?q?=EF=BC=88=E5=9D=87=E5=B7=B2=E5=A4=8D=E7=8E=B0=E7=A1=AE=E8=AE=A4?=
 =?UTF-8?q?=EF=BC=89:=20=E2=91=A0=E6=88=91=E7=9A=84=20=C2=A7=E5=85=AD=20?=
 =?UTF-8?q?=E5=AF=B9=E7=85=A7=E5=8F=A5=E6=98=AF**=E8=AF=AF=E8=AF=BB**=20?=
 =?UTF-8?q?=E2=80=94=E2=80=94=20rc=3D1=20=E6=9D=A5=E8=87=AA=20sed=20?=
 =?UTF-8?q?=E8=AF=AD=E6=B3=95=E9=94=99=E8=AF=AF(=E7=BC=BA=E5=B0=BE?=
 =?UTF-8?q?=E6=96=9C=E6=9D=A0)+=E7=A9=BA=E9=9B=86=E5=AE=88=E5=8D=AB?=
 =?UTF-8?q?=EF=BC=8C**=E4=B8=8D=E6=98=AF=E6=A3=80=E5=87=BA**=EF=BC=88?=
 =?UTF-8?q?=E6=AD=A3=E7=A1=AE=E5=BD=A2=E5=BC=8F=20rc=3D0=EF=BC=89=E2=91=A1?=
 =?UTF-8?q?=E6=88=91=E6=8A=8A"=E5=BD=A2=E7=8A=B6=E7=9B=B2=E5=8C=BA"(?=
 =?UTF-8?q?=E5=8F=AF=E9=97=AD)=E4=B8=8E"=E8=AF=AD=E4=B9=89=E7=9B=B2?=
 =?UTF-8?q?=E5=8C=BA"(=E7=9C=9F=E8=BE=B9=E7=95=8C)**=E5=90=88=E5=B9=B6?=
 =?UTF-8?q?=E7=94=B3=E6=8A=A5**=E4=BA=86=20=E2=87=92=20=E9=87=87=E7=BA=B3?=
 =?UTF-8?q?=20pi=20=E7=9A=84=E9=9D=9E=E5=BE=AA=E7=8E=AF=E8=A1=A5=E6=B3=95?=
 =?UTF-8?q?=E5=B9=B6=E8=90=BD=E7=9B=98?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

★ (A) 「rc≠0」我读成了「检出」: 那条对照命令**缺结尾 `/`** ⇒ 12 处 `unterminated 's' command`
     ⇒ 内容被读空 ⇒ 报的是**空集守卫**"一个调用者都没找到" ⇒ 我把**另一条守卫的命中**当成了判定
     正确形式 rc=**0** ⇒ "改内容就一定被抓"确实不成立
     ⇒ 记法: **"rc≠0"≠"判据认出了它"**，要问**报的是哪一句** —— 与我前几轮刚立的规则同一条
★ (B) 我的"循环 ⇒ 真边界"论证**不成立**: 需要的是"strip 的**规格**"不是"**正确内容**" —— 两者不同
     pi 补法: 逐行 ① stripped 是 raw 的**前缀** ② 首删字符须为 `#`
       ★ 不循环: raw 由 **cat** 独立读、stripped 由被检对象读 ⇒ **两次独立读取**；
         "只删注释后缀"是**规格声明**，不是被检对象的产物
     实测（源取 `git archive`）: `sed '135s/.*//'`/`'135s/.*/ /'`/`'56s/.*/ /'`/
       `'s/AGENTMAIL_REQUIRE//'` **全 rc=1**；真 strip rc=**0**；12 向矩阵全 1；criteria-hygiene 10/10
★ (C) ⑧ 拆两半: ⑧a **形状**（某行被抹/被改）⇒ **可闭（本次已闭）**；
     ⑧b **语义**（删对了 `#` 但那个 `#` 本不该当注释，如 `X="a#b"`）⇒ **真边界**
       （实测: 真 strip 把 `X="a#b"` 截成 `X="a`，而局部不变量**通过** ⇒ 看不见）
     ⇒ 准则: 申报"闭不了"前先问缺的是**形状**还是**语义**
     ⇒ ★ 我同一类错犯了**两次**（⑤ 与 ⑧a）: 都是"论证里的循环/后退其实不成立"
       ⇒ **"闭不了"要写出"为什么换一次观察也拿不到"**；只写"会循环"不够
         （"循环"经常只是**换错了观察对象**）
★ 提交前围栏 901（奇）被 pre-commit 拦下（(D) 段缺闭合围栏）⇒ 补后 902（偶）放行
---
 docs/API.md | 48 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)

diff --git a/docs/API.md b/docs/API.md
index 28a3cd4..14871cf 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -5564,3 +5564,51 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   工作区: install.sh 与 check-require-declaration.sh **均 == HEAD**；仅剩 pi 的怪名文件（18B，未动）
   ★ 只读 SQL + 读源码；生产未动
   ```
+
+---
+
+- ★★★ pi `02e3fd46` 抓出我**两处错**，我都复现确认：①我的 §六 对照句是**误读**（rc=1 来自 sed 语法错误+空集守卫，不是检出）②我判为"真边界"的 ⑧ **形状那半可闭**（我拿语义的循环性去论证形状）⇒ 已采纳 pi 的非循环补法并落盘
+
+  ## (A) ★★ 我的 §六 对照句：**"rc≠0"我读成了"检出"**
+  ```
+  我写: "对照 `sed '135s/AGENTMAIL_REQUIRE/X'` ⇒ rc=1（它同时动了别的可匹配串）"
+  ★ 实测: 该命令**缺结尾 `/`** ⇒ stderr **12 处** `unterminated 's' command`
+     ⇒ 内容被读空 ⇒ 报的是 **"一个 source env-defaults.sh 的调用者都没找到"**（**空集守卫**）
+     ⇒ **不是检出** —— 我把**另一条守卫的命中**读成了"判据认出了它"
+  正确形式 `sed '135s/AGENTMAIL_REQUIRE/X/'` ⇒ rc=**0**
+  ⇒ 所以"**改内容就一定被抓**"**确实**不成立（pi 对）
+  ⇒ 记法（收 pi 的）: **"rc≠0"不等于"判据认出了它"** —— 要问**报的是哪一句**；
+    本处一个**语法错误**恰好也给了 rc=1，而它来自**另一条守卫**（空集）。
+    ★ 这与我前几轮刚立的"可判区分看报哪句"是**同一条**，而我**自己**又违了一次。
+  ```
+  ## (B) ★★★ 我把"形状盲区"（可闭）与"语义盲区"（真边界）**合并申报**了
+  ```
+  我原论证: "要判'某行被抹'需逐行内容对照 ⇒ 而那要先知道**正确内容** ⇒ **循环** ⇒ 真边界"
+  ⇒ ★ 错: 需要的是"**strip 的规格**"（只删注释后缀），**不是**"正确内容" —— 两者不同
+  pi 的补法（我实测后采纳）: **逐行局部不变量** —— 每行 ① stripped 是 raw 的**前缀**
+    ② 被删的**第一个**字符必须是 `#`
+    ★ **不循环的理由**（关键）: raw 由 `cat` **独立**读、stripped 由 `strip_text`（**被检对象**）读
+      ⇒ **两次独立读取**；而"只删注释后缀"是**规格声明**，不是被检对象的产物。
+  实测（注入 1 处违规的树，从 `git archive` 取源）:
+    `sed '135s/.*//'` / `'135s/.*/ /'` / `'56s/.*/ /'` / `'s/AGENTMAIL_REQUIRE//'` ⇒ **全 rc=1**
+    真 strip ⇒ rc=**0**（**非恒红** ✓）；12 向矩阵全 1；criteria-hygiene **10/10**
+  ⇒ **形状盲区已闭**；我上轮整条申报成"真边界"是**多申报**
+  ```
+  ## (C) ★★ 于是 ⑧ 拆两半（本轮真正的记法）
+  ```
+  ⑧a **形状**（某行字符被抹/被改）        ⇒ **可闭**（本次已闭）
+  ⑧b **语义**（删对了 `#`、但那个 `#` 本不该当注释，如 `X="a#b"`） ⇒ **真边界**
+     实测: 真 strip 把 `X="a#b"` 截成 `X="a` ⇒ **规格本身错**，而局部不变量**通过**（看不见）
+  ⇒ 准则: **申报"闭不了"之前，先问缺的信息是"形状"还是"语义"**
+     形状 = "换一次读取就有"（可闭）；语义 = "要先有正确内容"（真边界）
+  ★★ 而我**同一类错犯了两次**: ⑤（拿"同一次观察的后退"当理由）与 ⑧a（拿"语义的循环性"当理由）
+     —— 两次都是"**论证里的循环/后退其实不成立**" ⇒ 记法:
+     **"闭不了"的论证要写出"为什么换一次观察也拿不到"**，只写"会循环"不够
+     （因为"循环"经常只是**换错了观察对象**）。
+  ```
+  ## (D) 状态
+  ```
+  本轮提交 d3c74ec（脚本 + 账本）；基线 rc=0；从 `git archive d3c74ec` 重验 8 向全 1
+  ⑥ 间接赋值；⑦ 下界只挡"<3"；**⑧a 已闭**；**⑧b**（语义/规格本身错）是真边界
+  ★ 只读 SQL + 读源码；生产未动；未碰他人在飞文件
+  ```