@@ -2560,7 +2560,45 @@ export function coverageOf(lines: readonly EvidenceLine[], matches: readonly Evi
 | **①** 「集合为空 / 零改动」类**事实主张** | `零 *X* 改动` · `本(任务\|段\|批)不(改\|碰\|触碰\|动\|新增\|引入\|涉及)` · `git log … -- <path> 为空` · `git diff … (零 hunk\|只含\|为空)` · `git status --porcelain 仍只有` · `集合相等\|Δ 0\|逐字未动` · `不改\|不新增文件` —— **10 形态**（`probe1`）⇒ 108 行；收紧为**可充当证据**的 **7 形态**（`probe4`）⇒ **69 行**（剔除落在 `## E8` 节内的 6 行 ⇒ **卡片正文 63 行**） | **63 行 / 30 条主张** | **30**（表 E8b.1） |
 | **②** 变异体格「一次注入可达性」 | `Verification` 表内含 `**M<n>**` 的行（**逐卡逐格**，不靠正则判语义）⇒ `probe6` | **86 格 / 28 卡** | **86**（表 E8b.2） |
 
-🔴 **完备性自证（「如何确认没漏」）**：① **双向对账** = 「正则抽出的 63 行」与「逐卡通读 `Verification` / `Steps` / `冻结值预算表` / `诚实边界` / `Files` 五处得到的主张」**双向比对**，正则多出者逐条剔除、逐卡通读多出者逐条补入；② **28/28 卡覆盖** = `### Task 1` – `### Task 28` **逐卡点名**（本节的表 E8b.1 / E8b.2 的 `卡片` 列给出全部 28 个任务号，无缺号）；③ **跨引用反查** = 对「已在本计划别处被更正过的主张」（E8-1/E8-3/E8-4/E8-12）**逐条重测**，确认本次不再重复登记；④ 🔴 **未覆盖声明**：本单元**不跑**变异体导出树 / 全量 `vitest` / `cargo` / 真实构建 ⇒ 类② 的判定是**静态可达性**（**内部自洽 + 具名目标存在性 + 作用面归属**），**不是实跑结论**；⑤ 🔴 **域声明** = 一切「全仓 / 0 命中」扫描的域**一律 `git ls-files`（入库域，1,616）**，**禁止递归扫工作树**（`.superpowers/**` 的导出树副本实测 172,184 / 194,487 文件 ⇒ P-34）。
+🔴 **完备性自证（「如何确认没漏」）**：① **双向对账** = 「正则抽出的 63 行」与「逐卡通读 `Verification` / `Steps` / `冻结值预算表` / `诚实边界` / `Files` 五处得到的主张」**双向比对**，正则多出者逐条剔除、逐卡通读多出者逐条补入；② **28/28 卡覆盖** = `### Task 1` – `### Task 28` **逐卡点名**（🔴 **精确口径**：**类② 的 E8b.3 表按卡给全 28 个任务号**；**类① 的 E8b.1 表覆盖 21 张有此类主张的卡**，其余 **7 张（T4/T6/T7/T11/T14/T19/T23）经逐卡通读确认无此类主张** —— 逐卡 0 命中对照表见下）；③ **跨引用反查** = 对「已在本计划别处被更正过的主张」（E8-1/E8-3/E8-4/E8-12）**逐条重测**，确认本次不再重复登记；④ 🔴 **未覆盖声明**：本单元**不跑**变异体导出树 / 全量 `vitest` / `cargo` / 真实构建 ⇒ 类② 的判定是**静态可达性**（**内部自洽 + 具名目标存在性 + 作用面归属**），**不是实跑结论**；⑤ 🔴 **域声明** = 一切「全仓 / 0 命中」扫描的域**一律 `git ls-files`（入库域，1,616）**，**禁止递归扫工作树**（`.superpowers/**` 的导出树副本实测 172,184 / 194,487 文件 ⇒ P-34）。
+
+**逐卡 0 命中对照表（完备性自证的证据）**：
+
+| 卡 | 类① 收紧网行数 | 类① 判定集条数 | 类② 格数 |
+|---|---:|---:|---:|
+| T1 | 7 | 2 | 3 |
+| T2 | 4 | 3 | 3 |
+| T3 | 2 | 1 | 2 |
+| T4 | 1 | 0 🔴 | 2 |
+| T5 | 4 | 2 | 2 |
+| T6 | 0 | 0 🔴 | 6 |
+| T7 | 3 | 0 🔴 | 3 |
+| T8 | 1 | 1 | 4 |
+| T9 | 1 | 1 | 6 |
+| T10 | 3 | 1 | 5 |
+| T11 | 0 | 0 🔴 | 4 |
+| T12 | 2 | 1 | 4 |
+| T13 | 1 | 1 | 2 |
+| T14 | 2 | 0 🔴 | 2 |
+| T15 | 3 | 1 | 2 |
+| T16 | 3 | 2 | 3 |
+| T17 | 4 | 3 | 2 |
+| T18 | 1 | 1 | 2 |
+| T19 | 1 | 0 🔴 | 3 |
+| T20 | 1 | 1 | 2 |
+| T21 | 2 | 1 | 2 |
+| T22 | 1 | 1 | 3 |
+| T23 | 0 | 0 🔴 | 2 |
+| T24 | 1 | 1 | 3 |
+| T25 | 2 | 2 | 3 |
+| T26 | 3 | 2 | 4 |
+| T27 | 1 | 1 | 4 |
+| T28 | 1 | 1 | 3 |
+| **合计** | **63** | **30** | **86** |
+
+🔴 **读法（三档，不得混用）**：**(i) 收紧网 0 行的卡 = 3**（**T6 / T11 / T23** —— 它们的 `Verification` / `Steps` 里连「零改动 / 零 hunk / 为空」的字样都没有）；**(ii) 判定集 0 条的卡 = 7**（**T4 / T6 / T7 / T11 / T14 / T19 / T23**）；**(iii) 类② 0 格的卡 = 0**（28/28 卡都有 ≥2 格）。
+🔴 **为什么 T4 / T7 / T14 / T19 落在「收紧网有行、判定集 0 条」**（**边界声明**）—— 它们的命中是**两类不属本类的句子**：① `CLAIM-VERBATIM` 的「**棘轮 Σ / 用例数逐字不变**」（`T7:940` / `T7:981` / `T7:982` / `T14:1396` / `T16:1516` / `T26:2025` / `T1:530/545/548/550/567` 等）—— 那是**读数主张**（E8 的类 (4)/(5) 已核），**不是**「某个**路径集合**为空」；② `CLAIM-NOT-TOUCH` 的**纪律句**（`T4:781` 「不得声称『纪律已落地』」· `T19:1648` 「本任务不改它的值」· `T10:1148` 「本任务不改注册表」）—— 它们的**作用域不是路径**，无法用 `git diff` 检验。🔴 **本类的边界 = 「可用 `git diff` / `git status` / `git log` 直接检验的『路径/范围型集合为空』主张」**；读数型与纪律型**不收**（避免与 E8 重复登记）。
+
 
 ### E8b.1 · 类① 逐条表（**30 条**：成立 6 · 🔴 不成立 2 · 待测 22）