把概念模型映射为模块单体代码:concept→模块、sync→mediator
Design & media
Concept Implementation — Modular Monolith
Try it把概念模型映射为模块单体代码:concept→模块、sync→mediator
What it does
Maps a confirmed concept model (Daniel Jackson's concept design) onto a modular monolith (one module per concept, syncs as mediators or a rule engine). Use this skill whenever the user asks to implement the concept model, 模块单体, or mentions concept-implementation.
The skill document
概念实现(模块单体)
目标
输入:已确认的概念模型(concept-design 输出的 concepts、syncs、依赖图)与 concept-prd 的规格文件。输出:模型到代码结构的映射——模块骨架、组合层、接口层、看护测试与共存规格。不重开概念讨论:边界有疑问回 concept-design,存量工程审计用 concept-audit。
原则
- 概念模块之间零相互引用(intrinsic 禁令的代码化):数据与控制流全部经组合层流动;syncs 是唯一允许同时引用多个概念的地方。
- 对外 API 只暴露应用动作(即 sync),永不直通概念动作。
- 业务不变量只在概念的 domain;syncs 层薄、无自有持久状态、按 flow 组织。
- 错误是可匹配的输出 case,不是抛出即忘的异常;每条 sync 的失败路径二选一并可指认(错误 sync 补偿 / 共享事务)。
- 规格与代码共存,此后规格先行:先改规格再改实现。
- 分组只是工程组织,不带架构语义;无痛点不分组。
流程
- 映射模型元素:按下表为每个 concept 建独立编译单元,按端口-适配器分层(domain 零外部依赖 → actions 即应用服务、依赖 port → adapter 实现 port;组合根是唯一命名具体 adapter 的地方)。
- 选 sync 落地路线:读
references/composition-layer.md;默认过程式 mediator,规则多、需审计追踪或按规则演进时选规则引擎。为每条 sync 定时机类别(动作后 / 前置校验 / 定时)与失败路径。 - 接口层:端点 = 组合层入口,路由与 DTO 映射写在接口适配器;
Requesting动作触发 sync,响应由 sync 产生。 - 规格共存落位:CONCEPT.md 进模块目录、SYNCS.md 进 syncs 目录。
- 语言落地:只读目标语言一份参考,固化边界看护测试进 CI。
- 规模化(仅当十余个概念以上、平铺难导航或多团队分治):读
references/scaling.md。 - 逐条核对「命题」。
命题
- 模块依赖图核验:概念模块互不依赖;只有 syncs 与 app 引用多个概念。
- 边界规则已固化为架构看护测试并进 CI。
- 每条 sync 的失败路径明确:错误 sync 补偿或共享事务,二选一并可指认。
- 每个概念的 OP 有对应集成测试;每条 sync 有对应测试。
- 规格已共存落位且与代码一致;CONCEPT.md 无 interactions / dependencies 段、四节不点名其他概念(否则回
concept-prd重新转录)。 - 模型中的排除动作未被组合层调用,也未经 API 暴露。
- 依赖图中的产品子集可通过 feature / 构建开关裁剪。
记法与模板
| 模型元素 | 代码落点 |
|---|---|
| 一个 concept | 一个独立编译单元(模块 / crate / 包),对外只暴露 actions 与状态查询 |
类型参数 [U] | 泛型参数或不透明 ID(值对象),不引入对方类型 |
| state | 模块私有,经 port 抽象持久化;不是全局数据模型 |
| actions | 模块的公开方法 / 服务;错误是独立的输出 case |
queries(_ 前缀) | 模块的只读查询方法;供 sync 的 where 段与展示层 |
| OP | 该模块的集成测试场景(after/then 场景 = 测试用例) |
| sync | 组合层代码:mediator 函数或规则引擎规则 |
| extrinsic 依赖图 | 构建 / 交付顺序与产品裁剪,不产生代码依赖 |
违规信号 → 处置:概念模块引用另一概念模块 → 参数化或上移 syncs;syncs 里出现业务不变量 → 下沉 domain;一个模块服务两个 purpose 或一条 sync 长成流程脚本 → 回 concept-design;概念间共享表或全局模型 → 拆为私有 state;概念签名出现 DTO/HTTP 类型 → 上移接口适配器;外部 API 直通概念动作 → 补一条 sync 并改挂。
参考
| 何时读 | 文件 |
|---|---|
| 流程第 2–4 步:sync 两条路线、时机与错误隔离、syncs 层范式、接口层、失败路径与事务、规格共存 | references/composition-layer.md |
| 流程第 6 步:概念分组与 syncs 拆包 | references/scaling.md |
| 流程第 5 步:Rust(cargo workspace、trait 即 port、cargo-deny 看护) | references/rust.md |
流程第 5 步:Java(Spring Modulith:@ApplicationModule 即概念模块、事件即声明式 sync、verify() 看护) | references/java-spring.md |
| 流程第 5 步:TypeScript(workspace 包边界、LegibleSync 引擎路线、dependency-cruiser 看护) | references/typescript.md |
| 核验出处 | references/sources.md |
Related skills
用 Daniel Jackson 的 Purpose、OP、State、Actions 与 Sync 审查需求
用 Jackson 的 Purpose、OP、State、Actions 与 Sync 审查需求
把确认的概念模型转录为 PRD 规格:总体 + 每概念 + 按 flow 的 syncs
把确认的概念模型转录为 PRD 规格:总体 + 每概念 + 按 flow 的 syncs
A living concept tracker that turns naming chaos, synonym loops, and fuzzy metaphors into clear, implementation-ready definitions.