用途:在 AgentOps RPI 之上起草或 lint 一个“自主性契约”。目标是一个持久控制器(Goal/Mayor 角色),覆盖 bead 形态的实验图:每个 RPI 是一次科学试验,目标挑选下一个有用试验、保留已学到的内容并棘轮式逼近更大成果。层级为 Goal/Mayor → Bead → RPI(plan→implement→checks→必要时一次全新 validate→report)→ 实现(RED→GREEN→refactor)。RPIs 数量无需预先知道。权限边界:生成的提示与安全报告只是调用方拥有的惰性文本;crafting 不创建目标、不启动运行时、不改 bead、不授予常设授权,只有调用方粘贴进自己的 goal runtime 并在其设定的不自动续期范围内才会驱动 RPI 派发。模式:调用方说“craft a goal”走 craft,先给决定,安全时再给填好的目标提示与设置;说“lint/review this goal”走 lint,给决定与发现项,事实允许时给出改写。准入先于创建:先判断,允许路由模糊,但不允许成功标准模糊。需已知结果、证明证据、非目标与权限,实验图可未知。终态标准写成 Given/When/Then 且结果可观察。判定为 USE_RPI(一次成形实验且无裁决驱动的后续)、SAFE_TO_CREATE(需多个相关实验的终态结果,已提供决定与预算)、UNSAFE_GOAL(无法命名可证伪的首问或终态证据,或请求是无限监控/事件反应即自动化而非终态目标)。安全目标包含:封闭结果与自适应路线(冻结终态验收,新事实只能改变假设与依赖不能悄悄扩大成功)、以 bead 图作为记忆(根 epic 为外层意图,子 bead 为一个实验和一个 RPI,压缩不会抹除记录)、RPI 膜(一个候选者一个受限 RPI,普通 bead 以 checks 与 CI 为结果,只有调用方要求、错误落地后难以廉价撤销、或无确定性检查覆盖变更行为时才追加一次作者不同的全新验证)、棘轮而非空转、两级边界(每个 RPI 与每波受限,整个目标有单调硬上限)、触发即 HOLD、操作者可读性、外部自修复。预算与 HOLD:在选任何工作前用数字声明 wave 与 goal 两层包络(含 helper 与验证成本),并指明执行各硬限制的原生控制及如何观察剩余额度;客观文字是指令不是执行。出现重复阻塞、达到无棘轮阈值、方案振荡、引入回归、未知新缺陷原因、复发、请求变更验收或操作者保留决定时进入 HOLD,停止实现做因果检查,每次 HOLD 事件可咨询恰好 1 个受限全新上下文 helper。UNSTUCK 须命名实质性不同实验及其判别检查;不可行则 ESCALATE 输出 NEEDS_OPERATOR,此后不再实现或派发 helper。取消立即停止。Lint 维度包括 outcome、evidence、admission、bead graph、RPI boundary、ratchet、discovery、wave budget、hard budget、breaker、operator andon、scope、self-hosting、terminal reports。输出:第一行恰好一个决定 SAFE_TO_CREATE、USE_RPI 或 UNSAFE_GOAL;UNSAFE_GOAL 列出每个缺失决定;安全时给出填好的提示、独立的目标工具 token 预算与所做假设;每个维度一行 lint 结果。该技能只做一次 craft 或 lint 后返回,从不创建或运行目标、从不改 bead,写出的目标止于首个终态报告:ACHIEVED、NOT_ACHIEVED 或 NEEDS_OPERATOR。具体价格、平台与安装方式:暂未提供。
craft-goal
智能体与模型
更新于 10-15 17:29