工程+文档(CI 现查件堵假绿): 绿须坐实跑闸步真跑过，零触发批呈报「未验」

- 实证: run 55(零触发批 f1840fbc)的 job 步级读数＝检出与域分流 success、导入缓存刷新与跑闸两步
  skipped，而 run conclusion 仍为 success；原 ci_check.sh 只看 conclusion，把「一条闸都没跑」
  读成绿。假绿比假红危险——它放行的是「红未修不开新批」这道开工门。
- tools/ci_check.sh: 绿分支改先取 jobs 再判——跑闸步全 skipped → 呈报「未验」退出码 4；job 列表
  为空／取不到步级读数／工作流里查不到跑闸步 → 呈报「不可判」退出码 2，一律禁当绿证；红态读数
  在 conclusion 与步级矛盾时显式报矛盾行。退出码表加 4=未验。
- 孤立验证五形态（真实远端读数）: 3de8955f/run54 全步真跑→绿 exit0；f1840fbc/run55 跑闸步 skipped
  →未验 exit4；fb27dc2f/run51→红 exit1；5d7579e7/run56 in_progress→未落定 exit2；3c1e3ddf 未推
  提交→无 status→未落定 exit2。
- 口径同步: AGENTS.md 运行与验证首条判据句、process-conventions §1 第 3 条加「绿须坐实」段、
  test-conventions §8.7 中/低档证据句加「未验与不可判不作证据」＋回补途径、迭代技能两镜像现查句
  （不入 git 面）。
- 闸: --docs 验收通过零新增红（跑批树内容＝本提交内容）。

design/engineering/test-conventions.md

@@ -128,7 +128,7 @@
 3. 检查测试削弱：删除断言、放宽阈值、缩小扫描面、换下层直调，逐处要卡片申报或用户批准。
 4. 核对内部字段直查的受控例外：直查行是否已在对照表注明理由（该行为无公开可观测面可钉）。
 
-**审计深度分级（2026-11-04 立）**：审计按卡内申报的验收档（§8.3）逐卡定深度；梯度只落在昂贵的判断件上，机械且堵造假向量的两件（削弱检查、例外核对）三档全保留不抽。中/低档省略的测试复跑以远端 CI 读数为执行证据——`tools/ci_check.sh <合并提交>` 的现查输出（commit＋run 号＋conclusion）是机器产物，run 号在远端永久可复核，审计报告照抄该行即可（2026-11-04 用户裁：回执等待件退役，证据由落盘文件改为现查读数；「不采信实现者自述已全绿」的口径不变）：
+**审计深度分级（2026-11-04 立）**：审计按卡内申报的验收档（§8.3）逐卡定深度；梯度只落在昂贵的判断件上，机械且堵造假向量的两件（削弱检查、例外核对）三档全保留不抽。中/低档省略的测试复跑以远端 CI 读数为执行证据——`tools/ci_check.sh <合并提交>` 的现查输出（commit＋run 号＋conclusion）是机器产物，run 号在远端永久可复核，审计报告照抄该行即可；照抄前先核对读数必须是「绿」——「未验」（零触发批跑闸步全跳过）与「不可判」不作证据，那种批的回补办法是等一次含代码面的合回或用户自发全量回归（2026-11-04 用户裁：回执等待件退役，证据由落盘文件改为现查读数；「不采信实现者自述已全绿」的口径不变）：
 
 | 审计动作 | 高 | 中 | 低 |
 |---|---|---|---|