用途：从状态模型、事件、守卫条件、动作、角色、错误迁移和状态持久化证据中提取状态迁移测试设计候选，并解释选择理由、适用约束、证据缺口和最小验证动作。材料不完整时仍可交付受限初版，并明确 blocked 或 unassessed 边界。不适用于直接执行测试、生成无来源规则、替代完整测试策略或替人接受风险。
主要能力：建立来源化的状态/事件/guard/动作/目标矩阵，标注初始与终止、持久化和失败时的原子性合同；交付有效/无效迁移及 guard 边界表，将状态迁移与业务副作用共同比对；用 STT-## 记录状态、事件、前置守卫、动作、目标状态、可达性、来源证据和验证方法，并保留来源、证据状态、影响/优先级、责任角色、关闭条件和验证方法。
使用方式：阅读 prompts/state-transition-testing.md，提供目标、范围、材料、环境和已有证据；先完成 known、missing、conflicting、stale、out_of_scope、assumptions 六类输入审计；默认输出 Markdown，表格、JSON 或 CSV 仅在明确需要时使用。回归时读取 evals/eval.yaml 和匹配用例；触发验证使用 evals/trigger-prompts.csv 和 evals/local-rules.json，缺少 skill.selection 证据时报告 BLOCKED。
限制：不创造状态或事件，不把静态状态图当成运行结果，不声称所有路径已执行；文件存在、名称匹配、设计声明或 Eval 配置不等于真实执行证据；未知项标为 unassessed、blocked 或待确认，不用常识补齐；不修改需求、代码、测试资产或目标系统；不把设计候选写成完整测试、执行结果、覆盖证明或发布结论。