一、实征（release#51 一手 · 面 GIT_SHA=fb8e64094）

[verify_release] FAIL: 检查13.2: check.sh 门禁未通过（7/7 结论不一致）

二、二病

甲 「7/7」之说不承事实

xwkernel/scripts/check.sh 首行即 set -euo pipefail（逐字）⇒ 中断于首个失败之门
⇒ 其后之门根本没跑 ⇒ 报「7/7 结论不一致」是以未跑之门充已判之门。

乙 该红不可归因

七门之逐项结论全在 g1.txt 内被吞。#97 所加之「门面段」以
grep -E '^== |门禁|G-[1-8]' 取，于 #51 之实跑未捕到七门逐项
（该段只捞到 检查13 二行与空窗行）。

三、修（承 ar 2026-11-04 18:07 令）

ac13_arrival_guard_leg.sh 之 G1 失败支另印一段（绿跑零额外输出）：

• 按执行序逐门印节头 ＋ 判（✓ 通过 / ✗ 失败 / ★ 中断）
• 显名到达几门；无收尾标记 == 全部门禁通过 == ⇒ 判「中断于第 N 门」
  ⇒ 戳破「7/7」之说

★ 锚之无歧义性已核: check.sh 节头唯 == … == 形；本仓 verify_release.sh 产出 ^== 行者 0 处。

四、契约（行为级 · 真跑其 awk）

scripts/tests/check132_per_gate_visibility_arm.sh —— 把腿内 awk 原样抽出，喂合成日志：

PASS=6 FAIL=0。

五、并载之限

• 只印 check.sh 自有输出之逐门判；不改 检查13.2 之判据与文案。
• 本器只证「印什么判」之逻辑；「真 CI 面真印出」须下轮 ac13 红侧复现方可验。
• 同族：#97（门面显名）· #95（心跳）。