ontology-of-everything 概念实现（模块单体）
焦点问题：如何把已确认概念行为实现为可验证、可组合的模块？仅在显式调用 $concept-implementation-cn 时运行。按请求交付方案或实际代码；明确部分继续，影响实现的模型缺口回 concept-design-cn。
概念与命题
Concept 是目的性行为单元；工程模块实现并封装它。
| 概念 | 定义及实现关系 |
|---|---|
| 概念模块 | 封装 state、不变量、actions/query；各模块互不引用是本仓独立性约定 |
| port / adapter | port 声明能力接口，adapter 实现它；domain 不依赖协议或其他概念 |
| sync 组合层 | 协调多个概念的公开动作，承载跨概念业务策略 |
| 组合根 / 接口适配器 | 组合根装配具体实现；接口适配器转换 DTO/协议并调用组合入口 |
| 目的与验证 | 概念 OP 检查局部需要，应用场景检查整体目的；actions/state 及 sync 提供行为测试依据 |
| 产品子集 | 有意义的概念组合；依赖图指导裁剪，不产生概念间代码依赖 |
关键命题：跨概念业务协调归 syncs，组合根可装配多个概念；两者职责不同。概念动作原子维护自身不变量，组合查询不能替代它。测试符合规格不证明模型适合目的；发现目的落空的反例须回查模型。
实现约束
- API（含查询）遵守已确认的协调/权限策略；一次入口可触发多条规则。
- 组合层无自有业务状态，可持久保存溯源、重试和幂等记录。
- 错误是可匹配输出 case，须有响应、重试、补偿或有意忽略策略；事务不能代替失败契约。
- 已确认新行为先改规格再改实现；分组只解决工程组织痛点。
实现与验证
- 核实输入：读 规格契约，再读应用目的、概念模型及两层论证前提、共存/暂存规格和项目约定；已有代码沿入口核实公开动作、持久化、失败路径和测试。模型缺陷回 design，纯转录错误回 prd，代码违约在此修复。
- 映射模块：一个 concept 对应一个可验证边界的模块；独立包优选但不强制。物理状态私有，公开抽象状态供组合查询，actions 为公开服务；采用 query API 时保持声明的绑定语义；类型参数用泛型或不透明 ID，可零个或多个，不引入其他概念实体类型。
- 实现组合：读 composition-layer.md，默认 mediator；需按规则演进、多事件匹配或追踪时考虑引擎。核对完成事件、绑定、并发、请求关联和失败语义。接口适配器将请求/消息映射为明确入口，需响应时由协调产生结果。
- 规格落位：CONCEPT 随概念模块，SYNCS 随组合包；迁移暂存文件并同步总体 PRD 索引。
- 验证行为和边界：只读目标语言参考，把架构看护纳入 CI；将 OP 测试关联概念目的，端到端测试关联应用目的和 sync，并覆盖各自前提。分组/拆包仅在导航、构建或团队协作有痛点时读 scaling.md。
完成条件
- 概念模块互不引用，跨概念业务策略仅在 syncs；domain 边界受测试保护并进 CI。
- 概念 OP、应用场景、动作不变量与适用的绑定、无/多匹配、失败、重放、请求隔离测试符合契约；事务保留完成动作的可观察语义。
- 规格共存且与代码一致；排除动作未被调用/暴露，未决模型前提未被实现猜测填补。
- 产品子集经依赖闭包、入口、剩余规则、外部资源及构建/feature 开关共同验证。
按需参考
| 场景 | 参考 |
|---|---|
| Rust workspace、trait/port、包级依赖看护 | rust.md |
| Spring Modulith 模块与 verify 的边界 | java-spring.md |
| TypeScript 包、组合与 dependency-cruiser | typescript.md |
| 工程选择的出处 | sources.md |