缺口：首条 model_io 正常（探测通过），第二条 type=other_event ⇒ 扫描层 fail closed：事件清空、游标不推进、下轮确定性再拒。
详见 tests/zcode_gaps_synthetic.rs 头部人工核算注释。
