Theme / 0.9.130
Pstack
用可驗證的工作流程協作,從單一入口學會工程技能
全部技能範例
67 項技能 (Skill)、201 個範例。展開技能,即可查看不同情境的參考提示詞 (Prompt) 與驗收重點;一次聚焦一項,減少上下捲動。
範例依本站 pstack-claude 0.9.126 教學編寫,情境與預期結果供練習使用。提示詞是任務內容,實際技能選取方式依平台而異;開發原則 (Principle) 以自然語言套用,並非可直接呼叫的斜線指令 (Slash Command)。詳見版本與使用限制。
← 全部技能速查表入口與需求 · 6 項
poteto-mode | 用目標與驗收啟動工作流程3 個範例讓代理依任務選擇作業流程,保留跳過理由,並以實際產物驗證結果。
範例 1 · 修復空白搜尋結果
參考提示詞 請處理網站空白查詢顯示錯誤結果,目標是空字串與全空白輸入不報錯,正常查詢維持可用;只改搜尋相關範圍,先重現與找原因,再以實際頁面和既有測試驗收。驗收重點:流程清單保留必要步驟或說明略過原因,報告實際輸入、觀察結果、檢查狀態及尚未驗證項目。
範例 2 · 新增匯出格式選項
參考提示詞 請在既有報表匯出加入 JSON 格式,使用目前匯出入口與測試,只支援規格列出的欄位;先重述目標、查現況並提必要步驟,完成後驗證 CSV 回歸和 JSON 內容,不部署或推送。驗收重點:工作流程貼合範圍且包含格式與回歸驗收,結果區分完成、失敗及未驗證,沒有額外擴展匯出能力。
範例 3 · 調查重啟後設定遺失
參考提示詞 請調查桌面程式重啟後設定消失,先重現並追查保存和還原路徑,只改設定功能及相關檢查;驗收包含重啟、首次空設定與既有設定,資料修復和安裝包發布另行停下。驗收重點:依證據選擇調查和修復流程,驗收覆蓋正常與邊界狀態,缺少資料或工具時明確阻塞而非猜根因。
poteto-help | 找到適合問題的技能入口3 個範例先查技能與平台來源,再提供一個可送出的任務提示詞,不直接開始花費資源的工作。
範例 1 · 選擇搜尋原因查證技能
參考提示詞 請只回答技能用法:我使用 Codex 原生插件,想知道搜尋快取為何採目前失效策略,how、why、teach 哪個適合?先看對應技能及平台說明,給一個可貼上的需求,不開始調查。驗收重點:推薦能回答設計理由的入口並附支撐來源,沒有把使用方式問題轉成已執行的程式調查。
範例 2 · 查詢適合的效能技能
參考提示詞 請只協助選入口:我已量到匯出變慢,想判斷基準是否公平且真的完成工作,應使用哪個技能?讀相符說明並給一段簡短提示,不執行量測或安裝工具。驗收重點:推薦以量測品質查核為中心的技能,說明它需要哪些輸入和授權,沒有先啟動分析。
範例 3 · 尋找個人模式整理方法
參考提示詞 我只想知道如何整理反覆出現的工作偏好,現有偏好文件可能需要更新;請推薦適合的技能、說明需要我提供什麼紀錄並給可貼提示,不讀私人歷史或建立檔案。驗收重點:答案區分個人模式整理與單一工作流,且只引用可查到的技能說明,不假設歷史資料可存取。
setup-pstack | 依平台設定角色模型與路由3 個範例辨識可用模型,確認各角色與推理等級,並按不同執行環境寫入與載入模型設定表。
範例 1 · 盤點 Codex 審查模型設定
參考提示詞 請依 setup-pstack 盤點目前已授權可讀的 Codex 角色模型與代理數,並列預設推理等級和可能過期項目;先只提出 pstack-models.md 與 AGENTS.md 的差異,不讀寫全域設定。驗收重點:模型名稱依目前工具可用清單核對,清楚區分沿用父模型、設定表記錄和實際載入狀態。
範例 2 · 檢查 session 推理等級
參考提示詞 請評估目前工作階段是否能提供 session 推理等級,並列出需檢視的設定位置與載入機制;若工具無法讀出就列固定等級供選擇,不猜值或改全域檔案。驗收重點:交付可核實的角色值及待決設定,沒有把寫入設定表誤報成平台已生效。
範例 3 · 估算平行評審角色配置
參考提示詞 請先盤點本機可用的模型識別名稱,再規劃 arena 候選與唯讀評審的角色分配及預期代理數;比較成本與模型家族差異,本輪不修改載入設定或安裝技能。驗收重點:面板每個項目對應的代理數清楚,評審順序與同時評審區分,缺少能力時標示降級。
in-your-own-words | 開工前確認代理理解的目標3 個範例請代理用自己的話復述你的目標與待解問題,及早發現把做法誤當目的的偏差。
範例 1 · 確認報表匯出需求
參考提示詞 請先用自己的話說明這項需求的問題和目標,不要實作:同事找不到每週報表的匯出入口,想把現有按鈕移到頁面上方,匯出格式與權限都要保持不變。驗收重點:復述聚焦在讓同事找到既有匯出功能,並保留格式和權限限制,不擴大成新增報表能力。
範例 2 · 確認搜尋空白結果目標
參考提示詞 請只復述你理解的目標:使用者輸入空字串或全空白時不應看到錯誤結果,一般關鍵字仍照常搜尋;先不要分析原因、選擇實作或修改程式。驗收重點:清楚區分需要改善的空白查詢結果與必須保留的一般搜尋行為,不自行推論解法。
範例 3 · 釐清匯入錯誤需求
參考提示詞 請說明你理解的匯入問題與成功條件,不實作:管理員上傳 CSV 後需要看到錯誤列號並可修正重試;資料驗證失敗時不得新增任何資料,格式上限尚未決定。驗收重點:指出錯誤可定位和失敗不寫入是目標,格式上限仍待決定,沒有補入假設值。
sharpen | 把需求改成有證據的深入任務3 個範例補上專業方法、原始材料與外部驗收依據,再改寫提示詞,保留應由使用者決定的選項。
範例 1 · 深入調查搜尋變慢
參考提示詞 請把「整理搜尋為何很慢」改寫成可執行調查提示,只交分析與提示稿;輸入是去識別查詢時間、可重現查詢及目前程式碼,範圍限延遲證據與可能原因,目標值和成本留待我決定。驗收重點:提示指定原始材料、分析方法與外部驗收證據,不新增功能或把推測速度寫成已觀察結果。
範例 2 · 查明匯入失敗率升高
參考提示詞 請只深化「最近匯入常失敗」這項需求,先說專家會補查哪些原始日誌、版本和失敗樣本,再交可貼提示詞;不得直接修復,產品可接受失敗率仍留白。驗收重點:改寫要求可重現案例與外部證據,區分測量、推論和未知,不擴大為重做匯入系統。
範例 3 · 釐清行動版畫面回報
參考提示詞 請把「行動版頁面看起來怪」深化成只分析問題的任務,要求提供裝置尺寸、實際截圖、路由與重現步驟;保留尚未定義的支援裝置範圍,不產生實作或虛構目標。驗收重點:任務寫明所需材料、可觀察問題與驗收來源,同時保留使用者必須決定的裝置和產品範圍。
automate-me | 把反覆確認的工作習慣整理成個人模式3 個範例以多次出現的偏好及使用者確認為依據,草擬或更新個人模式技能,不把單次任務變成永久規則。
範例 1 · 整理反覆工作偏好
參考提示詞 請只依我提供的去識別工作紀錄與現有模式,草擬個人工作偏好;區分至少兩組紀錄反覆出現的規則、單次要求和矛盾項,先列少量待確認問題與差異,不建立或寫入檔案。驗收重點:每條草稿規則都能追到摘錄或待確認標記,保留未被新證據推翻的舊內容。
範例 2 · 更新個人文件模式
參考提示詞 請檢查我貼上的現有文件撰寫模式及近期匿名紀錄,只整理最後編輯後的新證據;不要把一次指定語氣寫成永久偏好,先給精簡修訂稿、證據編號與待確認項目。驗收重點:修訂稿只含有證據支持的個人規則,並清楚指出新增、保留與尚待確認內容。
範例 3 · 區分工作流與偏好
參考提示詞 請從我提供的多次提交回饋摘錄,判斷哪些是個人長期偏好、哪些只是單一專案流程;不得掃描其他對話或推測未提供歷史,先提出模式草案供我確認。驗收重點:分類表附來源摘錄及信心限制,沒有把通用工程建議或單次要求冒充個人習慣。
理解與回顧 · 8 項
how | 追蹤系統如何運作與責任歸屬3 個範例從程式碼追蹤執行流程、模組分層與責任邊界,依問題複雜度安排唯讀探索及解說。
範例 1 · 追蹤搜尋資料流
參考提示詞 請唯讀追蹤搜尋框輸入「規格」到畫面結果的完整資料流,從實際入口說明正規化、索引載入、查詢及渲染位置;指出各層擁有的狀態與轉換,不推測歷史設計理由。驗收重點:依執行順序說明輸入如何改變及各模組責任,提供可回查符號位置,未讀外部實作列為缺口。
範例 2 · 釐清設定載入流程
參考提示詞 請解釋命令列設定如何進入排程器,從解析入口追到型別化結果及錯誤呈現;只描述現行呼叫關係,列檔案位置與資料轉換,若跨模組才分角度唯讀探索。驗收重點:回答設定在哪裡驗證、誰消費結果及錯誤如何傳出,並用一個輸入走完整條路徑。
範例 3 · 查明快取清理層次
參考提示詞 請沿目前程式追蹤快取失效請求從 UI 到儲存層的流程,標出每次資料轉換及通知責任;不要改檔,也不要把目前程式行為解釋成當初選擇這種架構的原因。驗收重點:說明各層的呼叫順序和輸入輸出責任,並標出靜態查閱無法確認的正式環境行為。
why | 用歷史證據查設計理由3 個範例以程式碼位置與版本歷史為起點,查核可用的決策、事故與產品紀錄,分開呈現事實、推論及未知。
範例 1 · 查詢搜尋重試上限理由
參考提示詞 請唯讀查搜尋請求重試上限為何設定在目前數值,先定位符號與相關提交,僅查我已授權的 Git、PR 和工單;每個來源列出查詢結果,缺失不能解讀成事故未發生。驗收重點:報告分開有來源的事實、推論、替代解釋與未知,並列變更前應保留、可改及風險事項。
範例 2 · 追查快取失效策略
參考提示詞 請調查快取失效策略的歷史理由,從當前程式錨點追到引入提交和已提供的事故文件;逐一記錄來源是否可查,不連線未授權聊天或監控服務,也不修改程式。驗收重點:設計動機附原始證據及信心措辭,零結果和未授權來源分列,沒有合理故事冒充歷史事實。
範例 3 · 釐清帳務匯出欄位承諾
參考提示詞 請查帳務匯出為何保留兩位小數,先找欄位程式位置及歷史提交,再查我提供的規格和核准工單;外部來源無權存取時列明,先交調查摘要而非直接改格式。驗收重點:區分現行規則、歷史決定與當前替代解釋,每個結論可追來源,並整理變更時應保護的契約。
teach | 把運作方式與理由講到能理解3 個範例結合 how 與 why 的查核結果,以簡短定義和逐層說明教懂一個變更或子系統,不直接修改它。
範例 1 · 理解搜尋索引初次載入
參考提示詞 請教我這次索引載入變更,目標是看完能說明第一次搜尋如何載入索引、第二次如何重用;先定位程式並查運作與設計理由,從一兩句解釋開始,不改程式。驗收重點:解說以使用者操作連到資料流和來源位置,保留理由的未知處,讓讀者能追蹤第一次與後續搜尋差異。
範例 2 · 理解付款重試限制
參考提示詞 請從我提供的付款重試差異與授權 Git 歷史教我為何有次數上限;先給核心機制及有證據的設計理由,再依追問深入,不連外部服務或把猜測說成事實。驗收重點:區分目前運作方式和歷史理由,附證據來源與未查範圍,不用函式清單代替解說。
範例 3 · 理解表單錯誤回復流程
參考提示詞 請教我表單驗證失敗後如何回到可修正狀態,先沿真實事件流程解釋輸入、錯誤呈現和重試;僅在互動部分較多時逐步畫圖,不測驗我也不修改程式。驗收重點:讀者能說明錯誤如何呈現及恢復入口,圖中文字與程式一致,未讀程式或歷史理由明確列為缺口。
bro | 把上一則回覆講白話3 個範例將代理自己的上一則訊息改成更簡單、連貫而精簡的說法,不另開調查或重做整段對話摘要。
範例 1 · 解釋搜尋錯誤影響
參考提示詞 請把你上一則關於搜尋初始化競態的回覆改成白話,簡短說明使用者會看到什麼;保留原因尚未確認這件事,不查檔案、不增加推測,也不開始修復。驗收重點:改寫更短且不需先懂術語,仍保留未確認原因的限定,沒有新增測試或修復宣稱。
範例 2 · 精簡建置失敗回報
參考提示詞 請把上一則建置失敗說明講給不熟悉 TypeScript 的同事聽,只說目前能確認的錯誤與影響;保留無法判斷的部分,不重新調查或改動程式。驗收重點:說法使用日常詞彙並保留原始不確定性,沒有把推論變成已確認根因。
範例 3 · 白話說明待決方案
參考提示詞 請將你上一則列出的快取方案差異縮成幾句白話,說明各方案對讀取結果的影響;不選方案、不補新理由,若缺少原文就先請我貼上原文。驗收重點:只改變表達方式,保留方案差異與未決狀態;缺少上下文時不假裝記得。
recall | 重建近期工作的可接手脈絡3 個範例結合範圍內的對話、共享紀錄及目前狀態,整理工作線、反覆問題與一個具體下一步。
範例 1 · 接手搜尋索引工作
參考提示詞 請重建我在目前專案搜尋索引的工作脈絡,範圍限定我提供的去識別紀錄、指定 PR 和本機 Git 狀態;區分人類決定與代理推論,查不到的今天狀態標未核實。驗收重點:交付短概況、各工作線、反覆問題和一個下一步,每個完成或回退狀態都能追到來源。
範例 2 · 整理未完成付款遷移
參考提示詞 請依我貼上的摘要與核准可讀的工單,整理付款 API 遷移決定、失敗嘗試和未完成工作;若不能讀取共享紀錄或當前分支,列為覆蓋缺口,不推定沒有紀錄。驗收重點:每條工作線保留來源及可核實狀態,明確區分已合併、進行中、已回退和僅規劃事項。
範例 3 · 回顧文件修正決策
參考提示詞 請整理本專案文件連結修正的近期脈絡,只使用指定日期範圍內的去識別摘錄和授權 PR 資料;標明人類原話、代理解讀與目前未核實狀態,公開前移除私人資訊。驗收重點:摘要保留實際決定和未完成事項,不把提交或對話中的計畫說成已發布成果。
ketchup | 看懂本輪進度與等待你的決定3 個範例唯讀整理上次人類訊息後的實際變化,使用既有視覺證據,逐項列出只有使用者能做的決定。
範例 1 · 搜尋修正進度摘要
參考提示詞 請從我本次工作開始前最後一則訊息整理搜尋修正進度,唯讀核對已有差異、檢查與代理狀態;先說是否等我決定,保留更早待決事項並列出代理仍能自行完成的工作。驗收重點:摘要逐項對應原始需求與現有證據,完成、失敗、執行中和未檢查狀態分明,不編造截圖或數字。
範例 2 · 呈現表格元件待選方案
參考提示詞 請彙整本輪表格元件比較,先列需要我選擇的密度方案及各自影響、證據和建議;只用已有畫面與結果,未知就標明,另外用一行說明代理還可自行做什麼。驗收重點:讀者不打開連結也能理解決策代價,仍等待的舊選擇沒有被新進度覆蓋。
範例 3 · 回報建置驗證狀態
參考提示詞 請唯讀整理本輪建置修正狀態,先確認實際執行命令與可取得的結果,再列未完成的整合驗證;不要啟動新工作、服務或把建議部署當成授權。驗收重點:報告區分已執行與未驗證,結論可回到真實產物,沒有把代理可做事項轉成使用者待辦。
ketchup-video | 用有字幕的短片回顧本輪變化3 個範例沿用 ketchup 的回顧與待決事項規則,以既有產物製作短片,實查畫格、字幕及停留時間後再嵌入。
範例 1 · 回顧搜尋畫面方案
參考提示詞 請只用本輪既有的搜尋畫面截圖與驗證結果製作無聲短片,最多十張投影片並在固定底帶放字幕;逐張檢查輸出畫格可讀性,寫入限已核准的儲存庫外暫存目錄。驗收重點:影片畫面來自真實截圖,字幕不遮內容且停留時間可讀;沒有渲染或畫格工具時回報缺口,不提供假連結。
範例 2 · 呈現表單錯誤修正前後
參考提示詞 請從已提供的表單修正前後截圖做短片,每張只呈現一項可觀察變化,保持方案名稱一致並將字幕放獨立區域;不要啟動應用或繪製未擷取畫面。驗收重點:每個畫格都可回查來源截圖,文字與待決事項一致,沒有把未截取的介面推測畫成事實。
範例 3 · 展示導覽原型比較
參考提示詞 請將已有的三張導覽原型截圖整理成無聲橫向短片,逐步標示真實觀察到的入口差異;逐張確認字幕完整停留且可讀,影片只存到指定暫存位置。驗收重點:影片僅展示已有產物,標註觀察與未驗證內容,不把推薦方案或待決選項稱為完成。
what-did-i-get-done | 將本人提交整理成精簡近況3 個範例限定實際日期與作者身分,排除合併及未提交變更,將重要行為與架構變化整理成狀態更新。
範例 1 · 整理上週搜尋提交成果
參考提示詞 請唯讀整理目前儲存庫中我上週的搜尋工作,先確認 Git 作者信箱,再用台北時區具體日期篩選本人非合併提交;排除未提交內容,不把提交寫成已部署。驗收重點:摘要附明確日期範圍且每項能回查提交和差異,沒有混入其他作者或僅存在對話的計畫。
範例 2 · 統整 API 個人近況
參考提示詞 請依我指定的作者信箱和日期範圍整理 API 專案個人近況,只納入實際提交中可確認的功能變更;純格式和重新命名略過,作者信箱不明時先回報缺口。驗收重點:短摘要包含查詢日期和可追溯成果,未另查的合併、發布或上線狀態保持未知。
範例 3 · 回顧文件維護提交
參考提示詞 請整理指定期間我在文件專案的主要提交,只讀 Git 並查看必要差異,排除合併提交、別人工作和工作目錄未提交變更;若只有小型整理就如實說明,不湊成果。驗收重點:每項近況可對回本人提交日期與內容,未能確認的作者或部署狀態不猜測補寫。
設計與實作 · 5 項
architect | 先定介面與模組形狀3 個範例先理解既有系統,以競爭草圖比較型別與責任邊界,再依選定契約實作並記錄偏離。
範例 1 · 背景匯出取消契約
參考提示詞 請依 architect 技能設計背景匯出取消功能,先讀匯出入口、呼叫端與測試;比較工作物件和集中狀態機兩種責任配置,定義取消後不通知下載,先交草圖不實作。驗收重點:交付兩種不同模組草圖、呼叫端用法與取捨,並列出取消及完成狀態的可觀察契約。
範例 2 · 通知重試介面
參考提示詞 請為通知投遞重試先做架構設計,追蹤現有排程、通道與測試;比較集中重試器和通道自管重試,要求冪等且單一通道失敗不阻塞其他通道,只交契約草圖。驗收重點:草圖標明責任、介面、錯誤結果與不變條件,並保留需產品決定的重試政策。
範例 3 · 批次匯入責任切分
參考提示詞 請先讀批次匯入流程與所有呼叫端,設計每批錯誤隔離及最後彙整結果;比較批次物件擁有狀態與協調器集中保存,列出各自測試路徑,未核准前不改程式。驗收重點:提供可比較的型別與模組責任草圖,說清錯誤隔離、彙整結果及尚未確認的規格。
arena | 同題競賽與方案合成3 個範例讓多個候選獨立完成同一任務,以明確評分規準選出基底,再移植其他方案的有效部分。
範例 1 · 通知重試方案競賽
參考提示詞 請讓數個候選以同一份通知投遞需求獨立設計重試方案;每案讀相同介面與測試,處理冪等、通道隔離及退避,交叉檢查後選一個基底並整合少數優點,只交方案不改正式程式。驗收重點:呈現候選、評審範圍、基底選擇與移植理由,並列合成方案的重複投遞驗證方式。
範例 2 · 快取淘汰架構比較
參考提示詞 請比較兩種快取淘汰設計,候選都讀相同呼叫端與失效需求,說明記憶體成本、失效時序及恢復方式;先訂共同評分準則,讀完全部方案後合成一案,不以投票代替判斷。驗收重點:最後只有一致方案,附評分標準、候選分歧、採用與移植理由,以及可重跑的失效檢查。
範例 3 · 資料匯入解析方案
參考提示詞 請安排候選比較大型 CSV 匯入的串流與整批解析方案,所有人使用相同資料限制和錯誤契約;核對候選完整產物後選基底,再整合必要優點,缺少獨立評審能力要明示。驗收重點:交付單一合成設計,列出輸入規模假設、記憶體取捨、落選理由與合成版驗證。
swarm | 平行切片與覆蓋彙整3 個範例先定完成條件與切片責任,再派出隔離工作者,按覆蓋或競速規則整合證據與缺口。
範例 1 · 購物車功能切片覆蓋
參考提示詞 請以 swarm 覆蓋方式唯讀驗證購物車差異,切片為價格、優惠券和付款接續;每片使用指定 SHA 與既有命令回報實際輸出,最後彙整缺口,任一切片缺證據都不宣告整體通過。驗收重點:單一覆蓋表逐片呈現 SHA、命令和結果,阻塞或失聯切片列為缺口,不把原始代理摘要當證據。
範例 2 · 平行檢查文件連結
參考提示詞 請將文件站連結檢查分成路由、外部參照和錨點三個不重疊唯讀切片,先確認基底與目標版本;各片回報方法與可重現失敗,彙整時保留缺失切片,不修改內容。驗收重點:每片覆蓋範圍與驗證證據清楚,退出或重試仍缺結果時明列,不能以其他切片通過替代。
範例 3 · 競速測試案例發現
參考提示詞 請以 swarm 競速方式搜尋指定 CSV 解析器的錯誤案例,先選定 first pass 或 rank all 規則並讓候選讀相同 SHA;彙整所有有真實輸入與輸出的問題,缺少命令或版本即列缺證據。驗收重點:報告遵守預先選好的勝出規則,列出案例、版本、執行輸出與退出者,不將想像輸入稱為重現。
figure-it-out | 為複雜任務設計可稽核流程3 個範例把無現成劇本的大型工作拆成可驗證單位,先建基準與關卡,再以假設迴圈留下決策證據。
範例 1 · 付款供應商介面遷移計畫
參考提示詞 請先為三個付款供應商整合設計可稽核流程,只讀既有介面、呼叫端與契約測試;目標是退款及錯誤結果不變且舊呼叫歸零,列出基準、危險未知、原子單位和通過關卡,不連正式服務。驗收重點:每階段有輸入、輸出與可失敗驗收,結論標示已證實、未驗證或無法判定,不把計畫當成遷移完成。
範例 2 · 教材格式全站遷移
參考提示詞 請規劃把教材舊 frontmatter 遷至新 schema 的分段工作,先確認基準與全部內容檔清單,按最可能破壞資料的未知排序;每批需有假設、最小修改、驗證與可逆點,這輪只交計畫。驗收重點:交付有明確順序的工作流、逐批驗收與最終全站條件,未獲授權的刪除或發布步驟保持開放。
範例 3 · 搜尋索引格式重構流程
參考提示詞 請為搜尋索引格式重構設計可追溯流程,從目前查詢結果建立基準,拆出解析、索引生成及 UI 消費者三個單位;每單位設定真實輸入檢查和失敗回退條件,不修改或部署。驗收重點:各工作單位能獨立驗證,決策紀錄連到實際產物,整體完成條件另含端到端查詢驗收。
tdd | 先證明失敗再修復錯誤3 個範例針對有便宜本機測試路徑的錯誤,先執行會因正確原因失敗的回歸測試,再做最小修復。
範例 1 · 修正折扣負數錯誤
參考提示詞 請用 TDD 修正折扣高於原價時總額變負數的問題,先讀 discountTotal 及現有測試,只新增最低總額為零的聚焦案例;先證明失敗原因是金額不符,再做最小修正並重跑。驗收重點:修改前輸出明確顯示負數與預期零不符,修正後同案例通過且正常折扣回歸仍有效。
範例 2 · 處理日期區間邊界
參考提示詞 請為日期範圍查詢補一個已知錯誤案例,規格是結束日當天資料仍包含在結果;先確認現有程式回傳的實際差異,再只改造成排除端點的原因,驗證邊界和一般日期。驗收重點:新測試先因少掉結束日資料失敗,修復後相同案例通過,沒有因環境錯誤假稱紅燈證明缺陷。
範例 3 · 避免空清單分頁錯誤
參考提示詞 請調查分頁元件遇到空結果時索引越界,先選既有最窄測試路徑寫空清單回歸案例;確認修改前因預期差異失敗,再以最小變更修復並驗證非空分頁。驗收重點:修改前失敗指向空清單狀態而非測試載入問題,修改後空與非空行為均可查證。
審查與品質 · 8 項
blast-radius | 證明變更的外部影響3 個範例追蹤差異以外的消費者、格式與生命週期,找出安全性依賴的關鍵事實並以真實程式驗證。
範例 1 · 快取清理副作用查核
參考提示詞 請唯讀追查快取清理差異、固定版本依賴與呼叫端,分開驗證失效項目被移除及有效項目不通知訂閱者;在隔離測試資料跑真實函式,報告證據層級與尚不可見的外部消費者。驗收重點:列出逐條風險與已排除案例,附來源位置、重現命令及證據層級,不把搜尋不到呼叫端當安全證明。
範例 2 · 資料庫欄位遷移影響
參考提示詞 請檢視資料庫欄位改名差異,沿 API、序列化與另一服務的讀取路徑追查相容性;以隔離資料驗證新舊格式轉換,若外部消費者或正式環境不可查,列為未證明。驗收重點:每個風險說明破壞路徑、影響及最低成本回歸檢查,並清楚區分已驗證和未知邊界。
範例 3 · 背景工作取消風險
參考提示詞 請查核背景工作新增取消操作的差異與排程時序,驗證取消後不再寫入結果或發送通知,並檢查完成與取消競態;只用本機隔離測試,不修改程式或接觸正式服務。驗收重點:報告由真實測試支持的競態結果、風險機制及未涵蓋時序,不將靜態搜尋當執行證據。
interrogate | 只回報可重現的成立問題3 個範例讓對抗審查者嘗試破壞變更,重跑每個重現命令,只保留違反意圖的實證問題,不套用修復。
範例 1 · 驗證分享撤銷立即生效
參考提示詞 請只審查分享連結撤銷差異,意圖是撤銷後舊連結請求被拒;在隔離環境用真實程式重現快取與重複撤銷情境,每個發現附命令、實際和預期輸出,本輪不修復。驗收重點:只保留主代理重跑後確認違反意圖的問題,其他疑慮列淘汰原因,沒有成立項目也明確回報。
範例 2 · 對抗訂單防重契約
參考提示詞 請檢查訂單建立差異是否能被重複送出造成兩筆訂單;範圍限指定提交與未提交修改,使用隔離測試資料重放相同請求,逐項由主審者重跑成立問題,不改程式。驗收重點:成立問題能由真實命令重現並有預期差異,風格意見和未執行猜測不列為缺陷。
範例 3 · 查核權限降級路徑
參考提示詞 請對抗性檢查報表下載的新權限分支,意圖是無權使用者仍被拒絕;嘗試各角色、直接 API 呼叫與舊連結,在本機替身或隔離測試中驗證,回報證據不作修補。驗收重點:每項問題由意圖、實際輸出和獨立重跑支持,並說明外部環境或未取用工具造成的覆蓋缺口。
thermo-nuclear-review | 深查正確性與安全退化3 個範例聚焦分支新增與修改程式,追蹤跨模組副作用、功能開關外洩與開發環境破壞,再核對既有審查意見。
範例 1 · 稽核預覽權限改動
參考提示詞 請唯讀審查預覽功能分支的權限與功能開關差異,獨立追完前後端呼叫及本機啟動路徑;只回報由本分支造成的可重現風險,未授權不讀取秘密或 PR 討論。驗收重點:有效問題附觸發條件、影響及來源,既有漏洞不混入,缺少後端或工具的部分標為未確認。
範例 2 · 查核環境變數改名相容性
參考提示詞 請檢查分支把 PREVIEW_TOKEN 改名後的服務端讀取、範例設定與啟動腳本;驗證新舊名稱如何影響本機開發,只審新增差異,不連正式服務、不修改或發表留言。驗收重點:報告追到實際執行的權限和設定位置,區分刻意變更與意外破壞,不把 UI 隱藏當授權證明。
範例 3 · 追查上傳分支安全退化
參考提示詞 請稽核上傳流程分支差異,追蹤檔案型別驗證、儲存副作用和功能開關至真正執行點;只列有證據的安全或開發環境回歸,不測試正式端點。驗收重點:問題與本次差異有因果並提供驗證依據,無法讀取的外部邊界和測試工具明確列為限制。
thermo-nuclear-code-quality-review | 嚴格檢查結構與維護成本3 個範例尋找能刪除整類複雜度的重構機會,審查型別邊界、分支膨脹與巨型檔案,交付摘要及分層證據。
範例 1 · 審查結帳模組責任膨脹
參考提示詞 請唯讀審查結帳分支的結構品質,對照修改前後模組行數和會員優惠判斷分布;找能移除整組分支的責任調整,列少量高信心問題和證據,不因測試通過認可設計。驗收重點:每個問題連到真實差異與責任邊界,說明可刪複雜度及取捨,格式偏好和未驗證測量不列成確定缺陷。
範例 2 · 檢視匯入模組新增抽象
參考提示詞 請檢查 CSV 匯入差異中的新 wrapper、any 轉型及重複驗證,追到資料所有權和錯誤流向;提出能直接移除層級或分支的方向,保持行為契約並只交報告。驗收重點:優先級按結構影響排序,型別或抽象建議連到實際不變條件,不只把相同複雜度搬到別處。
範例 3 · 評估背景工作檔案膨脹
參考提示詞 請唯讀檢查背景工作差異是否讓原本凝聚的模組跨過千行,並核對新增責任、重複工具及半套狀態更新;提出少量結構問題和最小重構構想,不修改程式。驗收重點:報告有差異證據、檔案前後行數和責任解釋,千行門檻作警訊而非自動拆檔規則。
thermos | 平行整合兩種深度審查3 個範例對同一差異平行執行安全正確性與維護性審查,去重並裁決分歧,保留細節證據與未決事項。
範例 1 · 雙路審查背景佇列
參考提示詞 請唯讀審查背景佇列差異,同一基底分派一路查重試副作用與安全、另一路查狀態責任和結構負擔;主審者讀完證據後去重裁決,缺少平行工具須明示,不修程式。驗收重點:交付一份統一問題清單及兩路狀態,重疊根因合併,任何一路未完成都列為整體缺口。
範例 2 · 審查檔案匯入改造
參考提示詞 請對檔案匯入分支做兩路審查:一路追資料遺失、路徑權限與錯誤處理,一路檢查解析責任、模組邊界及多餘抽象;整合證據與分歧,只寫報告。驗收重點:問題有清楚來源及所屬審查路徑,避免把作者自述當執行證據,保留維護性細節而不重貼兩份原報告。
範例 3 · 核對快取策略重構
參考提示詞 請以同一份快取重構差異同時檢查行為正確性和維護成本,分別追副作用/權限與狀態擁有者/隱藏層;主代理需核對每項發現的證據,本輪不修改、不推送。驗收重點:統一結論按問題優先,分歧與未完成審查明確呈現,不把同模型一致當成實際驗證。
deslop | 清理差異中的生成式冗餘3 個範例對照 main 與周邊慣例,最小化清除多餘防禦、繞過型別的轉型及不必要巢狀,保留行為與必要文件。
範例 1 · 清理設定載入重複檢查
參考提示詞 請比較目前分支和 main 的設定載入差異,追蹤外部輸入驗證、錯誤傳遞與清理副作用;只清除有證據的內部重複檢查或 any 繞型別,不動必要邊界驗證及不相關檔案。驗收重點:差異只含此次新增且已證實冗餘,成功與失敗路徑的行為證據可查,未知用途的檢查保留並回報。
範例 2 · 精簡重試處理巢狀
參考提示詞 請檢查分支新加的重試流程是否有只包住重新拋出的 try/catch 與過深巢狀;讀呼叫端確認原錯誤語意後,提出最小提早返回整理,保留重試次數、資源清理與有效註解。驗收重點:清理限於新差異並保持錯誤傳遞及重試行為,沒有藉風格整理掩蓋功能修正。
範例 3 · 清除重複序列化轉型
參考提示詞 請對照 main 審查新加入的 JSON 設定序列化邏輯,找出已由入口 schema 驗證的欄位是否又重複檢查;僅在追完全部呼叫路徑並證明用途後修改,跑相關本機正反例。驗收重點:保留外部輸入檢查與受保護文件,只移除已證明冗餘的內部轉型或驗證並列行為驗證結果。
no-comments | 查證註解與可執行約束3 個範例由專用審查者檢查指定範圍的註解,查證例外與外部規則,對接受的問題提出根因修復及約束編碼。
範例 1 · 查核重試參數註解
參考提示詞 請唯讀查核重試參數旁的 IMPORTANT 註解,追讀實作、呼叫端與參數讀寫,判斷它描述外部契約還是暫時繞路;未知來源標 HOLD,保留準確功能註解,不刪程式。驗收重點:說明每項註解的證據、保留或待查理由,對可確認約束提出最小型別或測試方案供核准。
範例 2 · 檢查快取限制說明
參考提示詞 請檢視快取淘汰差異中的警告註解,查證對應依賴版本、呼叫端和實際失敗路徑;不因語氣或名稱刪除內容,外部規則尚未證實時列來源缺口。驗收重點:分類出自家實作、外部限制及未知用途,沒有移除有效文件,未核准的約束編碼保持提案狀態。
範例 3 · 核對重複驗證註解
參考提示詞 請檢查兩層輸入驗證旁的註解是否準確,從外部入口追到內部消費者,確認必要檢查是否真的重複;本輪先列審核結果,不修改應用程式或 CI。驗收重點:結論指出驗證邊界與可查證路徑,無證據的刪除建議標 HOLD,專案要求保留的註解維持原狀。
typescript-best-practices | 用型別表達有效狀態3 個範例從外部輸入解析到領域型別,以可辨識聯集、驗證過的語意識別碼及窮盡檢查減少不可能狀態。
範例 1 · 建模匯入工作 API 狀態
參考提示詞 請檢查匯入工作 API 到 UI 的 TypeScript 資料流,先讀權威 schema 與消費者;將排隊、執行、成功和失敗表達為合法聯集,外部 JSON 先以 unknown 驗證,先提方案再等核准修改。驗收重點:成功狀態必有結果、失敗狀態有錯誤,非法 JSON 在邊界被拒,新增變體會觸發窮盡檢查。
範例 2 · 區分訂單與使用者識別碼
參考提示詞 請沿訂單建立 API 的解析與呼叫端檢查 UserId 和 OrderId 誤用風險,型別必須從權威 schema 衍生並在外部邊界驗證;避免用 as 或 ! 掩蓋問題,交付型別和測試方案。驗收重點:語意不同的 ID 無法互換,外部輸入先通過真實驗證,型別來源唯一且可追溯。
範例 3 · 清除支付結果可選欄位
參考提示詞 請審查支付結果的 TypeScript 型別,現有可選欄位可能允許成功卻無收據或失敗卻帶成功資料;提出最小辨識聯集與窮盡檢查,保留 API 契約並先只交方案。驗收重點:型別只表達合法狀態,各分支必要資料明確,解析和編譯期檢查分開驗收,不新增未核准依賴。
驗證與證據 · 6 項
create-verification-skill | 建立實際操作的驗證技能3 個範例從專案啟動方式與使用者操作路徑,建立可重跑的驗證技能、功能地圖與證據保存流程。
範例 1 · 待辦網站操作驗證指南
參考提示詞 請讀待辦網站啟動文件、路由與瀏覽器測試,在核准的練習目錄建立 verify 技能及前三項功能地圖;用隔離資料實際新增待辦、重新整理並記錄操作證據,不修改產品程式。驗收重點:練習目錄交付可操作技能和功能地圖,新增待辦重整後仍存在的證據可查;未實測功能標待驗證。
範例 2 · 桌面設定頁功能地圖
參考提示詞 請為桌面應用建立可重跑的本地操作驗證說明,先從 README、視窗入口和 UI 測試確認啟動方式;功能地圖涵蓋新增設定、無效值及重新開啟後保存,缺少環境就標阻塞。驗收重點:技能交代 Launch、唯讀 Doctor、操作、證據與清理方式,並使用實際介面路徑,不猜選擇器。
範例 3 · API 本機驗證手冊
參考提示詞 請從 API 專案指令、路由和整合測試整理本地 verify 技能,功能地圖涵蓋建立資源、讀取資源與驗證錯誤輸入;先界定隔離資料庫,再實際走一條路徑並保存請求和回應證據。驗收重點:操作步驟可重現且說明資料清理範圍,至少一項功能的使用者路徑與副作用有可查證紀錄。
maintain-verification-skill | 維護功能地圖與操作證據3 個範例逐功能比對原始碼並實際操作應用程式,區分文件漂移、操作腳本缺口與產品回歸。
範例 1 · 更新待辦完成操作地圖
參考提示詞 請在指定練習副本維護待辦網站 verify 文件與功能地圖,核對 README、完成核取方塊及篩選入口;依真實介面重跑並保存各項操作證據,只改驗證目錄,不碰產品程式。驗收重點:交付可查的文件修正和重跑證據,clean 只在所有功能都實際覆蓋時使用,未到達項目列阻礙。
範例 2 · 核對搜尋功能驗證技能
參考提示詞 請逐項讀搜尋功能地圖與目前 UI 入口,找出過期選擇器並在隔離索引中實際驗證搜尋、清除與無結果狀態;只改驗證技能及其腳本,產品故障另行回報。驗收重點:每項功能附來源和操作證據,修過的腳本重新實測;無法到達的功能列明前置條件和阻礙。
範例 3 · 維護檔案上傳操作說明
參考提示詞 請檢查上傳功能驗證文件是否仍符合目前介面和錯誤提示,實際走有效檔案、格式錯誤及取消流程;只改驗證資料,保留截圖證據並清理本輪實例。驗收重點:clean 代表所有功能都有實際覆蓋,changed 附修改後重跑結果,未能到達項目不算通過。
create-formal-verification-skill | 為高風險性質建立形式驗證3 個範例依真實程式選擇模型檢查或程式層級驗證工具,建立可重跑、能捕捉刻意破壞的專案驗證技能。
範例 1 · 工作租約互斥性質
參考提示詞 請從工作佇列取得、續期與釋放流程找出最多一個有效持有者的不變量,對照儲存原子性後選模型檢查或程式驗證;在指定練習目錄建立可重跑的驗證技能並用離線模型驗證,不改產品程式。驗收重點:練習目錄交付技能、模型與重跑指令;列明程式映射、假設、有限上界及實際結果,工具缺失則標阻塞。
範例 2 · 訂單狀態轉移驗證
參考提示詞 請檢查訂單不能從已退款回到已付款的承諾,讀取真實狀態寫入與資料庫交易邊界;提出可重跑的有限模型或程式檢查方案,明列交易原子性假設及破壞性測試隔離方式。驗收重點:驗證條件映射到實際轉移,交付工具選擇理由、上界與正常及刻意違規時的檢查計畫。
範例 3 · 權限快取隔離性質
參考提示詞 請為租戶權限快取建立高風險性質,檢查不同租戶的讀取不得互用授權結果;先確認快取鍵、失效路徑與程式對應,提出驗證檔案及可還原的失敗檢查,不連正式服務。驗收重點:報告說明性質、程式映射、快取鍵與假設,並區分有限模型證據和真實系統保證。
maintain-formal-verification-skill | 讓形式驗證重新對齊程式3 個範例從同步提交追查受驗證程式的變更,更新模型或性質,區分驗證漂移與真實產品缺陷。
範例 1 · 同步租約模型與實作
參考提示詞 請先執行既有租約模型,再從同步提交追查取得與寫入是否已拆成兩步;只允許更新模型、檢查腳本和驗證技能,核對反例與可還原破壞測試,不修改產品程式。驗收重點:逐項標示 in sync、updated、bug 或 blocked,附同步版本、程式對照、重跑結果及模型上界。
範例 2 · 維護付款狀態驗證
參考提示詞 請檢查付款形式模型自上次同步後的程式變更,追蹤退款與出貨轉移,判斷舊模型是否仍描述實作;若需更新先保留舊承諾和新證據,產品修正另列。驗收重點:報告分清過期模型、真實缺陷與未執行檢查,並證明更新後工具仍會捕捉被保護性質的破壞。
範例 3 · 檢查排程不重複性質
參考提示詞 請從驗證技能的同步版本檢查排程器變更,確認原子性假設與目前資料庫寫入一致;先跑舊檢查,再更新描述並重跑,所有破壞試驗限可還原隔離環境。驗收重點:每條檢查都有獨立狀態、程式範圍及假設,受阻時不前移同步版本,也不把過期 pass 當成功。
statechart | 從 TLA+ 模型解讀狀態與反例3 個範例檢查有界 TLA+ 模型,將狀態轉移與違反規則的最短路徑呈現為 Mermaid 狀態圖。
範例 1 · 付款成功前禁止出貨
參考提示詞 請檢查我提供的付款流程 TLA+ 規格與設定,先確認變數和程式承諾對應,再用有界模型找出未確認付款成功卻出貨的反例;交付 Mermaid 文字、規則與未檢查事項,不連正式付款服務。驗收重點:反例含最短事件路徑並連回規則,列明模型上界與假設,未檢查不會被描述成通過。
範例 2 · 工作佇列重試狀態圖
參考提示詞 請讀我提供的工作佇列 TLA+ 模型與設定,解讀重試、租約逾期及重新取得的合法轉移;用事件文字產生狀態圖,逐條檢查 TLC 報告的違規及省略規則。驗收重點:狀態標籤對應可理解的工作事件,違規圖與報告使用相同規則及路徑,限制和有界範圍明確。
範例 3 · 檢查訂單取消模型
參考提示詞 請以指定訂單狀態模型檢查取消後不能付款的性質,先核對模型與程式對應和常數上界,再輸出 Mermaid 狀態圖及反例;反例涉及真實程式時只提供隔離重現步驟。驗收重點:列出 breaks、mayBreak 和未檢查規則,合法終態不誤報死鎖,並說明圖不代表系統全面正確。
benchmark-checklist | 查核效能數字是否可信3 個範例以瓶頸、設定公平性、錯誤計數、重複量測與真實工作量,檢查效能比較是否足以支持結論。
範例 1 · CSV 匯出器公平比較
參考提示詞 請查核兩版 CSV 匯出器的量測腳本與固定資料集,確認計時包含完整輸出、內容正確和錯誤計數;使用相同建置與快取設定交錯至少五輪,另分開剖析瓶頸。驗收重點:報告各輪中位數與範圍、錯誤和資料量證據;任一公平性或正確性缺口都標為無法判定。
範例 2 · 圖片縮圖效能測試
參考提示詞 請檢查圖片縮圖 A/B 測試是否真的完成相同張數與尺寸,讀回產物核對像素尺寸及錯誤;先剖析 CPU 或磁碟瓶頸,再以一致環境交錯重跑並報告每輪時間。驗收重點:比較含工作量、輸出正確性、輪數、中位數及範圍,不能以快速失敗或單次結果宣稱加速。
範例 3 · 搜尋端到端等待時間
參考提示詞 請查核本機搜尋 A/B 基準是否計入索引載入、查詢及結果呈現,並用固定查詢核對命中集合;相同快取條件交錯量測,說明微型函式改善是否影響完整使用者等待。驗收重點:證據可追到查詢、輸出與每輪數據,並指出端到端瓶頸或明確標記結論無法判定。
PR與CI · 5 項
get-pr-comments | 整理 PR 審查意見3 個範例找出目前分支的 PR,讀取審查與討論留言,依嚴重度及可行動性整理待辦與待釐清問題。
範例 1 · 整理匯出功能審查意見
參考提示詞 請唯讀整理指定匯出 PR 的行內審查及一般討論,保留來源位置,按嚴重度和可行動性排序;區分可重現缺陷、機器人建議及格式需求決策,不修檔或回覆留言。驗收重點:每項都有來源、問題類型與下一步,明列未能取得的留言類型,不把建議描述成已修正。
範例 2 · 優先處理登入回饋
參考提示詞 請檢視指定登入 PR 的審查回饋,只產出待辦;依安全影響、可重現性與是否需產品選擇分類,合併重複意見但保留原作者及位置,不修改驗證邏輯或討論串。驗收重點:清單先列高風險且可查證事項,再列機械建議與待決問題,沒有自動接受任何評論。
範例 3 · 盤點文件修改建議
參考提示詞 請讀指定 PR 中文件相關的行內與一般留言,整理讀者疑問、錯誤資訊與純措辭建議;為每項引用位置並提出核對方式,本輪不寫回文件、不新增外部留言。驗收重點:摘要能逐條對回實際留言,已確認事實和仍待查證項分開,缺少來源的內容明確標未知。
fix-ci | 從失敗檢查定位並修正 CI3 個範例以 PR 檢查與失敗日誌定位第一個可處理錯誤,逐項做最小修正並重新確認整組 CI 狀態。
範例 1 · 匯出 PR 型別檢查失敗
參考提示詞 請查指定匯出 PR 的整組 CI 狀態,讀最早型別錯誤與測試日誌;確認欄位更名根因後,在我指定的本機工作區修正並跑相關檢查,不暫存、提交或推送。驗收重點:報告可從 CI 錯誤追到本地修正,區分本地檢查與遠端狀態,等待中的工作不算通過。
範例 2 · 文件站建置失敗定位
參考提示詞 請檢查指定 PR 的網站建置檢查,找日誌第一個可處理錯誤而非最後一行;一次聚焦一個根因,說明需跑的本地驗證與外部工具缺口,不停用檢查或改測試預期。驗收重點:每項程式變更都對應已確認的失敗,遠端尚未重跑時明確標記,未解 CI 不宣稱全綠。
範例 3 · 套件測試工作失敗
參考提示詞 請唯讀取得 PR 所有失敗與等待中的檢查,追到下載依賴或測試工作的實際日誌,辨別環境錯誤和程式錯誤;先交修復順序與驗證命令,不安裝新工具、不推送。驗收重點:指出第一個可行動錯誤與因果證據,列出仍需環境或遠端重跑才能確認的狀態。
fix-merge-conflicts | 解決衝突並驗證合併結果3 個範例盤點衝突檔案,以最小且維持行為的方式解決差異,重新產生鎖定檔並驗證後暫存。
範例 1 · 設定與鎖定檔衝突
參考提示詞 請處理工作目錄既有的設定及 lockfile 衝突,先讀 Git 狀態和兩側意圖;保留雙方有效行為,用專案套件管理器重建鎖定檔並跑相關檢查,本輪不暫存或繼續 rebase。驗收重點:衝突標記已清除且雙方行為保留;設定與 lockfile 經檢查一致,Git 路徑仍未暫存,尚未繼續 rebase。
範例 2 · 路由檔合併衝突
參考提示詞 請盤點目前路由檔的全部衝突,對照兩分支新增頁面與呼叫端;能並存的路由都保留,無法判斷的產品行為先標未決,解決後檢查衝突標記並執行既有建置。驗收重點:路由不重複且兩側有效頁面仍存在,無殘留衝突標記,建置結果及未執行檢查清楚列出。
範例 3 · API schema 衝突整合
參考提示詞 請解決 API schema 同時改欄位名稱與驗證規則的衝突,追讀雙方測試和下游生成型別;不要直接選 ours 或 theirs,先給取捨依據,再跑 schema 驗證及相關測試。驗收重點:合併後 schema 符合雙方可並存契約,生成型別與規則一致,無法判定的語意衝突保留待決。
babysit | 在授權範圍內照看單一 PR3 個範例持續檢查單一 PR 的衝突、CI 與審查回饋,設定輪詢及停止條件,整理到可供合併審查的狀態。
範例 1 · 單一 PR 狀態盤點
參考提示詞 請依 babysit 技能唯讀盤點我指定的單一 PR,確認檢查、衝突及審查意見;本輪只整理阻礙與處理順序,不改檔、不回覆留言、不暫存或推送,也不宣稱會在背景持續追蹤。驗收重點:逐項引用可查的 PR 狀態與留言,分出阻礙、待決策及目前是否具備 ready 條件。
範例 2 · 分類機器人審查意見
參考提示詞 請檢視指定 PR 的機器人與人工留言,依 fix、dismiss、ask 分類並保留來源;安全或產品選擇先交回我,本次只提出計畫,不修程式、不回覆或關閉討論。驗收重點:留言有優先順序與來源,清楚區分可機械處理、可駁回及需要人類判斷的意見。
範例 3 · 限時照看 CI 狀態
參考提示詞 請依 babysit 照看我指定的單一 PR,每十分鐘檢查一次、最多三輪;可在指定本機測試副本修正可重現的 CI 問題並重跑,但不推送或回覆留言。無持續輪詢工具就列缺口和停止時間。驗收重點:逐輪記錄 PR 狀態,在限定副本修正並重查可證實問題;能力不足或需設計決策時停止交接,不宣稱背景持續追蹤。
make-pr-easy-to-review | 降低 PR 審查負擔3 個範例檢查 PR 差異與提交結構,優先改善描述和導讀;只有獲准才改寫歷史,並驗證內容未意外改變。
範例 1 · 改善匯出 PR 導讀
參考提示詞 請唯讀盤點匯出 PR 的完整差異、提交、產生檔和現有描述,草擬符合事實的摘要與審查順序;分開核心邏輯、接線及測試,缺少推出或驗證證據就標待補。驗收重點:審查者可先讀關鍵邏輯再看機械變更,摘要與實際差異一致,沒有虛構測試或連結。
範例 2 · 整理資料遷移審查入口
參考提示詞 請檢查指定資料遷移 PR 的變更範圍與描述,提出審查者先讀 schema、轉換程式及回復檢查的順序;本輪只產出說明草稿,不改遠端描述或重寫提交。驗收重點:摘要說明遷移風險、驗證及回復依據,純產生差異可辨認,未授權歷史整理不執行。
範例 3 · 讓 UI PR 便於審查
參考提示詞 請讀目前 UI PR 的提交和完整差異,找出元件行為、樣式及快照檔的閱讀順序;草擬簡潔描述與高風險位置,測試證據未提供時明列待補,不修改產品程式。驗收重點:描述真實呈現使用者改變及審查路徑,不把同一 Git tree 誤當正確性證明。
文字與決策 · 5 項
unslop | 去除空話並保留原意3 個範例用具體文字替換 AI 式套話,逐句核對來源,保留文件原意、語氣與技術限制。
範例 1 · 改寫匯入發布說明
參考提示詞 請只改寫這段匯入發布說明,讀者是初次使用的管理員;可用事實只有 UTF-8 CSV、每次最多 500 列、驗證失敗不寫入且回報列號,刪除空泛宣傳但保留全部限制。驗收重點:新稿只描述已提供的格式、上限與失敗行為,沒有新加效能保證,刪改理由指向具體原句。
範例 2 · 精簡錯誤回覆草稿
參考提示詞 請檢查我提供的客服回覆是否有強行對比、抽象比喻和空泛承諾,只用已確認的錯誤碼與處理期限改寫;保留原本語氣和不確定性,只在回覆提供草稿。驗收重點:措辭更直接且可行動,錯誤碼和期限能追到輸入,沒有新增服務承諾或改寫引用內容。
範例 3 · 清理技術摘要空話
參考提示詞 請將這段技術摘要中的宣傳語改成具體行為,事實只採用我提供的差異說明與測試範圍;先標出命中的寫作規則,再給草稿並列出刪除說法,不改原檔。驗收重點:摘要保留重要限制與測試範圍,刪除內容可對回原句,沒有以文風工具代替產品事實查證。
technical-writing | 寫出能照做的操作文件3 個範例先選定 Diátaxis 文件模式,再用具體步驟、預期輸出與單義句子,撰寫可照做的技術文件。
範例 1 · 撰寫首次網站預覽教學
參考提示詞 請只交付首次預覽靜態網站的 tutorial 草稿,讀者已安裝相依套件且位於網站目錄;使用提供的 dev、build、preview 指令,每步一項操作與可觀察結果,未知網址由終端確認。驗收重點:操作順序包含啟動、停止、建置與預覽,沒有虛構網址或實測結果,模式不混成完整參考文件。
範例 2 · 編寫資料匯入操作指南
參考提示詞 請寫給客服工程師的匯入操作指南,說明指定 CSV 欄位如何檢查、錯誤如何回報及何時停止;先選 Diátaxis 模式並使用我提供的實際指令,未知步驟標待驗證。驗收重點:文件先直接說明操作目的,每步只有一項動作,預期與實測結果分明,無來源的產品行為不補造。
範例 3 · 整理 API 欄位參考
參考提示詞 請將我提供的 API schema 和欄位說明整理成 reference 文件,不加入教學或設計歷史;每個欄位列型別、必要性和來源,保留原始識別字,缺少定義處標未確認。驗收重點:內容可查回權威 schema,句子簡潔且術語一致,沒有把未知行為改寫成操作承諾。
reflect | 把本次教訓整理成待核准的技能修訂3 個範例從目前對話找出可重用教訓,經三種審閱角度與綜整後提出技能修訂,取得明確核准才套用。
範例 1 · 回顧文件修訂教訓
參考提示詞 請只依本輪文件修訂摘要及我提供的技能原文,先唯讀產出 Accepted、Rejected、Backlog 全表;若無法做不同角度獨立審閱就標限制,所有技能修改先不套用並列出具體差異。驗收重點:每項教訓連到本輪證據,接受、拒絕及待辦都有理由;未經明確核准未改技能或建立外部工單。
範例 2 · 分析測試資料誤用原因
參考提示詞 請回顧我提供的測試資料錯誤事件摘要,判斷既有技能是否缺規則或代理只是未遵循;先檢查哪些限制可由結構檢查強制,再提出目的技能與最小差異,不編輯檔案。驗收重點:報告區分文件不足、執行失誤與可機械強制項,並保留拒絕和待辦理由及證據位置。
範例 3 · 檢查審查流程改善建議
參考提示詞 請以目前任務的去識別時間線和相關技能原文做唯讀回顧,確認重複問題是否已被流程涵蓋;只列有證據的候選改進,不讀其他聊天、不掃描私人紀錄,也不寫技能。驗收重點:若沒有接受項目也明確如此說明,並指出既有流程如何處理問題或缺少何種證據。
correct | 用結構性約束防止重複錯誤3 個範例以至少兩次真實錯誤為證據,依架構、型別、自動檢查與測試的順序選擇防線,文件規則放最後。
範例 1 · 避免教材分類漏驗
參考提示詞 請只讀我提供的兩次教材分類漏驗證紀錄與現有 schema,先確認是否同一種錯誤;依架構、型別、CI 與測試順序提出最小強制方案,並設計用舊錯誤證明檢查會失敗的步驟。驗收重點:提案引用至少兩次事件,說明選用的約束層及更高層不可行原因,並保留待核准的檔案範圍。
範例 2 · 避免 API 文件不同步
參考提示詞 請比較我提供的兩次 API 欄位漏更新案例,確認同一類後先評估是否能由單一 schema 產生文件與驗證;若不能,才提出 lint 或測試,這輪只交提案不改指令檔。驗收重點:列出事件證據、從架構到測試的約束選擇,以及本地與 CI 可重跑的失敗和成功檢查。
範例 3 · 阻止舊路徑回歸
參考提示詞 請讀兩次程式仍呼叫已退役路徑的審查紀錄與呼叫樹,確認兩者根因一致後,提出能最早拒絕舊呼叫的結構或型別方案;在隔離副本規劃回歸重播。驗收重點:每類錯誤有來源與失敗行為,方案優先消除錯誤可能性,未確認的修改位置保持待核准。
show-me-your-work | 留下可查證的決策紀錄3 個範例以追加式 TSV 記下長任務的選擇、理由、證據與結果,保留失敗與改向,交接前核對紀錄並做跨模型審閱。
範例 1 · 規劃網站導覽決策日誌
參考提示詞 請為網站導覽試作規劃單一 TSV 決策紀錄,先提出工作目錄位置、表頭及盤點、試作、驗證階段;本輪不建立檔案,只記實際決策並將未知結果標 open。驗收重點:表頭欄位順序與單行規則清楚,沒有預填成功列,交接前能按對話核對每個實際決策。
範例 2 · 記錄資料轉換檢查點
參考提示詞 請依現有任務紀錄設計追加式 TSV 日誌,僅規劃重要選擇與驗證檢查點;說明如何防止欄位換行或試算表公式誤讀,既有紀錄不覆寫且不提交 Git。驗收重點:方案含證據指向、未驗證標記與追加更正方式,清楚說明尚未建立或實測日誌工具。
範例 3 · 建立原型工作決策紀錄
參考提示詞 請在指定練習目錄建立或追加 decisions.tsv,先讀既有表頭與尾列;只記本輪對話中實際發生的原型取捨,未執行驗證填 open,不預填成功,完成後逐列核對來源。驗收重點:TSV 表頭與既有紀錄完整保留,新列只記真實決策並指向證據,未驗證結果標 open,核對後不提交 Git。
開發原則 · 24 項
principle-attack-the-premise | 先驗證共同前提3 個範例當兩次修正依賴同一前提卻仍未通過驗收,先建立可重跑的觀察來檢驗前提,再決定修正方向。
範例 1 · 匯出漏資料,重試仍無效
參考提示詞 套用 principle-attack-the-premise。 同一個匯出完整性測試在延長逾時、增加重試後仍失敗。 輸入是這兩份修正差異、成功與失敗的測試資料、請求紀錄。 請先寫出兩次修正共有的前提,不要直接提第三個補丁。 設計一個前提為假時會得到不同結果的觀察,並保存可重跑的逐筆比對檢查。 同時比較失敗分布與總量。若證據不足,列出缺少的觀察。 只在核准的測試環境操作。驗證前提後,再提出根因修正方向。驗收重點:取得可被反駁的共同前提、可重跑的逐筆比較,以及依觀察決定的修正方向。
範例 2 · 畫面仍顯示舊資料
參考提示詞 套用 principle-attack-the-premise。 快取過期時間與重新整理按鈕都已改過,畫面仍顯示舊資料。先讀兩次差異、請求與回應紀錄,寫出共同假設;設計能分辨「讀到舊來源」與「更新未完成」的觀察,保留請求識別與逐筆比較,再決定修正方向。只查測試環境。驗收重點:紀錄能區分至少兩種原因,附觀察條件與原始來源;第三次改動要有前提查核依據。
範例 3 · 失敗的效能優化是否走錯路徑
參考提示詞 套用 principle-attack-the-premise。 批次處理已兩度調整併行數,耗時仍不變。讀取兩次差異與執行紀錄,先檢查「時間花在工作執行」的共同前提。規劃可區分排隊、讀檔與計算成本的量測,結果不足就列缺口,不先加入更多工作者。驗收重點:交付分段耗時與可反駁的預測,能指出應保留、推翻或尚無法判定的前提。
principle-boundary-discipline | 在系統邊界驗證資料3 個範例把外部輸入的驗證與錯誤處理集中在系統邊界,轉成領域型別後交給純函式處理,避免內部重複防禦。
範例 1 · 整理排程設定的驗證邊界
參考提示詞 套用 principle-boundary-discipline。 這個排程工具從設定檔取得執行時間,內部多層重複檢查欄位。 請先追蹤所有入口與呼叫端,列出原始資料轉成領域型別的邊界。 提出最小整理方案,讓外部輸入在入口驗證,內部排程計算使用純函式。 不要直接刪掉所有檢查。先證明每條呼叫路徑的輸入都經過邊界。 驗收須涵蓋合法設定、缺欄位、格式錯誤,以及不依賴框架的計算測試。 只修改核准的來源與測試,不更動正式設定。驗收重點:無效設定在入口被拒絕,合法資料轉成領域型別,排程計算能獨立測試。
範例 2 · 匯入 CSV 時集中處理格式錯誤
參考提示詞 套用 principle-boundary-discipline。 CSV 匯入器在每個計算函式都重查日期與數量。追蹤檔案、手動新增與重匯三條入口,先列真正邊界;提出入口解析成領域資料的最小方案,保留檔案列號與欄位錯誤。驗證空值、負數與合法資料,再判斷哪些內部檢查可移除。驗收重點:各入口都有驗證證據;錯誤能定位原始列,合法領域資料可直接測試計算而不需讀檔。
範例 3 · 把外部事件轉為可信領域資料
參考提示詞 套用 principle-boundary-discipline。 接收付款通知的模組把原始 JSON 傳遍內部。以去識別化事件副本追蹤接收與重播入口,規劃驗證事件種類、識別碼與金額後轉型的邊界;內部只接收已解析資料,不以型別斷言代替驗證。這次只提出設計與測試案例。驗收重點:缺欄位、未知事件與錯誤型別在入口被拒絕,業務函式不依賴傳輸格式或網路框架。
principle-build-the-lever | 把工作做成可重跑工具3 個範例先用一個手動單位確認做法,再建立最小腳本或轉換工具,讓修訂與驗證可以重跑並接受反例檢查。
範例 1 · 批次轉換教材分類
參考提示詞 套用 principle-build-the-lever。 任務是在核准的教材副本中轉換分類欄位,並證明每篇分類對應沒有改變。 先手動完成一個代表性檔案,再建立最小腳本,對照手動結果。 確認第二次執行不會產生額外變更。 比對工具需分別偵測總數改錯、分類互換但總數相同、必要輸入缺失。 缺少必要輸入時回報無法判定,不可回報相符。 交付工具檔案、反例、結果與重跑方式,不建立框架,不提交或推送。驗收重點:交付可重跑工具;總數錯誤、分類互換與必要輸入缺失都能被分別攔下。
範例 2 · 把每次人工查失效連結做成工具
參考提示詞 套用 principle-build-the-lever。 每次文件更新都手動點查相同站內連結。先用一份代表頁確認目的地解析規則,再在教材副本建立最小檢查腳本。加入失效路徑、合法錨點與缺少建置輸出的反例;輸出來源頁及錯誤位置,不建立通用爬蟲。驗收重點:留下可重跑腳本與命令,合法與失效案例分得開,必要輸出缺失時明確失敗。
範例 3 · 讓匯出欄位比對可重跑
參考提示詞 套用 principle-build-the-lever。 我們反覆人工比對兩版測試 CSV。先手動核對一份含中文及空欄的樣本,再建立只比較指定欄位的最小工具。用缺列、重複列、金額格式錯誤和完全相同副本驗證工具,報告差異與結束碼,不比較含個資的正式匯出。驗收重點:工具對各種錯誤給出具體差異,相同副本通過;另一位維護者可依命令重現結果。
principle-encode-lessons-in-structure | 把教訓編入結構3 個範例當相同提醒再次出現,把可判定的規則改成檢查、結構或中繼資料;需要判斷的教訓則保留醒目說明與反例。
範例 1 · 防止教材再度漏填分類
參考提示詞 套用 principle-encode-lessons-in-structure。 教材審查已多次提醒補填分類,輸入是相關紀錄、現有內容 schema 與三份正反例。 先區分能機械判定的規則,以及仍需要人工判斷的品質要求。 在核准範圍內提出最小結構性防線,優先沿用既有驗證入口。 驗收須看見合法資料通過,缺欄位與錯誤分類被拒絕,錯誤能定位到檔案。 不要用字數門檻取代內容深度,也不要把同一規則複製到更多指示檔。 尚無法編碼的要求,保留醒目說明並補一個具體失敗案例。 先列出預計變更,不修改全域設定或刪除既有有效文件。驗收重點:缺欄位與錯誤分類在實際流程中失敗,合法內容通過,人工品質判斷仍被保留。
範例 2 · 阻止頁面再度漏掉必要範例
參考提示詞 套用 principle-encode-lessons-in-structure。 已兩次在審查中發現技能頁少於三個範例。先核對紀錄、資料結構與既有建置流程,將可判定的數量及必要欄位接入現有檢查;提供兩例、空提示詞與合法三例的測試副本。情境品質仍列為人工審查,不以字數冒充深度。驗收重點:實際檢查會拒絕缺例與空欄,合法資料通過,錯誤訊息可定位技能與欄位。
範例 3 · 防止識別碼在呼叫端混用
參考提示詞 套用 principle-encode-lessons-in-structure。 審查紀錄已有兩次把使用者編號傳成訂單編號的錯誤。讀取相關型別與呼叫端,評估用語意型別或入口解析排除混用,沿用現有型別檢查。保留正確案例與刻意錯傳案例,不把同一提醒複製進更多代理規則。驗收重點:具體結構能攔下已知錯誤,正確呼叫仍通過;仍需人工判斷的業務條件另列。
principle-exhaust-the-design-space | 用競爭原型比較設計3 個範例面對沒有既有先例的新互動或架構決策,先製作兩到三個競爭原型,用相同任務並排比較後再選定方向。
範例 1 · 比較批次選取介面的原型
參考提示詞 套用 principle-exhaust-the-design-space。 我們的管理介面沒有批次選取先例,這次只決定操作入口與選取回饋。 請在核准的拋棄式原型目錄做兩到三個競爭方案,使用同一份模擬資料。 每個方案都要能選取指定項目、確認操作範圍、取消並重做。 依入口可發現性、誤選恢復、狀態清楚程度與維護成本並排比較。 先觀察原型再推薦,不要用個人偏好假裝使用者證據。 不接正式服務,不執行真實資料操作,不把原型直接視為可上線版本。驗收重點:兩到三個可操作方案均走過相同任務,推薦附觀察紀錄與取捨。
範例 2 · 挑選大量技能的瀏覽方式
參考提示詞 套用 principle-exhaust-the-design-space。 新技能目錄沒有搜尋與分類的互動先例。使用同一組六十項模擬技能,做分類清單、搜尋優先與側欄索引三種拋棄式原型。每種都完成找指定技能、比較兩項及返回原位置,依可發現性與操作成本比較後再推薦,不接正式內容。驗收重點:交付可操作原型、共同試用步驟與觀察紀錄,不能只用三張靜態圖代替比較。
範例 3 · 比較工作佇列的責任邊界
參考提示詞 套用 principle-exhaust-the-design-space。 離線匯入功能尚無工作佇列先例。讀懂現有執行模型後,以固定模擬工作做兩到三個最小競爭原型,比較排程、取消與錯誤隔離的責任切法。各案使用相同任務序列,保留維護成本與限制,先比較再決定,不引進正式服務。驗收重點:每個原型都完成相同取消與失敗案例,決策對應實際差異而非先選答案再補理由。
principle-experience-first | 先決定值得交付的體驗3 個範例在產品範圍與實作便利衝突時,以核心工作流程與消費者體驗選擇目標,先用原型確認細節,寧可少做但做好。
範例 1 · 重整第一次匯入的核心流程
參考提示詞 套用 principle-experience-first。 我們正在設計匯入設定介面,現有草案直接暴露全部解析器選項。 先以第一次匯入的使用者為對象,定義選檔、預覽、修正錯誤與確認的核心流程。 逐一說明控制項的理由,移出不能服務本次核心任務的功能。 先在核准目錄做拋棄式原型,涵蓋合法、錯誤與空白輸入,不接正式服務。 檢查回饋、對齊、間距、轉場與錯誤恢復,再推薦最小可交付範圍。 回報終端使用者與下一位維護者各自會感受到什麼改變。 沒有實際觀察的體驗判斷請標成待驗證,不宣稱使用者一定喜歡。驗收重點:原型能完成選檔、預覽、錯誤修正與確認,並交代功能取捨及待觀察體驗。
範例 2 · 把第一次設定流程做完整
參考提示詞 套用 principle-experience-first。 工具的初次設定頁一次展示全部進階選項。先定義新使用者完成連線測試與儲存本機設定的核心任務,做含缺欄位、錯誤與重試的模擬原型。逐一說明保留控制項的用途,處理鍵盤操作與回復流程,不先把所有底層參數搬到畫面。驗收重點:原型能完成核心任務並從錯誤恢復,保留與延後的功能有理由,未實測的體驗結論明示。
範例 3 · 讓失敗的檔案下載可恢復
參考提示詞 套用 principle-experience-first。 報表頁已有很多格式選項,下載失敗卻只能重開頁面。先以取得一份正確報表為核心設計最小流程,做進度、失敗說明與保留條件後重試的原型。使用模擬下載,檢查空資料和連續失敗,不增加與任務無關的控制項。驗收重點:成功與失敗路徑都能走完,重試保留使用者條件;維護者能說明每項狀態與控制項的責任。
principle-explain-the-number | 先解釋數字再採取行動3 個範例量測前先定義決策與雜訊界線,從執行中的證據找出限制因素,排除少做工作等假象,再連同次數與分布報告結果。
範例 1 · 判讀序列化效能比較
參考提示詞 套用 principle-explain-the-number。 我們要比較基準版與候選版的匯出序列化改動,尚未量測。 先寫出會改變合併決策的結果、雜訊底限判讀方式與執行計畫。 確認兩版處理相同輸入且輸出完整,再安排量測。 從執行中的 profile 或系統計數器找出限制因素,對回來源碼,回答為何不能再好一倍。 逐項排除錯誤、漏做工作、快取、路徑未執行、設定不對等與雜訊。 報告必須附各次結果、次數、波動與證據位置。資料不足就寫無法判定,不補造數字。 效能量測另依 benchmark-checklist 的完整程序進行。 沒有核准工具或環境時先回報缺口,不安裝依賴或對正式服務壓測。驗收重點:紀錄相同工作量、所有量測值、波動與執行期瓶頸,證據不足時不宣稱變快。
範例 2 · 搜尋變快是否只是漏索引
參考提示詞 套用 principle-explain-the-number。 候選搜尋索引的建立時間較短,但尚不清楚是否少處理文件。先定合併決策、可接受波動與重複量測計畫;用相同文件集核對索引數和查詢結果,再讀執行期剖析找瓶頸。報告每次結果、環境與限制,沒有資料就不給提升比例。驗收重點:比較含等量工作與正確輸出證據、次數與分布,能解釋限制因素而非只報平均時間。
範例 3 · 模型任務成功率的差距可信嗎
參考提示詞 套用 principle-explain-the-number。 兩種任務提示詞在離線評估中成功率不同。先固定題集、完成條件與會改變決策的差距,檢查每次是否真的完成任務。保留各次輸出與失敗分類,依重複試驗和題型分布判讀;不把跳過工作算成功,也不從單次結果推論所有情境。驗收重點:交付逐次可追溯結果及失敗分布,能區分有效差距、工作量不等與證據不足。
principle-fix-root-causes | 從症狀追到第一個錯誤3 個範例先重現問題,再沿實際狀態回溯到第一個錯誤決策;只有當觸發狀態本來合法時,局部防護才可能是根因修正。
範例 1 · 查清重啟後的清單錯誤
參考提示詞 套用 principle-fix-root-causes。 工作清單同次執行正常,關閉再啟動後失敗。 輸入包含重現順序、實際錯誤、測試用保存檔與相關呼叫路徑。 先在隔離資料重現,再逐段對照保存、還原與顯示前的實際狀態。 不要先清快取、補空值 guard、增加重試或吞掉錯誤。 先判定觸發狀態是否合法,找出第一個錯誤決策,再提出修正。 搜尋相同錯誤模式,列出核准範圍內受影響的路徑。 驗收包含重啟流程、正常流程、合法空清單與資料完整性。 未取得的證據請明示。不要把重啟後失敗直接當成持久化錯誤的證明。驗收重點:能以實際狀態追到第一個錯誤決策,重啟、正常與合法空清單皆有檢查結果。
範例 2 · 追查重複通知的第一個錯誤決策
參考提示詞 套用 principle-fix-root-causes。 同一筆測試事件偶爾產生兩封通知。先在隔離環境重現,沿事件接收、排程與發送紀錄追查實際狀態,判定重複事件是否合法。不要先吞掉例外或在畫面去重;找出第一個錯誤決策,並搜尋同類路徑。驗收重點:因果鏈附實際事件證據,修復前能重現,修復後合法重送與正常單次事件都有驗收。
範例 3 · 分頁漏項是否來自資料變動
參考提示詞 套用 principle-fix-root-causes。 清單切到第二頁時偶爾少一筆資料。用固定測試資料重現,逐段比對查詢排序、分頁游標與回應集合,再測加入新資料時的行為。先判斷輸入與狀態是否有效,不以加重試或補空列掩蓋錯誤,提出可驗證的根因修正。驗收重點:證據指出第一處集合或游標偏離契約的位置,正常、邊界與資料變動案例有回歸檢查。
principle-foundational-thinking | 先定資料形狀與工作基礎3 個範例從批次匯入情境辨認存取模式、共享狀態與必要基礎,先定資料結構再安排功能實作。
範例 1 · 為並行商品匯入先定資料結構
參考提示詞 套用 principle-foundational-thinking。請先閱讀商品匯入器、呼叫端與測試,列出資料形狀、主要存取模式,以及每批資料的擁有者。 目標是支援兩批同時匯入,重複商品編號要回報,兩批錯誤不得互相污染。 先交付結構提案與實作順序,不修改檔案。說明哪些既有基礎可沿用、哪些死碼只是待核准清理,以及每個增量如何驗證。不要為消除相似行數建立通用框架。驗收重點:模型列明查找方式與狀態擁有者;重複編號、空批次與兩批隔離均有驗收安排。
範例 2 · 離線搜尋先決定資料形狀
參考提示詞 套用 principle-foundational-thinking。 要在文件工具加入離線搜尋與分類篩選。先讀現有內容載入及查找路徑,列出文件識別、詞項查找與分類篩選的存取模式,指出索引與查詢快照的擁有者。只交付資料結構與增量順序,沿用現有基礎,不先建立通用搜尋框架。驗收重點:每種查找有對應結構,更新與查詢的共享狀態清楚,空索引及重建期間的驗收可執行。
範例 3 · 多份報表的計算狀態應由誰持有
參考提示詞 套用 principle-foundational-thinking。 報表工具即將支援同時產生多月份結果。先讀金額計算、日期設定與快取讀寫,定義每份報表的輸入、彙總結構及狀態擁有者,再安排實作順序。只提出方案,需驗證跨月及兩份並行互不污染,不為相似迴圈建立新框架。驗收重點:提案能追到實際讀寫位置,區分可共用唯讀資料與每份報表狀態,附隔離驗收案例。
principle-guard-the-context-window | 控制上下文的階段與容量3 個範例將大量事件紀錄分段查核,限制每階段範圍並保留可追溯摘要,避免原始輸出淹沒推理。
範例 1 · 分段查核跨服務事故紀錄
參考提示詞 套用 principle-guard-the-context-window。請用我提供的事故時間窗與請求識別碼,查核三個服務的已去識別化紀錄。 每階段先處理一個服務,只回傳相關片段。主對話保留有路徑、行號或事件時間的時間線、已證實結論與待查點,不貼整份紀錄。 本次只可唯讀,不使用子代理。先報告階段範圍與停止條件,再循序查核。若工具輸出遭截斷,要標明未讀區段,不得從摘要推測遺失內容。驗收重點:交付有來源位置的請求時間線,分清事實、推論與未讀區段,保留下一階段入口。
範例 2 · 分批審查大型變更
參考提示詞 套用 principle-guard-the-context-window。 請唯讀審查這份大型差異,先按資料模型、呼叫端及畫面分階段。每階段限定檔案與問題,只回傳可定位的證據、結論及待查點,不貼完整檔案。主對話保留可接續摘要;若輸出截斷,標明未讀範圍,先完成本階段再擴大。驗收重點:交付分階段覆蓋清單與來源位置,事實和推論分開;未讀部分不被誤報為已審查。
範例 3 · 從大量測試失敗中保留有效線索
參考提示詞 套用 principle-guard-the-context-window。 本次測試日誌很大,請先用本機工具按套件與失敗原因彙整,再逐批讀第一個可處理錯誤。每批只保留測試名、必要堆疊及原始日誌位置,記錄哪些群組尚未查核。不貼全部輸出,也不以被截斷的最後一行判定整套結果。驗收重點:短摘要能回到原始失敗與完整結束碼,列出已覆蓋及未讀群組,下一輪可從指定位置接續。
principle-laziness-protocol | 集中決策並縮小差異3 個範例以功能顯示規則為例,把重複決策集中到單一來源,選擇足以解題的小幅修改而不省略驗證。
範例 1 · 集中三個匯出入口的顯示判斷
參考提示詞 套用 principle-laziness-protocol。這個管理頁的三個匯出入口重複判斷方案,造成顯示不一致。 請先追查既有方案規則與呼叫端,提出最小修改,讓頁面只算一次顯示旗標並傳給入口。不要新增通用政策框架,不改既有伺服器授權。 只在我指定的頁面與相關測試範圍內修改。驗證兩類方案的顯示結果,以及未授權直接請求仍會失敗。若無法執行驗證,列出缺口,不宣稱完成。驗收重點:入口共用單一顯示決策,兩類方案顯示一致,伺服器授權拒絕仍有驗證。
範例 2 · 修正多個頁面的日期格式不一致
參考提示詞 套用 principle-laziness-protocol。 三個頁面各自判斷日期顯示方式,造成空日期結果不同。先找既有共用格式函式及全部呼叫端,選擇能解題的最小改動,集中一次決策並沿用現有介面。只改受影響頁面與必要驗證,不新增通用格式註冊架構。驗收重點:各頁對合法、空值及跨日輸入一致;差異能指出唯一決策來源,沒有無關抽象。
範例 3 · 只補上需要的技能目錄入口
參考提示詞 套用 principle-laziness-protocol。 要在既有文件導覽加入技能範例入口。先確認現有路由與導覽元件,優先沿用同一資料來源及樣式,只增加必要連結。驗證手機可讀、鍵盤可達與目的頁存在;不新增導覽框架、設定選項或重複清單。驗收重點:最小差異完成入口與驗證,目的地正確,原導覽仍可用,沒有為未來需求預先加層。
principle-make-operations-idempotent | 讓重跑收斂到同一結果3 個範例用離線索引產生器練習讀取現況、比對目標與修補差異,驗證重跑與中途失敗後都能收斂。
範例 1 · 設計可重跑的離線索引產生器
參考提示詞 套用 principle-make-operations-idempotent。請檢查離線文件索引產生器的每個狀態變更,使用隔離測試目錄與固定文件集。 先列出目標內容、寫入邊界、殘留檔案,以及下次執行如何辨識它們。設計成讀取現況、比較目標、只套用差異,而非重複附加紀錄。 提出連跑兩次及每個寫入邊界中斷後重跑的測試。說明檔案替換依賴哪些環境保證。本輪只交付方案與測試矩陣,不寫入或刪除任何檔案。驗收重點:方案涵蓋連跑兩次與各寫入邊界中斷後重跑,能辨識殘留狀態並收斂到目標。
範例 2 · 重跑產生報表不應重複附加
參考提示詞 套用 principle-make-operations-idempotent。 離線報表產生器在重跑後會多出重複摘要。用隔離目錄與固定輸入盤點讀寫邊界,設計先讀現況、比較目標、只修補差異的流程。先交付方案,列出連跑兩次及寫到一半中斷後重跑的矩陣,不直接清除舊檔掩蓋問題。驗收重點:每個中斷點有殘留辨識與恢復規則,成功後再跑內容仍等於目標,不增加重複紀錄。
範例 3 · 同步練習設定時只修補差異
參考提示詞 套用 principle-make-operations-idempotent。 本機練習工具要將設定範本同步到測試目錄。先列目標欄位、使用者自訂欄位及寫入邊界,規劃讀取、比較與修補,避免每次附加相同項目。只交付設計,檢查兩次執行、部分缺欄位與中途中斷後的收斂,不假定所有檔案替換都具原子性。驗收重點:矩陣涵蓋已符合、部分符合與失敗殘留,能保留不屬於同步範圍的自訂資料。
principle-migrate-callers-then-delete-legacy-apis | 同批遷移呼叫端與退役舊介面3 個範例在沒有外部相容需求的內部介面重構中,盤點呼叫端、更新契約測試,規劃同批移除舊介面。
範例 1 · 規劃內部報價介面遷移
參考提示詞 套用 principle-migrate-callers-then-delete-legacy-apis。請盤點內部報價工具的 calculateQuote 呼叫端,評估改成 quoteOrder 具名欄位物件後,能否在同一波遷移並退役舊介面。 先證實沒有外部相容需求,列出所有呼叫端、匯出與測試。區分應保留的業務行為測試,以及只保護舊實作細節的測試。 這輪只做唯讀盤點與遷移計畫,不修改或刪檔。列出需要核准的移除項目,以及退役前後要執行的檢查。若搜尋範圍不完整,明確回報,不能直接宣告可刪。驗收重點:清單覆蓋呼叫端、匯出與測試,列出相容需求證據、待核准移除項及退役檢查。
範例 2 · 遷移只供內部使用的日期介面
參考提示詞 套用 principle-migrate-callers-then-delete-legacy-apis。 內部日期函式將從多個位置參數改為具名輸入。先確認外部使用與相容要求,唯讀盤點匯出、呼叫端和測試,對每處指定新呼叫方式。列出同批退役舊簽章的條件,保留跨日業務測試;未獲准前不移除任何程式或檔案。驗收重點:計畫覆蓋全部已知參照,說明搜尋限制與相容證據,新契約檢查和待核准移除清單分明。
範例 3 · 讓舊查詢旗標與呼叫端一起退役
參考提示詞 套用 principle-migrate-callers-then-delete-legacy-apis。 查詢模組想以明確篩選物件取代舊布林參數。先讀全部內部呼叫及序列化入口,證實是否有對外契約,再規劃同批遷移與舊介面退役。區分有意義的查詢結果測試與只保護舊參數順序的測試,這輪只做盤點。驗收重點:每個舊呼叫都有對應新契約,外部相容不明項目被保留,退役完成需以零殘留參照與行為測試確認。
principle-minimize-reader-load | 降低追蹤層數與隱藏狀態3 個範例從報表日期來源追蹤間接層與可變狀態,判斷哪些包裝與共享欄位增加閱讀負擔。
範例 1 · 追清月報結算日期的來源
參考提示詞 套用 principle-minimize-reader-load。請追蹤月報結算日期,分別列出間接層數,以及讀者必須記住的可變時區狀態。 先唯讀提出精簡方案。只建議合併沒有隱藏實質決策的轉傳層,並說明哪些邊界應保留。評估把模組時區改成每次報表的輸入,不建立新架構層。 交付修改前後的追蹤路徑、跨日與多報表測試案例,以及讓新讀者回答「日期從哪裡來、誰能改變它」的方法。不要聲稱尚未測量的閱讀時間。驗收重點:提案同時說明間接層與時區狀態,保留實質邊界,列出跨日與連續報表驗證。
範例 2 · 看懂一個權限答案要追多少層
參考提示詞 套用 principle-minimize-reader-load。 請唯讀追蹤管理頁「能否匯出」的決策,列出純轉傳層及會改變權限結果的層級,同時記錄可變角色狀態的來源與生命週期。提出最小精簡方案,保留真正授權邊界,不以行數較少直接宣稱更好懂。驗收重點:修改前後追蹤路徑可比較,保留層各有實質責任;跨使用者與直接請求拒絕案例不被省略。
範例 3 · 移出測試間偷偷共用的設定狀態
參考提示詞 套用 principle-minimize-reader-load。 一組報表測試需追多個 helper 才能知道目前時區。先列出設定讀寫順序與純轉傳層,評估把時區改成每次測試的明確輸入。只提出精簡方案及連續、交換順序、跨日案例,不加入新的測試框架。驗收重點:讀者能指出狀態由誰建立與改變,方案降低隱藏依賴,測試順序改變仍保護相同行為。
principle-model-the-domain | 用資料結構承載領域規則3 個範例以檔案上傳生命週期為例,將互相牽制的布林狀態改成明確模型,集中合法轉移與資料擁有權。
範例 1 · 用狀態模型取代上傳旗標
參考提示詞 套用 principle-model-the-domain。請閱讀檔案上傳器及所有旗標讀寫位置,分析 isUploading、isComplete、hasError 的非法組合。 這輪只提出模型,不改檔案。比較目前布林旗標與最小狀態模型,列出各狀態必要資料、合法事件、轉移擁有者,以及如何處理舊進度回呼。 不要引入狀態管理框架。用成功、失敗、取消、重試的事件序列檢查方案,說明它實際移除了哪些分支、重複規則或生命週期風險。若簡單局部修改就足夠,也要明說。驗收重點:模型排除成功與失敗同時成立,定義事件擁有者與過期回呼規則,涵蓋取消及重試。
範例 2 · 為訂單退款建立合法狀態
參考提示詞 套用 principle-model-the-domain。 退款頁以 requested、processing、done、failed 四個旗標同步顯示。先唯讀盤點所有讀寫與事件來源,提出最小狀態模型,讓成功必帶退款識別、失敗帶原因。定義取消、重試及晚到回應的規則,只使用模擬事件,不操作真實退款。驗收重點:模型排除成功與失敗並存,各轉移有唯一擁有者,事件序列可驗證資料與畫面一致。
範例 3 · 讓連線生命週期不靠多個布林維護
參考提示詞 套用 principle-model-the-domain。 本機監測器以 isConnected 和 isConnecting 等旗標處理連線。讀取全部旗標與回呼,規劃連線中、已連線、斷線及重試狀態,列每個狀態必要資料與過期回呼處理。這輪只比較模型與局部修正的成本,不新增狀態框架。驗收重點:提案明示合法事件與非法組合,重試後的舊回呼不覆寫新狀態,新增模型確有移除的風險或規則。
principle-never-block-on-the-human | 在授權內先做可逆工作3 個範例用修正文檔站內連結的情境區分執行判斷、產品方向與不可逆操作,在授權內推進並留下可審查結果。
範例 1 · 在授權內修正已知失效連結
參考提示詞 套用 principle-never-block-on-the-human。請修正我列出的三篇文件中失效的站內連結,根據現有路由與內容確認目的地。 在這三篇內,對能證實的新路徑直接修改,不逐條等我批准。語意不明或涉及產品方向的連結保留原文,繼續完成其他項目,再列出待決原因。 不得修改其他檔案、刪檔、commit、push、部署或對外發訊息。完成後提供差異摘要、目的地證據與連結檢查結果,不以工作可逆為由越過這些限制。驗收重點:有證據的連結先完成,語意不明項目另列;差異限於指定文件並附檢查結果。
範例 2 · 文件格式確定的部分先完成
參考提示詞 套用 principle-never-block-on-the-human。 請整理我指定三篇文件的標題層級與已存在頁面的連結文字。可由現有內容證實的部分直接修改,意義不明的術語保留並列待決,繼續完成其他項目。不擴大檔案範圍、不刪內容或提交;最後附差異與站內連結檢查。驗收重點:使用者能審查已完成的局部成果,每個待決項有具體原因,不因一處術語未定而停下全部工作。
範例 3 · 缺少正式憑證仍先完成離線驗證
參考提示詞 套用 principle-never-block-on-the-human。 請在已授權的匯出修正範圍內,先用現有固定測試資料重現問題、修改並驗證檔案內容。正式服務憑證未提供,將真實環境驗收另列缺口,繼續做不依賴憑證的工作;不要登入、猜測憑證或宣稱正式驗收已通過。驗收重點:交付可審查差異、離線產物與檢查結果,正式環境缺口清楚且不阻擋已可完成的部分。
principle-outcome-oriented-execution | 以可驗證終態安排遷移3 個範例為重寫或遷移設定目標架構、可逆的暫時失效範圍與完整驗證邊界,避免留下拋棄式相容層。
範例 1 · 規劃啟動設定物件的遷移終態
參考提示詞 套用 principle-outcome-oriented-execution,規劃把散落的環境變數讀取移到啟動設定物件。 輸入是啟動入口、全部設定讀取位置、部署需求與現有測試。 先交付終態條件、階段邊界、可接受的工作分支暫時失效與回復方法。 保留改動區域的持續檢查,結束時要求完整靜態與實際啟動驗證。 不要為遷移便利增加永久相容層。先提出計畫,不修改程式或部署。驗收重點:每階段有範圍、回復方式與檢查;終態涵蓋全部讀取端和實際啟動,沒有遺留過渡失效。
範例 2 · 把儲存責任集中到單一介面
參考提示詞 套用 principle-outcome-oriented-execution。 請規劃將三處直接寫本機檔案的功能改由既有儲存介面負責。先定義終態與全部呼叫端,將工作分成有驗證邊界的階段,列工作分支可暫時失效的範圍及回復方式。只交計畫,不寫檔;結束需測正常、失敗與重啟,不留下無需求的永久轉接層。驗收重點:計畫能證明全部路徑遷移完成,每階段有檢查,終態涵蓋實際讀寫及重啟而非只有編譯。
範例 3 · 統一內容查詢的遷移完成條件
參考提示詞 套用 principle-outcome-oriented-execution。 內容站要從散落的檔名解析改用既有內容集合。先盤點路由、搜尋與側欄,定義終態不再依賴舊解析的可查條件。安排有界階段與局部持續檢查,最終核對所有輸出頁和站內連結;先提計畫,不部署或為過渡新增永久雙路徑。驗收重點:每個消費者有遷移與驗收安排,過渡失效有明確結束點,最後可驗證舊路徑零依賴。
principle-prove-it-works | 直接查驗真正的產物3 個範例以實際產物、真實狀態與可重跑的比較證據驗證成果,同時確認觀察方法及依據來源。
範例 1 · 直接驗證本次匯出的 CSV
參考提示詞 套用 principle-prove-it-works,驗證帳務 CSV 匯出修正。 先讀專案指定的匯出規格與驗證入口。 測試資料含已付款 A-101,金額 125.50,以及未付款 B-202。 從實際入口取得本次檔案,直接比較訂單集合與金額格式。 若可用,執行可重跑的比較腳本,保留差異及結束碼,確認錯誤副本因預期的內容不符而失敗。 列出證據來源與未驗證事項,不以編譯、時間戳或代理自述代替結果。不要提交或傳送資料。驗收重點:本次檔案只含已付款訂單與正確金額文字,錯誤副本會因內容差異而失敗。
範例 2 · 確認下載的可編輯文件真的正確
參考提示詞 套用 principle-prove-it-works。 文件轉換已產生可編輯檔。請依指定原稿核對這次產物,檢查頁數、文字可編輯、表格及字型排版;用可用工具開啟實際檔案並留證據。檔名與產生成功訊息不足以證明完成,未能視覺檢查的頁面明確列出,不寄送文件。驗收重點:證據對應本次檔案與原稿,結構及實際畫面分開驗收,缺頁或不可編輯內容能被指出。
範例 3 · 確認新網頁真的有完整範例
參考提示詞 套用 principle-prove-it-works。 網站新增每項三例的技能頁。請從實際本機建置頁檢查技能集合、每項範例數、文字及教學連結,再在手機寬度開啟一項查看三例與複製結果。保留可重跑計數與畫面證據,不能只以建置成功宣告完整。驗收重點:實際輸出對應完整技能清單且每項至少三例,操作與手機排版有觀察結果,未查項目另列。
principle-redesign-from-first-principles | 把新需求視為起點重新設計3 個範例整合新需求前先讀懂既有設計,以需求從第一天就存在的角度重想模型,再分段更新所有參照。
範例 1 · 為跨工作區角色重新建模
參考提示詞 套用 principle-redesign-from-first-principles,分析文件系統的工作區角色需求。 現有全域 isAdmin 無法表達同一人跨工作區擁有不同權限。 先讀受影響的模型、呼叫端、畫面、測試與設計文件。 假設工作區角色從第一天就存在,提出模型並用甲可編輯、乙唯讀、未加入不可存取的矩陣檢查。 交付完整參照清單與分段驗證計畫。未確認的全域管理員規則另列,不擅自改變。 這次只分析,不修改資料或刪除舊介面。驗收重點:模型直接表達各工作區角色,拒絕未授權操作,計畫涵蓋模型、畫面、測試及文件。
範例 2 · 讓多幣別成為金額模型的起點
參考提示詞 套用 principle-redesign-from-first-principles。 原系統假定只有一種幣別,現在要分析多幣別需求。先讀金額儲存、運算、匯出與測試,假設幣別從第一天就存在,提出資料與運算邊界。用同幣相加、異幣拒絕及匯出標示檢查,未確定的匯率規則另列,這輪不修改資料。驗收重點:新模型直接表達幣別,計畫涵蓋全部消費者與既有有效行為,不以零散旗標掩蓋缺失。
範例 3 · 從離線需求重新看載入模型
參考提示詞 套用 principle-redesign-from-first-principles。 原文件工具每次開頁都即時請求遠端,現在要支援離線閱讀。先讀資料載入、搜尋與更新流程,假設離線從第一天存在,重想版本快照、可用狀態與更新邊界。列冷啟動無網路、已有快照及更新失敗案例,只做設計與分段遷移計畫。驗收重點:模型能直接說明離線時讀到哪版資料,所有入口有調整清單,保留原先線上有效行為的驗收。
principle-separate-before-serializing-shared-state | 先拆共享輸出再考慮序列化3 個範例並行寫入前先拆分獨立檔案與擁有權,只有單一共享狀態確實必要時,才以結構性機制控制寫入。
範例 1 · 拆分索引與監測程序的共用狀態
參考提示詞 套用 principle-separate-before-serializing-shared-state,檢查索引程序與監測程序共寫 state.json 的設計。 先列出讀寫流程與各欄位擁有者。 優先將獨立事實拆為 indexer-state.json 與 metrics-state.json,在報表讀取端合併。 若有真正需要單一共享物件的不變條件,指出證據,再提出結構性同步方法。 給出交錯更新的驗證案例與一致性限制。這次只交付方案,不啟動程序或修改共用檔。驗收重點:獨立輸出各有唯一寫入者;交錯更新不遺失資料,報表明示跨來源的時間一致性限制。
範例 2 · 並行產生文件時分開輸出擁有權
參考提示詞 套用 principle-separate-before-serializing-shared-state。 多個文件產生工作者共寫同一份結果清單,偶爾遺失項目。先畫出讀寫流程與欄位擁有者,優先規劃各自輸出獨立結果,再由單一彙整階段合併。用交錯完成與一個工作者失敗的案例驗證;只有證實必須共享時才討論同步機制。驗收重點:每個輸出有唯一寫入者,彙整能辨識未完成項目;方案明示何時可視為完整一致的結果。
範例 3 · 拆開偏好與工作進度的保存檔
參考提示詞 套用 principle-separate-before-serializing-shared-state。 介面與背景工作共寫 settings.json,一邊保存偏好會覆蓋進度。先追蹤各欄位讀寫,規劃獨立偏好檔與工作狀態檔,在讀取端組合。列同時寫入的交錯案例與跨檔案一致性限制,只交方案,不修改使用者現有檔案。驗收重點:獨立事實不再互相覆蓋,仍需單一共享狀態的欄位有證據與保護機制,而非只要求依序執行。
principle-sequence-verifiable-units | 每個工作單位都以檢查收尾3 個範例將批次修改切成可驗證單位,逐項確認後再前進,並以能重播因果的順序安排交付。
範例 1 · 安排金額函式的遷移順序
參考提示詞 套用 principle-sequence-verifiable-units,規劃購物車、優惠券、退款的金額函式遷移。 先取得乾淨主線基準與規格中的邊界金額案例。 將工作切成已知起點、單一變更、可執行檢查的單位。 先證明缺陷案例確實失敗,再安排修正,之後逐模組驗證,不通過不前進。 列出交付順序、每單位的檢查及整合驗收。這次只規劃,不 rebase、不提交、不改程式。驗收重點:各單位有已知起點、單一變更與檢查,缺陷先紅後綠,最後補跨模組整合驗收。
範例 2 · 分批更新技能內容但每批可驗證
參考提示詞 套用 principle-sequence-verifiable-units。 請規劃更新多個技能教學與入口。先取得現有技能清單及建置基準,按分類切成小單位,每單位明確指定來源、唯一主要變更與數量及連結檢查;一批失敗先處理再前進,最後執行全站整合驗收。這次只交計畫。驗收重點:交付順序可追溯每批改變與檢查,遺漏可定位最近單位,最後仍包含跨分類導覽與整合結果。
範例 3 · 重構解析器時保留可重播因果
參考提示詞 套用 principle-sequence-verifiable-units。 設定解析器要改成先解析再計算。先確認基準與缺陷輸入,安排第一單位證明既有失敗,第二單位修正,後續逐個遷移呼叫端。各步寫明可執行檢查與停止條件,最後確認無舊路徑殘留;先規劃,不改歷史或提交。驗收重點:測試因預期原因先失敗後通過,呼叫端逐批驗收,最後有完整契約與整合檢查。
principle-subtract-before-you-add | 先減去負擔再擴充3 個範例新增功能前依實際用途盤點失效分支、重複驗證與空殼參照,先簡化基底,再加入規格需要的能力。
範例 1 · 新增每週摘要前先盤點通知負擔
參考提示詞 套用 principle-subtract-before-you-add,評估通知服務新增每週摘要前可先簡化哪些地方。 輸入包含現行規格、格式分支、呼叫端、功能開關、測試及文件。 分別列出已證實可移除、應保留與證據不足的項目,附用途及參照依據。 先提出簡化順序與保行為檢查,再列新增摘要的最小能力。 不為假想格式加解析器。不刪檔、不刪舊 API 或 dead code,先交付待核准清單。驗收重點:刪減提案有用途與參照證據,必要驗證保留,摘要能力有獨立輸入與輸出驗收。
範例 2 · 新增篩選前先釐清重複查詢路徑
參考提示詞 套用 principle-subtract-before-you-add。 目錄要新增日期篩選,現有程式已有兩套同用途查詢與舊功能開關。先用規格、呼叫端及測試分出可簡化、必須保留和證據不足項目,再規劃最小日期篩選。只交待核准清單與保行為檢查,不直接刪檔或移除必要邊界驗證。驗收重點:每個簡化建議附用途依據,舊查詢有效行為有保護,日期篩選不帶入假想的通用規則引擎。
範例 3 · 加入新匯出格式前檢查現有負擔
參考提示詞 套用 principle-subtract-before-you-add。 工具將新增一種已指定格式。先盤點現有格式分支、空殼轉接與重複檢查,追查實際使用與外部契約。提出先簡化後新增的順序,保留仍有用途與證據不足項目;不要為假想格式建立外掛框架,這輪不執行移除。驗收重點:簡化有呼叫與契約證據,既有格式內容及錯誤行為不變,新格式有明確輸入與輸出驗收。
principle-test-behavior-not-implementation | 測試使用者可觀察的契約3 個範例從呼叫者介面驗證回傳值、錯誤與外部副作用,讓測試抓得到行為缺陷,又不綁死內部重構。
範例 1 · 從公開入口驗證結帳契約
參考提示詞 套用 principle-test-behavior-not-implementation,檢查結帳測試是否保護公開契約。 需求是空購物車不扣款,兩件單價 300 的商品扣款一次且總額為 600。 從公開結帳入口執行,用支付沙箱或外部邊界替身觀察請求,不實際扣款。 同時保留零次與一次扣款案例,確認漏扣、重扣及錯額會被抓到。 指出只改內部結構時哪些斷言應保持通過,勿用內部 mock 呼叫代替行為證據。 先提出測試調整方案,不修改或刪除現有測試。驗收重點:空購物車零次扣款,兩件商品一次正確扣款;漏扣、重扣與錯額都會使測試失敗。
範例 2 · 讓匯出測試保護檔案內容
參考提示詞 套用 principle-test-behavior-not-implementation。 匯出測試目前只斷言內部序列化函式被呼叫。請先依規格提出調整方案,從公開匯出入口讀取實際 CSV,對固定訂單驗證欄名、金額與未付款排除。讓缺列、重複列及錯額各有失敗案例,不用匯出函式自己產生預期答案。驗收重點:方案直接保護下載契約,內部函式拆合不影響測試;有對應反例證明各種內容錯誤會被抓到。
範例 3 · 重構排序也不該重寫測試
參考提示詞 套用 principle-test-behavior-not-implementation。 清單排序測試只檢查私有比較函式的呼叫次數。先讀公開排序契約,提出以同值穩定順序、空集合及混合大小寫輸入驗證結果的方案。只在外部副作用邊界使用替身,不綁定特定排序演算法,也不放寬原有有效要求。驗收重點:測試能抓到順序與穩定性錯誤,替換內部演算法但保持契約時仍通過,預期值來自規格。
principle-type-system-discipline | 讓型別排除不合法狀態3 個範例區分語意不同的基本值,在外部邊界解析資料,依權威結構衍生型別,並讓編譯器檢查狀態與分支。
範例 1 · 區分出貨識別碼與結果狀態
參考提示詞 套用 principle-type-system-discipline,檢查出貨事件與結果型別。 輸入包含權威 OpenAPI 結構、事件接收入口、出貨函式簽章與有效及無效事件。 區分 UserId 與 OrderId,從權威結構衍生傳輸型別,在邊界解析後才建立領域模型。 將待處理、成功附追蹤號、失敗附原因建模成合法狀態,列出窮盡性檢查方式。 交付型別設計及編譯期、執行期的驗收案例,不用強制斷言假裝完成驗證。 這次只提出方案,不安裝產生器或修改程式。驗收重點:錯用識別碼、成功缺追蹤號及漏處理狀態有編譯檢查;無效事件在執行期邊界被拒絕。
範例 2 · 避免日期與時區字串被混用
參考提示詞 套用 principle-type-system-discipline。 請唯讀檢查排程輸入與計算簽章,區分日期、時區及工作識別碼,從既有權威設定結構衍生傳輸型別,在入口解析後才建立領域值。列錯傳語意型別的編譯案例及缺欄位、無效時區的執行期案例,不用強制斷言假裝已驗證。驗收重點:型別檢查攔下語意混用,無效設定在入口被拒絕,傳輸型別沒有與權威結構重複手寫。
範例 3 · 讓查詢結果不能同時成功與失敗
參考提示詞 套用 principle-type-system-discipline。 查詢結果用 success 布林搭配可選 data 與 error,可能出現矛盾組合。先讀消費者與外部回應結構,提出可辨識聯集,成功必帶資料、失敗必帶原因;新增狀態需窮盡處理。只交型別與解析方案及正反例,不新增產生器。驗收重點:成功缺資料與錯誤組合不能建立合法值,未知外部回應被拒絕,漏處理新狀態會有編譯檢查。