用途：为需要自主运行数小时乃至数天的智能体（单独运行或作为编排者管理大量并行工作单元）设计启动提示词，也可用于诊断因简报缺陷导致的长时程失败，以及在投入昂贵算力前做启动前评审。
主要能力：提出“伪形式化任务简报”结构，包含定义（含退化情形）、精确成功谓词、不计入结果清单、可解性框架、编排策略、交接契约、验证策略、报告契约、返回条件、努力下限与污染防护。强调持久性指令必须搭配验证门，否则会放大奖励黑客风险；验证环节应使用全新上下文的对抗式审查者、枚举失败模式清单，并明确哪些发现会阻断返回。并行搜索需工程化地保持结构多样性，避免角色标签造成的假多样性。
使用方式：在启动长时程运行前编写或审查提示词；把模糊难题转成带成功谓词与不计入结果的明确简报；为每个被委派的工作单元写输出契约与验收检查；构建启动前评审步骤。资料未提供具体安装命令或代码示例。
适用场景：数学等可精确陈述成功条件的开放难题、多智能体并行搜索、需要持久性与停止条件的自主运行。
限制：资料指出该技能不负责智能体拓扑与协调机制、运行时控制面与回滚、评估器与回归套件、LLM 评判设计、上下文压缩与记忆机制、自我改进循环、远程沙箱基础设施等相邻工作。CDC 提示词案例中的候选证明发布时未经独立同行评审或形式化，且无公开消融实验隔离各提示元素的作用。