一、由来（#52 首验 · #103 之真面读数）

#52（面 GIT_SHA=3a5523dfd）之 #27（ac13 面）逐字印出：

── 检查13.2 七门逐项（check.sh --quick · 执行序 · 承 #103）──
⇒ 本跑到达 0 门 ∧ 无收尾标记 ⇒ **中断于第 0 门**（「7/7」之说当读作「止于此」）

二、二病

甲 「第 0 门」非门

n==0 意味着 check.sh 一个节头都未印出 ⇒ 它根本没有产出
（疑未执行／即刻失败）。把它称作「中断于第 0 门」是把「无产出」冒充成「止于某一门」。

乙 「中断」一词语义错位

「中断」暗示「七门有先后，止于其一」——读者会去查「第 0 门」是哪一门，而没有这一门。

三、修

三支分列：

四、并载契约器之限（本席自纠）

check132_per_gate_visibility_arm.sh 喂合成日志 ⇒ 只证「印什么判」之逻辑，
不证真面有该输出。#52 之 n==0 即此限之实例：器逻辑对，而真面无输出。
▶ 已在该腿注释内逐字立戒（承在册 synthetic-input-cannot-establish-a-guard-is-live）。

五、契约

新增丁臂（#52 之真形：g1.txt 内无任何 check.sh 节头）：
须印「不可归因于七门中任一」，且不得复旧措辞「中断于第 0 门」。

PASS=7 FAIL=0（原 6 臂 ＋ 丁）。

六、并载之限

• 只改措辞与分支，不改判据、不改 检查13.2 文案。
• 本器仍只证逻辑；真面印出须下轮 ac13 红侧复现方可验。