用測試找出程式不符合規則的輸入
在可用的 Codex CLI 中，提供程式副本和已確認的規則，產生測試輸入並記錄可重現的失敗例子。
執行環境與使用方式
AI／軟體
Codex CLI (suggested exercise route; original stack differs)
在哪裡操作
電腦終端中的 Codex CLI，開啟獲授權專案的隔離副本；原案研究系統不是可直接安裝的同一工具。
如何開始
- 按下方 Codex 官方入門文件安裝及登入，在測試專案資料夾啟動 Codex。
- 開啟授權程式副本與已設定的測試環境。
- 提供已確認規則、輸入範圍與資源上限，再執行案例提示詞。
- 保留實際測試輸出、種子和最小失敗例子，交由維護者判斷。
準備與方案條件
需要語言相容的測試框架、可運行的程式與明確規則。 需可用的 Codex 帳號、專案版本與工具相容性；只核准本練習必要的檔案／命令權限，不連接正式服務。
提示詞移植限制
文字規劃部分可另用對話工具；完整步驟需要上述環境。一般對話不能代替實際瀏覽、操作、幾何檢查或測試證據。
使用限制
適合縮小程式錯誤的範圍。實際執行需要已設定的測試框架和資源上限；報告應保留隨機種子與最小失敗例子，並由維護者判斷是程式或規則有誤。 本次只做文件審查，未實測、安裝或確認地區適用性。 原始網址本次未能讀取，原工具資訊僅保留既有紀錄，尚未重新核實。
環境資料來源
適用情境 / When to use
適合縮小程式錯誤的範圍。實際執行需要已設定的測試框架和資源上限；報告應保留隨機種子與最小失敗例子，並由維護者判斷是程式或規則有誤。 hikikomorphism 自述用代理群進行性質測試並發現程式錯誤。
步驟 / Steps
- 準備獲准測試的程式副本、現有測試環境及可解釋的不變條件。
- 請代理為指定函式提出性質與輸入生成方法，先由維護者確認規則。
- 記錄隨機種子並縮小反例；人工判定是實作錯誤還是性質定義有誤。
提示詞 / Prompt
對［測試副本中的函式］依［已確認規格］設計性質測試。解釋每個不變條件及適用範圍，使用［資源上限］執行；回報種子、最小反例與重現方式。不改實作或規格，不把失敗自動判定為漏洞。
留意事項 / Cautions
- 限制執行時間與資源，不測未授權服務。
- 不要為讓測試通過而悄悄削弱性質或更改實作。
來源限制 / Evidence limits
短篇自述未提供完整評測；原文的 codex 是受測專案之一，不能據此認定使用 Codex 工具。
流程說明 / Workflow note
以下步驟與提示詞為本站原創、未實測的練習設計，並非原作者逐字流程；來源結果不代表練習保證成功。
原始工具組合 / Original tool stack
未指明平台的代理群；性質測試
來源發表日期：2026-10-14
來源查核日期：2026-10-19