识别业务能力并分类子域（Core/Supporting/Generic），产出核心域声明与所有权建议。
映射限界上下文间的关系与集成策略：模式选择、契约所有权、失败模式与版本策略。
设计限界上下文及其通用语言：边界、职责、词汇表、团队所有权与边界 ADR。
协作式领域发现：通过事件风暴或领域故事讲述，产出事件流、命令/事件候选、热点与歧义清单。
设计构造块间的协作机制：领域事件、领域服务、仓储接口与工厂。
全局模型质量评估：一致性、完整性、耦合分析与反馈闭环触发。
| name | ddd-aggregates |
| description | 从不变量出发设计聚合边界：聚合根、实体、值对象、事务边界与跨聚合一致性策略。 |
| risk | safe |
| source | self |
| tags | [ddd, tactical, aggregates, invariants] |
| date_added | 2026-05-08 |
🌐 English version: English
ddd-model-review 报告"不变量表达率 < 60%"，或 ddd-domain-interactions 报告"事件需携带另一聚合私有数据"时，作为回溯目标重新执行。ddd-discover）、上下文目录与词汇表（来自 ddd-contexts）。ddd-context-map）。isSatisfiedBy(Itinerary)），显式抽取为 Specification，而不是塞进工厂或服务内部的 if 分支。| 工件 | 结构要求 |
|---|---|
| 聚合目录 | 表格：聚合名、聚合根、包含实体、包含值对象、关键不变量、关键命令 |
| 不变量表 | 表格：不变量、触发命令、校验位置、违反时行为 |
| 实体与值对象清单 | 表格：名称、类型（Entity/VO）、所属聚合、标识策略/相等性定义 |
| 事务边界说明 | 列表：默认规则、例外条件、并发/锁策略 |
| 跨聚合一致性策略 | 表格：场景、触发事件、补偿方式、幂等保障、重试策略 |
| 仓储接口草案 | 表格：聚合、方法、语义说明、查询边界 |
ddd-contexts（一致性需求被边界割裂）。ddd-domain-interactions 触发：事件需携带另一聚合私有数据，说明聚合边界需调整。ddd-model-review 触发：不变量表达率 < 60%（聚合可能是数据容器而非行为边界）。@ddd-aggregates
基于以下上下文定义和事件流，帮我设计 Booking 上下文内的聚合：
- 上下文：Booking（预订全生命周期）
- 核心术语：Booking, TimeSlot, BookingPolicy, CheckIn
- 关键事件：BookingRequested, BookingConfirmed, BookingCancelled, CheckInRecorded
请输出聚合目录、不变量表、实体/值对象清单与事务边界说明。