Enforce Contract Skill

觸發時機

• 編寫單元測試前
• 實作 analyze-frame 產出的規格時
• 代碼提交（commit）前
• 實作新方法時
• AI 生成代碼後的驗證

核心任務

透過 Design by Contract 明確定義每個方法的邊界條件，極大化減少 AI 幻覺。

契約式設計三要素