state-machine 是把组件行为拆成状态与转换的 Skill。它列出当前模式、触发事件和可进入的下一步，帮助设计与工程核复杂交互。
表单可以区分编辑、校验、提交、成功和失败，再标哪些事件允许前进。条件守卫决定转换是否发生，发请求或提示消息则是副作用，两者不能混成一个状态名。
原文说每个状态有出口，但完成或取消也可以是有意终态。加载和错误同时出现是否不合法取决于模型，比如重试时保留旧错误提示，不能机械当成不可能。
适合多种状态互相影响的组件。本文未建状态图；模型不会自动消除异步竞态，旧请求响应、取消和重复事件仍需核。图上路径全了也不等于实现全了，应把转换对应到界面与实际测试。