Lauren Tan 宣布 pstack v0.15.36 中的 /statechart skill 已稳定可用，建议与 /create-formal-verification-skill 组合，抽象建模状态机和分布式系统以发现 bug。