Keel：设计、评审并治理承重型架构

Keel 会先判断当前问题属于建立或比较方向的“决策”、检验既定设计的“评审”、处理漂移与例外的“治理”，还是架构已定、应交回普通执行流程的“退出”。它只映射真正承重的脊柱，并逐项说明事实依据、决策权、责任人、写入路径，以及必要的数据分区、复制、提交、冲突和恢复关系；公共、持久化和跨边界接口必须有明确的兼容或切换方案，私有实现则保持便宜可改。对超时、重复、并发、重试、重启和提交状态不明等真实负路径，它要求给出检测方式、恢复责任、修复或对账动作、终态证据与升级办法。重要规则才配可失败的检查，例外默认只能收缩；反复绕过规范时，先降低正确路径的成本。它不替你选择微服务、DDD 或框架，也不接管编码和测试，而是让架构方向、取舍、迁移、退役与删除都有证据、责任和退出条件。