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 的解釋是否與實際變更匹配？它不生成代碼，不進行主觀評審，而是提供一種基於靜態分析的確定性驗證方法。