用途：把一项任务转写成自主智能体可被问责的目标契约，包含可验证的终态、证明终态的证据、运行必须遵守的边界，以及终止运行的退出条件。它针对目标门控运行常见的两类失败：仅凭执行者自述就“标记完成”，以及条件本身不可核查导致永远无法满足。
主要能力：提取契约五要素——目标、重要性、硬约束、可用工具、机器可核查的完成定义；设计成功条件，包括可度量的终态谓词、证明各谓词的具名检查命令、禁止触碰的约束；通过保护判定依据（oracle）封堵取巧路径，例如测试验证工作时禁止削弱测试（“测试通过且未修改 tests/ 下文件”），测试本身即工作时则保护另一判定依据（测试数量、覆盖率、未改动断言上的 CI）；禁止使用“高质量”“改进”等形容词；若任务确实主观、无机器检查，应说明并改为显式人工批准或声明的可度量代理指标，不得伪造可验证性。
退出条件按优先级设置：成功（条件成立）；失败上限——同一失败约连续 3 次且总尝试次数有上限（交替失败会消耗预算而不触发同一失败计数）则停止并升级，附诊断；预算上限（轮次/令牌/成本）则检查点、暂存部分工作并报告。上限需写入条件文本，目标本身不含内置预算。对不可逆或多阶段工作（轮换、迁移、部署），没有完成预算就不要开始不可中断阶段，并写明回滚/前滚规则。
边界与证据：明确禁入路径、副作用限制（不部署、不花钱、不 git push、不对外发布等）、不可逆或对外操作的审批门；密钥不得写入目标或被检查命令打印。证据要求有界且脱敏：命令、退出状态、相关非敏感行或产物哈希，禁止完整日志转储和打印密钥的命令；条件受阻时指示智能体停止并报告阻塞，而非绕过。
使用方式：输出可直接粘贴的目标文本，含目标与理由、硬约束（含禁入路径与权限/副作用行）、可用工具、可核查终态及检查命令、有界证据要求、失败与预算退出及升级触发条件，后附 2–3 行说明所封堵的取巧路径。$ARGUMENTS 存在时即待转换的任务。
适用场景：为 /goal 或无人值守会话撰写目标文本；修复目标门控运行的失败。不适用：运行时症状（循环停滞、重复、漂移、忽略上限）应先诊断执行框架，改用 engineer-agent-loop；普通提示词改写用 optimize-prompt；提示词比较或基准测试用 evaluate-prompts；无自主运行关联的人类/项目目标设定（OKR、工单、路线图完成定义）。复合需求（既改目标又加框架上限）先在此写目标文本，再交给 engineer-agent-loop 执行。
限制：/goal 评估器是小模型，只能看到对话记录且无法运行命令，不把检查输出强制写入记录的条件在构造上即不可验证；“完成”可能被幻觉，完成必须是状态谓词（命令输出、文件差异、产物），而非不再调用工具；提示词层面的上限只是建议，若仅靠文本约束预算应说明并建议用 engineer-agent-loop 做监督者强制上限；不要要求运行无法产生的证据（智能体无权运行的检查命令会导致无限不退出）；目标文本属任务层而非系统层，持久身份规则与边界应放在系统提示词中。条件宜保持紧凑（社区报告 /goal 约 4000 字符上限），优先拆成多个带清晰检查的小目标。参考资料 references/goal-patterns.md 提供目标契约结构、条件清单、三类退出、证据纪律及 /goal 与 Stop 钩子机制。