如果正如 @sgrove 所提議的，規範是未來的代碼，那麼除錯是什麼？ 1) 規範編譯是編碼代理將規範轉換為代碼的過程 2) 越來越多的“編譯”將是無人值守的，少看代理逐行工作，更多的是規範進，代碼出 3) 類型錯誤 -> 真理錯誤：大多數除錯將是在 markdown 中挖掘研究和實施計劃，以找到使編碼代理在實施時無法成功的那一行錯誤上下文。測試套件將檢查真理和邏輯一致性等內容。 4) 有一種新的高階“附加步驟除錯器”的風味，即觀察代理逐步實施計劃，以確定規範中的邏輯錯誤。當你在逐行執行程序時發現錯誤時，你會更改代碼，重新啟動過程，並重複直到它正常工作。當你在逐步執行實施時發現規範中的錯誤時，你會向上游回去，修正規範，然後重新啟動 *實施*。