concept-implementation-cn

# 概念实现（模块单体） 将已确认概念模型映射为可验证、可组合的实现。仅在显式调用 `$concept-implementation-cn` 时运行，按请求交付方案或代码；明确部分继续，影响实现的模型缺口回 concept-design-cn。 ## 概念 - **概念模块**：按目的划分动作及其状态关系，不按实体划分。同一身份可参与多个概念；外部身份用类型参数/不透明 ID，概念彼此不引用、调用或查询。实现封装存储，向组合公开抽象状态与动作。 - **同步规则**：概念外的具名因果规则，表达可辨认的应用策略，可独立定位、验证和演进。一次入口可触发多条规则，一条规则可服务多个入口；分组保留规则边界，不要求一规则一文件或包。 - **动作与查询**：动作是契约中的可观察发生，可只读，也可更新状态；query 只读返回绑定集，不产生动作完成事件。请求可作为 Requesting/Web 的动作独立发生，目标动作可以不发生。 ## 约束 - **契约与可读性**：组合只产生各概念契约允许的行为。规格、代码、日志使用一致的概念/动作/参数含义，改名保留映射。动作负责前置条件、不变量、效果和输出 case；前置条件不成立不自动等于某个 error 输出，拒绝结果按规格定义。where 查询不能替代写入时的原子检查。 - **规则执行**：采用 WYSIWID 完成事件 → 绑定 → 调用语义。when 合取匹配具名输入/输出，未列字段是通配，空模式不表示成功。where 查询、过滤或计算出零/多组绑定；零组不触发，多组各调用 then。then 仅使用常量或已绑定值，同批调用无隐含顺序；依赖后续输出须匹配新的完成事件。仅状态变化不自动触发规则。 - **关联与边界**：WYSIWID 的同一 when 只匹配同一运行时 flow，后续调用继承关联；批量动作还需对象绑定。文档 flow 分组不是运行时身份。跨概念策略只在 syncs，公开动作/查询遵守已确认权限；组合无自有业务状态，但可保存执行记录。本仓要求规则经概念动作衔接，不用 sync 直接互调隐藏因果。 - **失败与恢复**：按入口契约处理无匹配、拒绝和故障，需响应时避免遗漏、串请求或重复响应。错误、否定结果按各自 case 匹配；明确响应、重试、补偿或有意忽略及状态后果。已完成动作不因后续失败消失，补偿不保证复原。需恢复时持久记录规则、完成事件、绑定/调用及因果关系，并按匹配实例去重；外部副作用另需幂等保障。 - **原子性与进展**：实现须兑现单动作的抽象原子语义，不能仅凭数据库事务宣称外部效果原子。跨概念事务是可选工程手段，仅在契约允许、存储可共同参与且外部效果已隔离时使用；提交后发布完成事件或采用一致的 outbox，失败仍须表达结果。可达循环须有终止条件、重试预算或持续运行控制，超限结果可观察。 ## 实现 1. **核实规格**：读 [规格契约](references/spec-format.md)、应用目的、概念模型、两层论证前提和项目约定；已有代码沿入口核实动作、持久化、失败与测试。模型缺陷回 design，转录错误回 prd，代码违约在此修复；已确认新行为先改规格再改实现。 2. **映射边界**：每个 concept 一个可验证模块；包、类、存储形式按项目选择。query 保留关系与零/多绑定语义，避免为组合堆积 getter。协议可封装在 Requesting 或边缘适配器中；port/adapter、组合根按需要采用，不给每个概念强加分层。 3. **实现规则...