craft-goal

制定目标

制定或检查 AgentOps RPI 之上的自主性契约。目标是一个持久化控制器（Goal / Mayor 角色），负责管理珠状实验图：每个 RPI 都是一次科学试验，目标会选出下一个有价值的试验，保留所学内容，并逐步迈向更大的成果。

Goal / Mayor: observe graph → choose bounded wave → consume results → ratchet
  └─ Bead: durable experiment intent, context, scratch, evidence, and links
       └─ RPI: plan → implement → checks → one fresh validate where a mistake is costly → report
            └─ Implementation: one RED → GREEN → refactor experiment

无需预先确定 RPI 的数量。如果成功与否可判定、每项实验都有明确边界、证据保留其来源，且授权范围不会悄然续期，那么目标就是安全的。信念可以修订：新证据可能推翻先前的主张。存储更多知识既不代表取得进展，也不能证明知识正确。

**权限边界。**生成的提示词和安全报告都是惰性的、由调用方拥有的文本。制定目标不会创建目标、启动运行时、修改任何 bead，也不会授予持续有效的授权。只有调用方在自己的权限范围内，将提示词粘贴到自己的目标运行时中，并遵守其设定的不可续期授权范围，该提示词才会用于调度 RPI。Craft Goal 在有跟踪器状态时会读取，但无需安装跟踪器即可编译提示词。

模式

调用方表述	模式	结果
“制定目标”“将其转化为目标”	craft	先给出判定；安全时再给出填写完成的目标提示词和设置。
“检查／审查此目标”“这样安全吗”	lint	给出判定和发现的问题；如果提供的事实足以支持重写，也会提供重写版本。

准入：先做判定

**路径模糊可以接受；成功标准模糊则不行。**创建目标之前，调用方必须明确结果、能够证明结果的证据、非目标事项和权限；具体实验图可以仍未确定。将每项终止标准写成包含可观察结果的 Given/When/Then，并为每个领域术语命名一次；调用方可以先通过 Interview 确定这些内容。

• USE_RPI：一次已明确范围的实验，不会根据判定结果继续后续实验。
• SAFE_TO_CREATE：一个可能需要多项相关实验才能实现的终态结果，且已提供这些实验的决策和下方所述预算。已明确范围但尚无 bead 的目标，可以先进行 1 轮有界探索，以创建根节点和初始实验 bead。
• UNSAFE_GOAL：无法提出可证伪的首个问题，也无法指出终止证据（应将此类意图转为创意或计划工作）；或者请求属于无限期监控或事件响应，这类请求属于自动化，而非终态目标。

目标的规模各不相同：应根据预期结果设定每轮规模和硬性边界，不要套用统一预算。不得臆造验收标准、权限、图语义或项目规模；应返回 UNSAFE_GOAL，并列出尚缺的决策。修订和创建目标由调用方负责。

安全目标包含什么

• 结果封闭，路径自适应。 固定终端验收标准。新事实可以改变假设和依赖关系，但绝不能悄然扩大成功范围。
• 以 Bead 图作为记忆。 跟踪器是持久记忆，而非并行的目标账本：根 epic = 外层意图；子 bead = 一次实验和一次 RPI，因此压缩不会抹去记录。Navigate 负责提示词在每轮应用的流程：图契约、边、何为棘轮、发现类别和检查点。
• RPI 膜。 每个候选项对应一次有界 RPI。其检查和 CI 结果就是普通 bead 的结果。只有在调用方提出要求、错误落地后无法低成本撤销，或没有确定性检查覆盖变更行为时，bead 才进行一次由不同作者执行的新验证；修复不会另行启动一次 RPI。目标可以要求提供持久的判定证据，但绝不能改写证据：编排不能为自己撰写证明，而且每个 bead 都进行评审会让整个图的成本倍增。
• 棘轮，而非折腾。 仅当结果增加了非重复且与决策相关的知识，或推动了验收进展，并且下一次实验符合冻结的验收标准、权限和剩余预算时，才继续。
• 双层边界。 每次 RPI 和每一轮都有边界，完整目标也有单调递减的硬上限。有界的每轮流程可以缩短反馈周期；不可续期的单一活动预算则可防止新一轮凭空产生新的活动。
• 有依据的安灯。 普通的、能提供信息的失败，可以在冻结的验收标准内改变路径。反复出现的无信息失败、回归、复发、摇摆或范围压力会触发 HOLD。
• 操作人员一目了然。 每轮结束时报告验收矩阵、图的前沿、判定、棘轮、折腾情况、剩余预算和下一步论点。
• 外部自我修复。 从普通 shell 或工作树修复不稳定的工厂；工厂仅用于已声明的有界金丝雀测试。

这可以防止两种失败模式：完成跑步机，即不断把新发现变成要求，活动持续进行却没有新信息；以及首次失败即放弃，即一个假设被证伪就终止原本可行的活动。

预算与 HOLD

在选择任何工作之前，先声明两个额度，并给出数值；其中须包含辅助和验证成本：

• **波次：**RPI 数、并发数、墙钟时间或 token 数、实时尝试次数，以及波次结束时的检查点。
• **目标：**整个活动的 RPI 总数、墙钟时间或 token 总数、实时尝试次数、压缩次数，以及任何补丁或表面范围上限。

为每项声称的硬性限制，指出实施该限制的原生控制，以及如何观察剩余额度。目标文本只是指令，并非限制机制：绝不要把未经测量的总量报告为剩余额度，也绝不要仅凭文字声称目标已暂停。任何辅助者、重试、新主题、压缩或波次都不会续增目标额度。

遇到任何已声明的触发条件时进入 HOLD：重复出现阻碍、达到设定的 RPI 数仍无进展、在先前方法之间来回摇摆、引入回归、无法确定新缺陷的原因、问题复发、有人要求更改验收标准，或需要由操作人员保留决定权。HOLD 会停止实现，以便进行因果分析。只要剩余额度允许，每次 HOLD 事件恰好咨询 1 位具有全新上下文且范围受限的辅助者，并提供验收标准、观察结果、失败的方法、准确证据和剩余额度。换个说法描述阻碍或自动继续都不算新事件。

• UNSTUCK 必须说明一个实质不同的实验、用于区分结果的检查，以及为何该实验符合未变更的验收标准、权限和剩余限制；只能恢复所选的外层目标，且绝不会恢复已耗尽的 RPI 上限。
• ESCALATE、无帮助的辅助者或不存在可接受的实验，都会发出 NEEDS_OPERATOR；之后不得继续实现或派遣辅助者。
• 取消时立即停止。遇到明确拒绝或判断通道，或确实耗尽硬性时间、成本或配额上限时，跳过辅助者，并报告拒绝，或以准确的差距报告 NOT_ACHIEVED。单独达到重试阈值，并不能证明硬性预算已耗尽。

需要操作人员采取行动时，如实报告并保持工作停止。控制器用于记录 blocked 的阈值只是状态记录，不代表可以进行额外实验或调用辅助者。

Lint 评审标准

维度	提示词满足以下条件时通过
结果	指明一个调用方可见的较大成果。
证据	将每项终止标准写成包含权威性证明的 Given/When/Then。
准入	符合目标要求：包含若干相关实验、一个可证伪的首要问题，以及明确的终止条件。
bead 图	指明根史诗或其有界引导规则，并将每项实验关联到尚未满足的标准或明确指出的阻塞性不确定因素。
RPI 边界	规定一个 bead 对应一个 RPI；将检查和 CI 视为普通 bead 的结果；仅在成本高昂的情况下进行新鲜验证，并原样保留判定结果。
进度棘轮	仅将与尚未满足的标准或阻塞性不确定因素相关的证据计为进展，绝不将活动、计数或摘要计为进展。
发现分类	保留所有三个类别（当前必要、关联的后续事项、HOLD/重新确定范围），绝不降低必要发现的优先级。
波次预算	为每个波次设定数值形式的 RPI、并发、时间或 token 以及实时尝试次数上限，并设置检查点。
硬性预算	设定活动总量的数值上限，且任何操作都无法重置；注明实施限制的控制，或说明总量未经测量。
熔断器	设定无进展的数值阈值和 HOLD 触发条件。
操作人员告警	每次 HOLD 事件最多允许 1 位辅助者，说明 UNSTUCK 和 ESCALATE 的处理方式，并在出现 NEEDS_OPERATOR 时停止实现。
范围	说明非目标，以及读取、写入、外部操作和 Git 权限的具体范围。
自托管	从工厂之外修复不稳定的工厂，并且仅以已声明且范围受限的金丝雀测试运行工厂。
终止报告	定义 ACHIEVED、NOT_ACHIEVED 和 NEEDS_OPERATOR。

输出

填写仅用于复制粘贴的目标提示词：保留其 标题和终止语义，并替换每个尖括号字段。按以下顺序返回：

1. 第一行必须以且仅以以下一个决定开头：SAFE_TO_CREATE、 USE_RPI 或 UNSAFE_GOAL。SAFE_TO_CREATE 评估的是提示词内容；它不 认证原生强制执行，也不会创建目标。
2. 对于 UNSAFE_GOAL，列出每项缺失的决定；调用方可以通过 Interview 作出决定。
3. 如果安全，则返回填写完成的提示词、单独列出的目标工具令牌预算，以及 所作的假设。
4. 每个评估维度各用一行列出：通过，或具体发现。

停止

此技能只执行一轮，完成撰写或检查后即返回。它绝不会创建或运行目标，也不会修改 beads。它编写的目标会在首次终止报告时停止：ACHIEVED、NOT_ACHIEVED 或 NEEDS_OPERATOR。