Model Business Processes 是一个用于建模和验证可执行业务流程的技能。它的核心主张是：在描述自动化如何“点击通过”流程之前，先描述业务操作究竟意味着什么，并让每个副作用、身份门禁、终态和失败分支都变得显式。
用途 该技能面向工作流地图、状态机、编排、身份门禁、dry-run 规则、副作用、失败处理等场景。它帮助团队把业务流程从模糊描述转化为可验证的规格，使业务方与工程方对流程边界、业务语义、状态变化和失败处理达成一致。
主要能力
- 设定边界：命名流程、角色、触发条件、目标、起止状态、包含的系统、排除的决策以及成功指标。
- 收集证据：阅读需求、现有代码、配置、测试、日志、数据库状态、UI 行为和操作员指令；对不一致之处进行标记，而不是取平均值掩盖分歧。
- 定义业务语义：明确输入、限制含义、顺序、资格、身份、去重、状态转移，以及什么算作“已处理”“已尝试”“已完成”“已验证”“已持久化”。
- 分层：把业务决策、编排、平台自动化、持久化、外部投影和人工审批保持为相互独立的通道。
- 门禁先于副作用：在任何不可逆动作之前，先校验授权、页面/系统状态、目标身份、资格、重复状态和外部前置条件。
- 建模正常路径与所有出口：包括跳过、重试、等待、人工交接、批次停止、回滚、补偿和部分成功行为。
- 精确定义 dry-run：说明哪些保持只读、哪些导航或草稿变更仍会发生、哪些外部写入被禁止、产生哪些证据。
- 设计可观测性：为每个结果设置原因码、证据字段、计数器和面向操作员的摘要；绝不只凭意图报告成功。
- 映射测试：把每个分支和不变量关联到单元、集成、已安装应用或真实系统的验收证据。
- 与利益相关方评审：确认业务负责人理解限制、人工决策、数据影响和失败处理；确认工程师无需猜测即可实现该流程。
必需流程不变量
- 在读取或写入对象特定数据之前，必须建立稳定身份。
- 改变状态的动作必须有新的后置条件。
- 重试必须重新获取状态并保持幂等。
- 批次计数器必须使用一种有文档说明的语义。
- 个体失败与批次停止条件必须相互区分。
- 只持久化有证据支持的结果；不要复用陈旧的面板/上下文数据。
- 外部同步、评分或报告不得破坏主业务事务。
- 对实质性影响人员或承诺的动作，必须有人工显式审批。
使用方式 按工作流逐步执行：设定边界、收集证据、定义业务语义、分层、门禁先于副作用、建模正常路径与所有出口、精确定义 dry-run、设计可观测性、映射测试、与利益相关方评审。创建或评审流程文档时，读取 process-spec-template.md；需要流程模式和来自该仓库的失败教训时，读取 project-evidence.md。
交付物 产出一份简洁的流程规格、一个有用的流程/状态可视化、复杂门禁的决策表、原因码、数据/状态影响以及验收矩阵。避免逐行重复代码。
适用场景 适用于需要把业务流程建模为可执行、可验证规格的团队，尤其是涉及自动化编排、身份校验、副作用控制、dry-run、失败分支和人工审批的流程梳理与评审。
限制 资料未提供具体运行环境、安装命令、依赖项、支持平台、收费或价格信息，暂未提供。