docs(ac15): 订正 §22 判据条数（五条，不是四条）

前一条 commit 的标题与正文写「四条」，实际列了五条（列覆盖 / 侧向覆盖 / 三态 /
第三腿 / 精度口径）。判据没变，只是自己数错了 —— 按「报数粘贴不回忆」改掉。

internal/academic/dualrun/stage2/README.md

@@ -1615,7 +1615,7 @@ target  MIN(start_time) 折平 ⇒ 60 + 60 = 120.00，两行都核完，不报
 
 入口独立（`go run ./cmd/dualrun resultsets`），**不进 `DefaultCases`**：两条链不同构，不共用一个分母。
 
-### 机器的四条判据（`resultset_compare.go`）
+### 机器的五条判据（`resultset_compare.go`）
 
 1. **列覆盖**：`dump 结果集列数 == 认领列 + 显式豁免列`，且每一列**恰好**一条声明。
    无人认领的列 = 永远不被比对 —— 与「判定块整体不执行」同族，所以它是基建断言、必须 FAIL 而不是跳过。