阅读主题
核心命题：状态表示当前处境，转换规则限定允许发生的变化。
从界面加载、导出任务和订单生命周期建立状态、事件、转换前提与副作用；讨论中间态、终态、非法跳转、状态爆炸和正交维度。区分状态表示与执行机制，并把规则检查与写入的并发问题留给第五部分。
待写：导出已被取消，迟到回调却又显示成功；订单取消后也可能被迟到事件推进。
覆盖合法与非法转换、迟到事件和重复事件；区分模型正确与并发执行正确。