NoWreck：验证AI代码修改是否属实的工具

NoWreck 是一个开发者工具，用于验证 AI 编程 Agent 所做的声明。

AI 编程 Agent 可以修改代码库，并自信地解释它们做了什么更改，但这些解释并不一定是事实。NoWreck 旨在独立地根据代码库中可观察到的变更来检查这些声明。

NoWreck 分析源文件、构建符号索引、检测结构变更、解析 AI 生成的声明，并将这些声明与检测到的证据进行比对。每条声明都会被分类为：已验证、被反驳、或无法验证——而不是盲目接受。

目标是有意收窄的：NoWreck 不判断代码是否好、是否正确、是否安全、是否设计良好。它只检查 Agent 的声明是否与可观察到的变更相符。

目前开发重点是扩展声明覆盖率和语言支持，未来的工作旨在让 Prompt Mode 完全独立——通过与实际变更前后的仓库状态进行比对来验证声明，而不是依赖模型自身输出的证据。

AI 可以做出变更。AI 可以解释变更。NoWreck 检查解释是否与现实相符。