StateForge

有限状态机：定义/事件推演/可达性/死状态检测 · 单文件 · 零依赖 · 本地优先

状态机定义（每行 from,event,to；首个 from 为初始态；* 前缀标终态） draft,submit,review review,approve,*approved review,reject,draft review,escalate,legal legal,approve,*approved legal,reject,draft orphan,noop,orphan 事件序列（逗号分隔，可留空只做静态分析） 结果