用途：在歧义成本高于写契约成本时，先于代码创建可执行规格。触发场景包括：功能跨越多个组件或仓库；输入、输出、状态、权限或失败行为不清晰；用户要求 PRD、技术设计或实施计划。
输入：用户成果、受众与决策负责人；现有架构、约定与仓库说明；范围内与范围外行为；数据敏感性、运行时目标、兼容性与交付约束。
工作流：定义用户可见成果与可衡量的验收标准；记录非目标、假设、未知项与权限边界；梳理现有组件并确定最小必要改动面；规定数据形态、状态转换、API、错误与兼容行为；按依赖与验证边界而非任意代码行数拆解工作；定义测试、预览检查、可观测性、回滚、迁移与发布门禁；标记任何会实质改变设计的未决选择，交由人工决定。
输出契约：返回包含问题与用户成果、范围与非目标、现状证据、功能与非功能需求、数据/API/状态/信任/兼容契约、带归属的有序实施任务、验收测试与人工验证、发布回滚与迁移计划、开放决策与人工门禁的规格。
工具与 MCP：在命名文件或命令前先读取仓库及其本地说明；涉及外部 API 或现行标准时查阅一手文档；默认使用只读检查。
质量要求：文件与符号引用真实存在；需求可测试且不夹带偏好实现；在相关处考虑失败、空、加载、离线与权限状态；不虚构 API、版本、指标或审批；不同实现者无需猜测意图即可执行该规格。
示例：输入“让客户在 Codex 和 Claude 上安装一个部门”。良好输出为独立的包、宿主适配器、安装、验证、回滚与发布契约，并明确市场审批与凭据不在自主权限范围内。
限制：资料未提供具体安装命令、收费方式、支持平台与运行环境等细节，暂未提供。