① 主层状态机 —— 设计变更需求单（ECR）
主状态由 4 个部门子任务聚合推导（不独立维护）：任何时刻列表状态 = 详情 4 卡片的函数。
触发事件标注在箭头上；角色 控制谁能触发。
触发事件标注在箭头上；角色 控制谁能触发。
初始态
进行中
终态（触发回推 BPM）
② 子层状态机 —— 部门交底（depts[k] / 技改交底单 JDB）
每张 ECR 内 4 条独立线程（研发/调达/质量/采购），互不影响、各自闭环；depts[k] 与 JDB 状态双写同步。
驳回只影响当前线程，其他线程照常推进。
驳回只影响当前线程，其他线程照常推进。
③ 设变通知单（EC）状态机 —— 单层
无多部门协作，单层流转；3 张 EC（按供应商拆单）各自独立。
② 操作流程图 —— 从 BPM 接收到 SRM 闭环（角色泳道）
纵向时间流，每列一个角色。橙色虚线框 = 并行分支；红色回路 = 驳回重报循环。
③ 业务操作流程图 —— 与 design-change.pages.dev 原型一一对应
每个步骤标注原型操作入口（角色 → 菜单 → 操作），可照着流程图在原型里一步步走完。①~⑦ 设计变更需求单链路，⑧~⑬ 设变通知单链路。