keel：让 agent 先立规格、再写代码的 DSH 插件

# 前言 用 dsh（DeepSeek Harness）这类“一切皆插件”的 harness 跑编码任务时，常见的问题不是模型不会写代码，而是它拿到需求就直接开写：需求模糊时实现方向跑偏，返工成本最高；“我假设”被当成事实，方案建立在流沙上；实现阶段做得太多，或者范围越滑越远。把规范写进系统提示词是一种做法，但约束停留在“自觉”层面，缺一道硬性门禁。 keel（龙骨）的思路是：先写规格、先验证假设，规格通过门禁之前不动手实现；实现中用规则防过度工程、用变更请求防范围蔓延；交付前逐条审计验收标准。纪律由技能约束 agent 行为、由工具做确定性检查，不依赖