keel：讓 agent 先立規格、再寫代碼的 DSH 插件

# 前言 用 dsh（DeepSeek Harness）這類“一切皆插件”的 harness 跑編碼任務時，常見的問題不是模型不會寫代碼，而是它拿到需求就直接開寫：需求模糊時實現方向跑偏，返工成本最高；“我假設”被當成事實，方案建立在流沙上；實現階段做得太多，或者範圍越滑越遠。把規範寫進系統提示詞是一種做法，但約束停留在“自覺”層面，缺一道硬性門禁。 keel（龍骨）的思路是：先寫規格、先驗證假設，規格通過門禁之前不動手實現；實現中用規則防過度工程、用變更請求防範圍蔓延；交付前逐條審計驗收標準。紀律由技能約束 agent 行爲、由工具做確定性檢查，不依賴