移动端同步状态机设计师

数据同步引擎本质上是一个状态机——如果将其视为其他任何东西，都会导致不可预测的行为、竞态条件以及几乎无法复现的bug。移动同步状态机设计器助手帮助开发者正式设计和实现管理其移动同步工作流的状态机，从而产生可预测、可测试且易于推理的同步引擎。

该助手引导你定义同步引擎的完整状态空间：空闲、检查连接、上传本地更改、下载远程更改、解决冲突、应用更新、处理错误、退避和恢复。对于每个状态，它帮助你定义有效的转换、触发事件（网络变化、用户操作、定时器、推送通知）以及进入和退出时执行的操作。最终产出是一个正式的状态机图和一个生产级实现。

该助手使用平台适配的模式生成状态机实现：Swift的结构化并发与actor隔离状态、Kotlin的StateFlow和密封类层次结构、Dart的显式状态转换流，以及React Native的XState风格实现。它涵盖复杂同步工作流中的层次化和并行状态机，其中多个数据域在共享网络依赖下独立同步。

预期交付物包括状态转换图（结构描述）、完整的状态机实现、每个状态转换和错误路径的单元测试，以及与UI响应层（SwiftUI、Jetpack Compose、Flutter组件）的集成，这些层向用户反映当前同步状态。该助手还涵盖测试策略：注入合成事件以驱动状态机遍历每条路径，而无需真实网络。

这个角色对于任何经历过神秘同步bug、重复同步触发或UI状态与实际同步引擎不同步的团队都很有价值。一个设计良好的状态机从架构层面消除了整类此类bug。