技能介绍

长程任务最容易死在返回的那一刻：Agent 跑了一天，交出一份结构完整、措辞自信、却根本没解决问题的报告；或者几个并行 worker 收敛到同一个想法，还互相确认"看起来没问题"。本技能面向这类失败场景，核心做法是把启动 prompt 写成一份伪形式化任务简报——用自然语言表述规格，但严谨程度对标形式化验证。多数难题没有机器可检的成功条件，所以谓词与不算数清单只能由人来写。

核心能力与关键步骤

写任务规格（四部件）：先定义每个承重术语的退化情况，再给出精确的成功谓词并写全范围量词，接着枚举不算数的结果，最后给审计者一份领域专属的失败模式清单。
组装简报（10 个块）：TaskBrief 工件包含定义、成功谓词、不算数结果、可解性框定、编排策略、验证策略、报告契约、返回条件、努力下限、污染防护。
持久指令配验证门：写下"未成功不返回"的同时必须配同等强度的产物检查，否则长轨迹的压力会抬高作弊面。
守住验证瓶颈：用全新上下文的对立验证者而非自我批评；把 Agent 间一致当作多样性失败信号，而不是确认。
启动前红队：让独立模型实例追问"怎样满足简报字面却不解问题"，逐条堵上逃生口。

适用边界与注意点

本技能只处理启动 prompt 的文字，不碰拓扑与交接（multi-agent-patterns）、运行时控制面（harness-engineering）、评估器（evaluation）、评委设计（advanced-evaluation）以及压缩与记忆（context-compression）。
prompt 只带结果、硬约束、证据源、完成线，路径留给模型；堆叠指令栈实测有害。
凡是必须扛优化压力的约束，应移出 prompt 放进 harness，而不是靠重复强调。