NoWreck：AI编码助手的确定性验证器

NoWreck 是一个确定性验证器，专门用于检查 AI 编码助手（如 Claude Code、Copilot）生成的变更解释是否真实反映了实际代码差异。当 AI 工具修改代码时，它通常会附带一段解释，但有时这些解释会包含错误——例如引用了不存在的函数、声称调用了实际未调用的函数，或遗漏了实际做出的修改。NoWreck 通过静态代码分析自动对比 AI 的声明与真实差异，而非依赖另一个 AI 的判断。

NoWreck 能检测四类问题：幻觉的内部文件、函数或类；虚假的内部 API 调用（引用不存在的函数）；解释与差异不一致（AI 描述了实际不存在的变更）；以及未解释的变更（AI 未提及的真实修改）。但需要注意，NoWreck 不检测逻辑错误、运行时故障、安全漏洞或幻想的第三方包（后者建议使用 slopcheck 或 slop-scan）。

为了证明其有效性，开发者在真实模型上进行了测试：他们要求 AI 在 somme_file.py 中添加一个 is_valid_email 函数，并谎称在函数内调用了 sanitize_input（但代码中不应包含该调用）。NoWreck 的报告显示，一个声明（添加函数）被确认，另一个声明（调用函数）被反驳——准确抓住了幻觉。

安装方面，可以通过 pipx 从克隆的仓库安装：pipx install .。配置时需要设置 API 密钥、基础 URL 和模型名称。例如，使用 Groq 时设置 nowreck config set base_url https://api.groq.com/openai/v1，并指定模型。NoWreck 支持多种 OpenAI 兼容的提供商，包括 OpenAI、Groq、DeepSeek、Ollama 等。

NoWreck 的工作流程分为四步：在变更前扫描仓库（记录符号、函数、类）；将提示发送给模型，获取差异和结构化声明；在变更后扫描仓库；独立对比 AI 声明与实际检测到的变更，报告每个声明的状态：CONFIRMED、CONTRADICTED 或 UNVERIFIABLE。所有声明类型（如 ADD_FUNCTION、CALLS_FUNCTION）均通过直接的结构化事实验证，而非关键词猜测或语义解释。

值得注意的是，NoWreck 提供置信度分数，反映其确定性检查的可靠性——但并非代码无错误的保证。它的局限性包括无法处理动态 Python 行为（如 exec/eval、动态导入、反射），且目前仅支持 Python。

总之，NoWreck 专注于一个特定问题：AI 的解释是否与实际变更匹配？它不生成代码，不进行主观评审，而是提供一种基于静态分析的确定性验证方法。