用途：在审查或设计涉及 DDD 聚合的事务边界时使用，检测“一个事务更新多个聚合”的反模式。核心原则是一个事务只更新一个聚合；若必须修改多个聚合，应显式建模协调机制。
主要能力：识别用例加载或修改的每个聚合；标记哪个聚合拥有命令的真正不变量；将该聚合保留在同步事务中；把其他聚合更新移到领域事件、发件箱、Saga 或流程管理器之后；为失败与重试定义补偿行为。检查项包括：保存两个聚合根的用例可疑；聚合内部调用仓储属违规；数据库外键不定义聚合一致性边界；若业务要求跨根即时一致，应质疑边界是否划错。
使用方式：按工作流逐步分析事务映射，输出当前事务映射、修正后的命令流、事件/消息、幂等策略与残余一致性风险。对于非平凡实现、审查或重构，先阅读 references/details.md 再给出最终建议。
适用场景：DDD 聚合设计评审、事务边界重构、多聚合一致性协调方案设计。
限制：资料未提供具体安装命令、平台支持、收费信息或代码示例；实际规则与迁移说明需查阅 references/details.md。