principle-prove-it-works | 直接查驗真正的產物
本頁以 pstack-claude 0.9.126 為基準。原文設定 user-invocable: false，通常由 poteto-mode 按需讀取。重點是直接證據，不是提供另一個完成宣告指令。
定位與適用情境
任務產生檔案、啟動程序或改變系統狀態後，不能只憑代理回報、檔案時間戳或編譯結果判定成功。要查驗真正交付的東西，也要確認採用的規格與紀錄是專案指定的來源。
例如修正帳務 CSV 匯出功能。需求指定「只匯出已付款訂單，金額保留兩位小數」。下載按鈕出現、HTTP 回應成功或舊截圖都不能證明下載內容正確。應直接解析這次取得的 CSV，對照已知訂單。
準備
- 取得專案指定的匯出規格與驗證方式，記下版本或可追溯位置。
- 準備已付款訂單
A-101、金額125.50，以及未付款訂單B-202。使用無敏感資料的測試環境。 - 確認可操作實際匯出入口，並能讀取本次下載的檔案，而非前一次產物。
操作步驟
- 讀取指定規格與驗證紀錄。將預期值獨立寫成訂單
A-101與金額文字125.50，不要用匯出程式自己產生預期答案。 - 從實際入口執行匯出，取得此次 CSV。直接讀取檔案內容，確認欄名、訂單集合與金額格式，而非只看檔名或修改時間。
- 盡可能用確定性腳本解析並比較結果。保留完整比較差異與結束碼。另用刻意含錯誤金額的測試副本確認檢查會指出金額不符，而不是因解析器例外才失敗。
- 若比較失敗，先核對是否讀錯下載檔、取到快取或查錯環境，再判斷程式是否有缺陷。報告實際值、預期值、來源與尚未驗證項目，不能只回報紅燈或成功文字。
可直接使用的提示詞
套用 principle-prove-it-works，驗證帳務 CSV 匯出修正。
先讀專案指定的匯出規格與驗證入口。
測試資料含已付款 A-101，金額 125.50，以及未付款 B-202。
從實際入口取得本次檔案，直接比較訂單集合與金額格式。
若可用，執行可重跑的比較腳本，保留差異及結束碼，確認錯誤副本因預期的內容不符而失敗。
列出證據來源與未驗證事項，不以編譯、時間戳或代理自述代替結果。不要提交或傳送資料。預期結果與驗收
- 本次下載檔只含
A-101，不含B-202，金額欄實際為125.50。 - 檢查能對刻意錯誤的副本指出具體差異。只有例外或空集合比較失敗，不足以證明檢查有效。
- 驗證紀錄標明輸入、規格來源、實際檔案、比較結果與結束碼，其他人可重跑同一比較。
- 報告區分已觀察事實與未覆蓋情況。例如此案例未涵蓋大量資料或其他幣別。
限制與權限
常見誤用是回報「有產生檔案」就當成內容正確，或只保留輸出最後一行與自行印出的成功訊息。版本識別欄位也不一定能證明正在執行新行為。
腳本與實測只能支持覆蓋到的輸入，不能證明整個系統無缺陷。無法取得實際環境或產物時，應回報驗證缺口。本頁未執行匯出、寫入驗證腳本或操作帳務資料；使用原則不會自動授權外部寫入、提交或傳送。