状态机驱动长事务，还是 DAG 编排高并发？高可靠业务流程引擎的双核架构设计

“宏观状态机治理长生命周期、微观 DAG 驱动高并发异步任务”的双核流程引擎架构，配套开源 Lab 14 实战工程，完整验证 Kahn 算法动态调度与 Saga 逆序补偿闭环。宏观 FSM 以乐观锁管理流程实例顶层状态，微观 DAG 基于 Kahn 算法实时维护节点入度，入度归零即并发发射至线程池。节点执行与状态跃迁均同步写入事务性事件账本，重启后 Watchdog 重放事件流即可断点续跑。