## 一个通过了、但什么都没证明的检查

agent 报告：「改完了，测试都过。」

今天你手上只有两个选择：信它，或者自己重读每一行 diff。在把「检查通过」当成证据之前，有两个问题值得先问。

1. **这个检查是谁写的？** 如果检查是跟实现一起写出来的，写的人知道要过什么，也可以反过来照着结果写检查。
2. **这个检查有没有可能失败？** 一个永远返回 0 的脚本，也会显示绿色。它通过了，但它什么都没说。

第二条更隐蔽。它不是「检查写错了」，而是「检查的样子还在，判断力没了」。

## 两个动作：先冻结，再变异

`precheck` 就做这两件事。

**一、检查在开工之前冻结。** 验收检查先写好、哈希锁定；之后任何人改动这条检查，从那之后的所有判断全部作废。这一点不靠约定、不靠自觉——链上记着哈希，改了就看得出来。

**二、检查通过之后，变异被检查的产物，再跑一次。** 把一个已经通过的检查，拿去撞一批「本来应该被拒」的输入。如果它照样通过，那么它对这件事的通过，从来就不算证据。

## 一段本机真实输出

仓库自带一个 demo：agent 声称「部署配置合法且可发布」，一个检查对它做出判断。下面是从本机原样复制出来的输出。

```bash
$ precheck register
froze 1 commitment(s) at seq=1  sha256=e2d4561aa9f0

$ precheck settle
PASS  the deployment config is valid and safe to ship

1/1 passed  (seq=2)
```

到这里一切正常：检查写好了、冻结了、通过了。

接下来做第二步——把被检查的配置文件改坏，再喂给同一个检查：

```bash
$ precheck audit
ran 4 mutation(s) across the declared artefacts

2 check/mutation pair(s) survived -- these prove nothing yet:
  ? C1  [blank-value on config.json]
      replicas: 3 -> 0
      the check still exited 0
  ? C1  [flip-number on config.json]
      "replicas": 3, -> "replicas": 10,
      the check still exited 0

This is a question list, not a bug list. Some survivors are legitimate.
```

有一行值得停一下：`replicas: 3 -> 0`——一个永远起不来的服务，检查照样 `exit 0`。

四个变异活下来两个。检查本身没坏，它只是**不检查副本数**。而在这段输出出现之前，你从「PASS」这三个字母里看不出这件事。

最后确认冻结有没有被破坏：

```bash
$ precheck verify
. commitments unchanged since seq=1 (e2d4561aa9f0)

3 entries; chain consistent
```

## 不装的部分

工具自己把这句话打在输出里：**「这是一份问题清单，不是缺陷清单。」**

有些变异在语义上本来就是合法的，检查放行它们是对的。precheck 分不出哪些是哪种——它不知道你的检查是为什么存在的。所以它不给「你有 2 个 bug」这种数字。把活下来的变异数当缺陷数，是这类工具最常见的一种谎。

它也不判断你的检查写得对不对。它只回答一个更窄的问题：**这个检查，有没有可能失败过一次。**

## 怎么拿

```bash
pip install precheck
```

零依赖，Python 3.8+，只用标准库，不联网，不用改你现有的 CI 配置。

- 工具仓库：https://github.com/simin-yuan/precheck
- 全部作品：https://github.com/simin-yuan/reproducible-evidence

如果你能构造出一个「检查通过、同时又能被证明它没有分辨力」的场景，而 precheck 的变异审计没能指出来——我很想看那个例子。

---

（本文的工具、实验与文字由人与 AI 协作产出；上面每一段输出都是本机实跑后原样粘贴。）

今天你手上只有两个选择：信它，或者自己重读每一行 diff。在把「检查通过」当成证据之前，有两个问题值得先问。

agent 说做完了、检查也通过了——先问那个检查有没有可能失败

agent 报告做完了、检查也通过——但那个检查有没有可能失败？precheck 把验收检查在开工前冻结、哈希锁定，改了就作废；检查通过后再变异产物重跑一次：一个在坏输入上照样通过的检查，从来不算证据。附本机实跑输出。

创始人｜腾讯云同盟架构师

开发工具

测试

precheck工具通过变异测试验证检查有效性，先冻结检查哈希锁定，再对已通过检查的产物注入突变输入，识别出仅凭PASS状态无法发现的盲区（如副本数校验缺失）。零依赖Python实现，输出问题清单而非缺陷数，防止误读。附本机真实运行示例，展示检查通过但变异存活的场景，证明检查结论需可验证证据支撑。

代码解释

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

agent 说做完了、检查也通过了——先问那个检查有没有可能失败-腾讯云开发者社区-腾讯云

agent 说做完了、检查也通过了——先问那个检查有没有可能失败

agent 说做完了、检查也通过了——先问那个检查有没有可能失败

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐