precheck

关于

AI agent 说它做完了，你现在只有两个选择：信它，或者自己把 diff 重看一遍。precheck 给第三个选项。它做两件测试框架不会做的事：第一，验收检查必须在动工之前写好并被哈希锁死，所以干活的那一方没法把考试题目改成自己会的；事后改一个字，之前所有结论全部作废——这是可验证的，不是靠约定。第二，检查通过之后，它会把被检查的产物改坏再跑一遍；在坏输入上照样通过的检查，从来就不是证据。 亮点 1. 审计的对象是「证明本身」。pytest 问的是「代码对不对」，precheck 问的是「你的证明对不对」——后者目前几乎没有工具。 2. 预注册是机制不是口号：检查在开工前冻结入哈希链，precheck verify 一条命令就能查出事后改动、删条目、跳序号。任何人拿到仓库都能自己验，不需要信任你。 3. 变异审计带具体改动：4 种变异（删行 / 置空 / 改数 / 截断）确定性地改坏产物再跑，逃逸的检查逐条列出改成了什么，比如 replicas: 3 -> 0 —— 一个永远起不来的服务，检查照样说通过。 4. 零依赖纯标准库、不联网、不侵入现有 CI；19 个单测；Linux / Windows / macOS × Python 3.8–3.13 全绿（9/9）。自带 composite GitHub Action。 5. 不夸大：输出明确写着「这是问题列表，不是 bug 列表」，README 有独立的 Limits 段落讲清它证明不了什么——包括「哈希链只能证明历史没被事后改动，不能证明第一条记录是诚实的」。

收录记录

1. HelloGitHub·用户投稿

   2026年9月25日 · 1 次收录