用途：从有来源的行为模型、状态模型或流程模型推导测试路径候选，生成 MBT-## 设计候选。适用于分析行为模型、状态/节点、事件、路径约束、模型版本及既有执行证据；输入不完整时也可做有界的第一轮分析，并将未评估或受阻项标出。
主要能力：构建有来源的初始/终止状态、事件、守卫条件、动作、目标与持久化；给出可达图、候选路径、状态/边缺口与判定准则；保留选择理由、证据缺口、优先级与验证动作。输出默认用 Markdown，仅在明确要求或交付格式需要时使用表、JSON 或 CSV。区分静态分析、未执行工作、证据状态与人工决策，缺少运行证据时保持未评估、受阻或 NOT_RUN。
用法：阅读 prompts/model-based-testing.md，并提供目标、范围、材料、环境与证据；先分别列出已知、缺失、冲突、过期、范围外与假设条目；产出含来源、证据状态、适用性、影响/优先级、负责人、关闭条件与验证的 MBT-## 发现；区分事实、有据推断、建议与人工决策；只建议后续验证，不声称执行。
限制：不得虚构模型节点、路径或版本，不得将模型存在当作运行证据；文件存在、名称、模板与 Eval 配置都不是运行证据；不得修改需求、代码、测试资产或目标系统，不得替人承担风险。不可达节点不能计为已覆盖。不得将该专门设计扩展为完整策略、完整测试用例、运行时执行或发布决定。缺失的模型规则、路径、版本或结果不得用惯例填充。