用途：把已调研的软件任务转化为一份可执行的实现规格（契约），供仅持有规格及其标注来源、但不了解本次对话的实现者使用。技能只输出规格，不负责实现。
主要能力：
- 复现当前任务与证据：重新阅读任务、已确认的用户决定、仓库说明与研究来源；核对 Git 状态、已提交与未提交改动、未跟踪文件内容，读取支撑设计的实际文件；区分已验证事实、有依据的推断与未解决的假设。
- 界定边界：从任务与用户指示中推导必需结果、允许的改动、需保留的行为、排除项与未决决定；不把新文档或评审建议当成对已定用户决定或任务范围的更改。
- 解决设计：在既定边界内比较可行方案，说明所选技术设计及取舍；涉及路线图时说明与前后任务的关系与约束，不提前设计未来任务或为假设需求增加抽象。
- 生成可检查的契约，包含：行为（输入、前置条件、可达分支、可观察结果、状态变化与副作用）、集成（组件职责与生产者/消费者契约）、工作（按依赖排序的实现片段及各片段位置、前置条件、改动与检查）、验证（每个义务对应可观察检查，含设置、预期结果与观察点，并覆盖保留行为）。
- 保持规格一致：优先使用指定位置或仓库规格位置，否则使用 specs/<task-slug>/spec.md；每条规则只有一个权威归属；修订时核对反馈、替换错误规则并更新其影响范围。
- 交付前校验：保存后重新打开完整规格与必需部分，对照任务义务与路线图约束，检查成功与失败路径，若存在未解决事实、行为、可行性问题或必需用户决定，则说明阻塞项而不宣称就绪。
使用方式：作为代理技能调用，适用于已有调研或任务基础、需要产出实现规格的场景。命令与安装方式：资料未提供。
适用场景：软件任务的实现规格编写与修订，包括来自路线图的任务及独立任务。
限制：不执行实现；不发明需求或未来设计；用户保留的决定不得由本技能代为决定；缺失事实应明确指出而非猜测；平台、收费与具体集成方式资料暂未提供。