交付什么
不替你选架构风格，而是让边界、归属、例外和删除路径都能被验证。
Keel：让架构的承重骨架保持小而稳
收录于 2026-08-08一套架构设计与治理协议：先明确少数承重对象、依赖方向和唯一真源，再按契约等级决定哪些接口要稳定、哪些内部可以自由重写。
工程开发产品与项目
它不替你选择微服务、DDD 或某个框架，而是约束长期不容易守住的部分：公共契约最昂贵，跨模块接口次之，模块内部与装配层应保持便宜可改；每个边界只能有一个所有者，每项事实只能有一个真源，缓存和报表只是可删除的投影。设计还必须覆盖拒绝、失败、中断、重复执行和恢复。重要规则要落成能失败的机器检查，例外必须有日期且只能收缩；如果大家反复绕过规范，先降低合规路径的成本。面对整库重写，Keel 会把它压回最小可重写切片，并要求新概念同时说清将来删掉什么。