diff --git a/tools/undo_proof.py b/tools/undo_proof.py deleted file mode 100644 index 071fd430..00000000 --- a/tools/undo_proof.py +++ /dev/null @@ -1,159 +0,0 @@ -#!/usr/bin/env python3 -"""撤销证明自动化工具：一条命令完成「改前绿 → 真撤销复红 → 还原复绿」三连并出回执。 - -撤销证明的判据（test-conventions §8.4）：只撤销该改动、跑能覆盖它的最窄测试、对应断言 -必须变红、还原后复绿；撤销后仍绿＝断言没钉在改动上，判缺漏。本工具把这三连机械化—— -合法性属于「真撤销」（回退本批真实改动），全项目禁做变异类测试（改断言极性、置空状态、 -改名键、删调用行等人为制造红＝伪造证据）。 - -用法： - python tools/undo_proof.py --cmd "<最窄测试命令>" --revert-commit <该批提交> - python tools/undo_proof.py --cmd "<最窄测试命令>" --revert-files --base - 可选 --out 落回执；--timeout <秒> 限制单次测试命令时长（缺省 3600）。 - - --revert-commit：按该笔提交触过的文件集回退到其父提交版本（改动须已提交在分支上）。 - --revert-files＋--base：把指定文件回退到 （默认 HEAD）版本——适合改动尚未单独 - 成笔、混在当前尖里的场景。 - 测试命令在仓库根以 shell 执行；单套件直跑形态见 game/tests/README.md（测试工具手册）。 - -流程与退出码： - ① 改前基线：测试命令必须绿（红＝改前就红，无证明意义，中止）。 - ② 真撤销：指定文件回退到基准版本 → 重跑命令，必须红（红＝断言钉在该改动上）。 - ③ 还原：文件恢复到 HEAD → 重跑命令，必须绿。 - ④ 任何一步异常都先还原再退出；三步全过＝退出码 0 并打印回执，否则退出码 1。 -""" - -from __future__ import annotations - -import argparse -import json -import subprocess -import sys -from pathlib import Path - -REPO_DEFAULT = Path(__file__).resolve().parent.parent -REPO = REPO_DEFAULT - - -def run(args: list[str], check: bool = True) -> str: - r = subprocess.run(["git", "-C", str(REPO)] + args, - capture_output=True, text=True, encoding="utf-8", errors="replace", - timeout=60) - if check and r.returncode != 0: - sys.stderr.write("git %s 失败：%s\n" % (" ".join(args), (r.stderr or "").strip())) - sys.exit(1) - return (r.stdout or "").strip() - - -def run_cmd(cmd: str, timeout: int) -> int: - r = subprocess.run(cmd, shell=True, cwd=str(REPO), capture_output=True, - text=True, encoding="utf-8", errors="replace", timeout=timeout) - if r.returncode != 0: - tail = "\n".join((r.stdout or "").splitlines()[-15:] or ["（无输出）"]) - sys.stderr.write(" | 测试命令失败（exit=%d），输出尾部：\n%s\n" % (r.returncode, tail)) - return r.returncode - - -def _in_rev(rev: str, f: str) -> bool: - r = subprocess.run(["git", "-C", str(REPO), "cat-file", "-e", "%s:%s" % (rev, f)], - capture_output=True, timeout=30) - return r.returncode == 0 - - -def apply_rev(rev: str, files: list[str]) -> None: - # 逐文件：基准版本存在 → 恢复到该版本；基准没有（该批新增的文件）→ 从工作区删除。 - for f in files: - if _in_rev(rev, f): - run(["checkout", rev, "--", f]) - else: - subprocess.run(["git", "-C", str(REPO), "rm", "-q", "-f", "--", f], - capture_output=True, text=True, timeout=30) - - -def main() -> None: - ap = argparse.ArgumentParser(description="自动三连出撤销证明红绿回执") - ap.add_argument("--cmd", required=True, help="最窄测试命令（shell 形，仓库根执行）") - ap.add_argument("--revert-commit", default=None, help="该批提交：按其触过的文件集回退到父版本") - ap.add_argument("--revert-files", default=None, help="逗号分隔的文件清单（与 --base 配用）") - ap.add_argument("--base", default="HEAD", help="回退基准版本（默认 HEAD）") - ap.add_argument("--timeout", type=int, default=3600, help="单次测试命令时长上限（秒）") - ap.add_argument("--repo", default=None, help="仓库/worktree 路径（缺省＝本脚本所在仓库）") - ap.add_argument("--out", default=None, help="回执 JSON 落盘路径") - args = ap.parse_args() - - global REPO - REPO = Path(args.repo).resolve() if args.repo else REPO_DEFAULT - - try: - sys.stdout.reconfigure(encoding="utf-8", errors="replace") - sys.stderr.reconfigure(encoding="utf-8", errors="replace") - except Exception: - pass - - if bool(args.revert_commit) == bool(args.revert_files): - ap.error("--revert-commit 与 --revert-files 二选一") - - if args.revert_commit: - files = [x.strip() for x in run( - ["-c", "core.quotepath=false", "show", "--name-only", "--format=", - args.revert_commit]).splitlines() if x.strip()] - base = "%s^" % args.revert_commit - if not files: - sys.stderr.write("[撤销证明] 提交 %s 未触碰任何文件，无可撤销\n" % args.revert_commit) - sys.exit(2) - else: - files = [x.strip() for x in args.revert_files.split(",") if x.strip()] - base = args.base - - dirty = run(["-c", "core.quotepath=false", "status", "--porcelain", "--"] + files) - if dirty: - sys.stderr.write("[撤销证明] 指定文件带未提交改动，撤销与还原的基准不清，先提交：\n%s\n" % dirty) - sys.exit(2) - - steps: list[dict[str, object]] = [] - result = "pass" - - def step(name: str, expect: str, code: int) -> bool: - ok = (code == 0) if expect == "绿" else (code != 0) - steps.append({"step": name, "expect": expect, "exit": code, "ok": ok}) - print("[撤销证明] %s：期望%s，实测 exit=%d → %s" - % (name, expect, code, "符合" if ok else "不符合")) - return ok - - print("[撤销证明] 对象文件 %d 个；基准 %s；命令：%s" % (len(files), base, args.cmd)) - try: - if not step("① 改前基线", "绿", run_cmd(args.cmd, args.timeout)): - result = "fail（改前就红——先修绿再做撤销证明）" - else: - apply_rev(base, files) - try: - if not step("② 真撤销复红", "红", run_cmd(args.cmd, args.timeout)): - result = "fail（撤销后仍绿＝断言没钉在该改动上，判缺漏）" - else: - apply_rev("HEAD", files) - if not step("③ 还原复绿", "绿", run_cmd(args.cmd, args.timeout)): - result = "fail（还原后未复绿——还原面有残留，查工作区）" - finally: - apply_rev("HEAD", files) - except subprocess.TimeoutExpired: - result = "fail（测试命令超时）" - finally: - # 兜底还原：无论走到哪一步，退出前把对象文件恢复到 HEAD 态 - apply_rev("HEAD", files) - - residue = run(["-c", "core.quotepath=false", "status", "--porcelain", "--"] + files) - if residue: - result = "fail（退出前工作区仍有对象文件残留改动，手工核对）" - - print("─" * 56) - print("[撤销证明] 结论：%s" % result) - if args.out: - with open(args.out, "w", encoding="utf-8") as f: - json.dump({"cmd": args.cmd, "base": base, "files": files, - "steps": steps, "result": result}, f, ensure_ascii=False, indent=1) - print("[撤销证明] 回执已落 %s" % args.out) - sys.exit(0 if result == "pass" else 1) - - -if __name__ == "__main__": - main() diff --git a/待办清单.md b/待办清单.md index 71d3026b..52fa881c 100644 --- a/待办清单.md +++ b/待办清单.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 条）。 -**改动面**：工具代码 - -**状态**：待执行 - -#### undo_proof.py 退役——撤销证明禁令生效后的死工具（2026-10-28 登记，来源=批次移交） - -**实况**：证据＝test-conventions §8.4 现行口径（2026-10-24／2026-10-28 用户两裁：禁变异类测试＋禁撤销类取证，验收唯一主判据＝真实入口断言当轮执行并通过；AGENTS.md 红线「验收闭合」与 req-card SKILL 第 8 条同批换代）。`tools/undo_proof.py`（159 行，挂死防护批产物）为撤销证明的自动化载体（三连红绿回执并自还原），服务对象已被禁令整体废止——工具本体退役删除。同族残留顺带裁：`.zcode|.qoder/skills/iter/evals/files/mock-card-iter40-1.md` 表头「撤销/变异证明」字样（两份，反向残留）；`tools/pipeline_gate.py` 是否加「变异测试／撤销证明」短语级扫描防复发（**短语级**——按「变异」单词扫会命中地形变异等玩法词，实测假红面大）。 - **改动面**：工具代码 **状态**：待执行