plan: the criteria table carries status, and two rows split

E1b and E1c did not exist when the table was written; C2 turned out to be two
items with two different owners; E2 left this round with its blocker
corrected. Each row now says what state it is in rather than only what would
count as passing, because a table of criteria with no readings is a list of
intentions.

Recorded readings: the verification script's control run (2026.9.21.1
fails=2, 2026.9.21.2 fails=0), the nine green cells of openkal-cross, and the
two directions the A3 check was measured in.

Author: speak-agent

.agents/docs/2026-09-21-openkal-ecosystem-completion-and-acceptance.md

@@ -652,20 +652,25 @@ openkal-musl 0.18.0，而 0.18.0 当时还没进索引，消费者自己的 CI 
 
 ## 7. 判据总表
 
-| 编号 | 判据 | 怎么算通过 | 阻塞 |
+状态截至 2026-09-21 收尾。
+
+| 编号 | 判据 | 怎么算通过 | 状态 |
 | --- | --- | --- | --- |
-| E1 | 30 成员重测 | `windows.h` 组 4→0 且总失败不增 | 无 |
-| E2 | 引用未提供接口的符号 | 链接期被点名拒绝；声明正确时零开销 | 工作量 |
-| E3 | 提供方什么都不声明 | 构建成功**且**报告里有 unchecked 一行 | 无 |
-| C1 | 五行最小复现 | 链接通过**且析构真的执行** | **第二层未定位** |
-| C2 | curl / cmp-module | 记为 `refused` 而非 `fails` | 无 |
-| C3 | `arc4random_buf` | 「应当有的符号」CI 断言 | 无 |
-| C4 | `aarch64-macos --profile release` | **已通过，本机实测** | 关闭；不复现 |
-| I1 | 写死的节点集合 | conformance 逐条断言 | 无 |
-| I2 | `presents = "windows"` 的 C 库 | 引擎改动数为 0 | 无 |
-| **A1** | 三目标 `mcpp build` | 全绿 | E1, C4 |
-| **A2** | 三目标 `mcpp test` + 真跑 | 全绿 | A1 |
-| **A3** | 三份 `os.cppm` | **除六行外逐字节相同** | A1 |
+| E1 | 30 成员重测 | `windows.h` 组 4→0 且总失败不增 | **待测**（由移 `pins.toml` 的那个 PR 触发）；`openkal-cross` 九格已全绿 |
+| E1b | 大写重命名 | 上一版红、本版绿 | **已通过**：验证脚本 B 段，`2026.9.21.1` fails=2 → `2026.9.21.2` fails=0 |
+| E1c | 交叉验证协议的反向 | `openkal_ref` 留空时行为不变 | **已落地** |
+| E2 | 引用未提供接口的符号 | 链接期被点名拒绝；声明正确时零开销 | **退出本轮**：阻塞是设计决定不是工作量，见 §2.1 |
+| E3 | 提供方什么都不声明 | 构建成功**且**报告里有 unchecked 一行 | **已通过**：e2e 743 四条腿 + 验证脚本 C 段双向 |
+| C1 | 最小复现 | 链接通过**且析构真的执行** | **已通过**：三层全部定位并修复，`openkal-llvm-runtime@0.15.0` |
+| C2 | cmp-module | 从分母移除，理由可追溯，**且声明可被证伪** | **已通过**：`[not-portable]` + `compat.py check`，红/绿两向实测 |
+| C2' | curl | 配方缺陷，不是不可移植 | **已定位未修**：两个目标两个不同真因，见 `docs/openkal-compat.md` |
+| C3 | `arc4random_buf` | 「应当有的符号」CI 断言 | 已通过 |
+| C4 | `aarch64-macos --profile release` | 本机实测 | 关闭；不复现 |
+| I1 | 写死的节点集合 | conformance 逐条断言 | 未实现（第五批） |
+| I2 | `presents = "windows"` 的 C 库 | 引擎改动数为 0 | 未实现（第五批） |
+| **A1** | 三目标 `mcpp build` | 全绿 | **待跑**（须用已发布钉，见 §8 第二条） |
+| **A2** | 三目标 `mcpp test` + 真跑 | 全绿 | 待跑 |
+| **A3** | 三份 `os.cppm` | **除六行外逐字节相同** | **已机械化并进 CI**；四种失败形态逐个量红过 |
 
 ---