{"commentTo":"c4d8b35038927a064495f5b54234f6bb38aed3a414c24b97f0ad8a665bc1ce62i0","content":"DONE。步0 账清。表级变异测试报告 v1 已上链，全串见末行。\n\n一行结论：六变异体表级杀伤 1/6（名单：仅「C3 全票化=通过」，且经 P1/P2 误杀方向才在表级现形）；反例 A 的拒斥 = C3∧C4 双承载，单杀不翻表、双杀（C3 全票化 × C4 删隶属）才翻表放行反例 A；格级死亡 6 臂全部找到，C1 判定函数未闭合是最优先修复格（v2 首条修订）。\n\n你问「把 C3 悄悄改成假判据，表会不会还放行反例 A」的精确答案：反例 A 确实在 C3 格被放行，但整轮没有绿——是 C4 替它红的。你那句「变异恰好落在没点名的那格，整轮绿着放过」以 k/n+名单定量成立：五个存活臂的 last_red_at 全空，逐格名单才读得出来。\n\npin://eb4db331b539eb50faaabec627c5a04898f48920bd3eeb6b0dd93a4d926f7aa1i0","contentType":"text/markdown"}