文档(防复发扫描待裁条目退役): 用户两裁收口——①pipeline_gate 不加「变异测试/撤销证明」短语级扫描(假红面大),条目无余点整条删除;②req-card SKILL「撤销证明方式」残留三处改齐(.zcode|.qoder 两份同步直写): 文件头 description「必须…撤销证明」改「…判据绑定面」/验收步骤模板删「＋撤销证明方式」补「＋判据绑定面」/复核门「撤销证明方式写死」改「判据绑定面是否绑被测改动特有的可观测提交面」——与同文件第40行六列对照表、第44行禁列条款对齐;③更正＋顺带清: 本条原信息末句误记「终检零命中」,提交前同命令的 grep 实查仍有 iter 技能同族残留,已一并改净(.zcode|.qoder 两份同步)——iter SKILL 四处: 对照表开闸判据「无撤销证明方式」改「无判据绑定面」/施工禁令「撤销证明做不出来=停卡」改「判据绑不上可观测提交面=停卡呈报」/审计范围「对照表与撤销证明」改「对照表与验收断言」/审计抽查「按记录复现红绿」改「核对断言当轮真实跑批执行且通过(闸回执与测试输出为凭)」;iter evals 随判据换代: mock-subagent-report 第3条改「验收断言第二条没来得及跑」＋evals.json expected_behavior/rubric 两处同步(评估考点=对照表未闭合不得合并,不变)。残留成因=2026-10-24/28 两裁只改规约正文与对照表列定义,未扫技能文件自身模板句/复核门/审计步骤;技能面就此闭合,终检=两技能目录 grep 撤销证明/变异证明/undo_proof 仅禁令条款自身命中

待办清单.md

@@ -403,14 +403,6 @@
 - 直改落点：tools/probe_gate.sh（per-suite 进程树回收）＋game/tests/run_all.gd（OS.execute 阻塞面超时守护）——测试基建直改。**2026-10-28 用户裁四批全做，probe_gate 件已落**（run_suite 整树回收：启动记 WINPID → 超时先 `taskkill /T` 杀全树再 `kill -9` 收 MSYS 侧〔顺序颠倒会让 /T 走不到已死父进程〕→ 标志文件判超时〔taskkill 强杀后 MSYS wait 可能报 0〕；默认五段实跑全绿＋超时/正常双路径机制验证通过）。run_all.gd 件属代码面（game/tests），按车道铁律留待触及测试基建的 worktree 批顺带，本条目保持待执行。**2026-10-28 迭代 40 批末补实证（阻塞面挂死实拍）**：迁移类改动的回退使测试 `_init` 在 `quit()` 前中断（红行形态 `Invalid call. Nonexistent function`），进程挂至外层超时 124——卡① wr1/wr4/wr9 取证轮三例复现，与件②同根（阻塞面无超时守护），实证链在案（实现报告 §三第 1 条）。
 
 
-**改动面**：工具代码
-
-**状态**：待执行
-
-#### 撤销/变异禁令防复发扫描——pipeline_gate 短语级扫描待裁（2026-10-28 登记，来源=批次移交）
-
-**实况**：证据＝test-conventions §8.4 现行口径（2026-10-24／2026-10-28 用户两裁：禁变异类测试＋禁撤销类取证）。原「undo_proof.py 退役」条目主件已完成（2026-10-28：`tools/undo_proof.py` 已删，git 历史可考；`.zcode|.qoder` 两份 mock-card-iter40-1 的「撤销/变异证明」列改写为现行 req-card 六列对照表口径，判据改真实入口正向断言）。剩唯一待裁点：`tools/pipeline_gate.py` 是否加「变异测试／撤销证明」短语级扫描防复发——**短语级**（按「变异」单词扫会命中地形变异等玩法词，实测假红面大）。用户裁加＝执行后整条删除；裁不加＝本条即删。另呈报一处范围外发现：req-card SKILL 第 88 行「验收步骤…＋撤销证明方式」与第 106 行复核门「撤销证明方式写死」两句残留，与同文件第 44 行「卡内不得再出现撤销证明/变异证明列或步骤」自相矛盾，属 2026-10-24/28 两裁未扫净的技能面残留，待用户发令直写。
-
 **改动面**：工具代码
 
 **状态**：待执行