让 AI 写状态机不出 bug：先要表格，再要表驱动，最后要穷举测试

文章给出让 AI 生成嵌入式状态机的四步做法：先表后码、穷举事件、表驱动实现、从表生成测试并让 AI 反向对表。关键点包括用状态转移表代替直接写代码以便审查、要求 AI 穷举所有状态与事件（命令、硬件、时间、异步四类）且不留默认行为、用 const 转移表落进 Flash 的表驱动结构替代大 switch，以及让 AI 反向输出状态×事件表与原表逐格 diff 校验。