autobahn 是一个面向风险邻近任务的范围裁剪与安全执行技能。其核心目标是将风险相关工作转化为明确的范围决策,然后在干净的环境中执行安全部分。具体工作流程分为多个阶段:
-
FRAME(框架):读取任务、输入和用户声明的风险姿态。如果用户已授权降级,则继续;否则提出裁剪建议,明确分割点,并等待批准。对于明确越界的条目(bright-line),没有安全版本,不可协商;对于灰色地带条目(gray-zone),其安全替代会牺牲用户可能想要的范围,因此是需要用户决策的关键问题。如果用户对明确越界的判断有争议,将抽象描述交给全新上下文重新评估,并在台账中记录上诉及结果。
-
CARVE(裁剪):扫描任务及相邻输入中的护栏邻近条目。对每个条目提出降级裁决,分类为明确越界或灰色地带,给出一个无风险替代方案,并指定归档目的地。用户决定保留的灰色地带条目进入台账,标记为“由所有者保留”。
-
GUARD(防护):将裁剪提炼为紧凑的范围防护块(绝对排除项、允许的替代方案、授权范围上下文),并逐字嵌入裁剪后的提示中。防护块命名每个排除项,防止运行重新引入,但从不逐字包含原始风险请求或其方法。如果运行环境与本会话共享文件系统或内存存储,防护块还指示运行不要查阅决策日志、笔记或转录搜索。
-
RUN(执行):生成一个全新的、上下文干净的子代理,仅传递裁剪后的提示,绝不传递风险原始内容或裁剪推理。子代理全强度执行安全范围并返回交付物。如果子代理内部出现风险材料,则通过 CARVE 路由回来,不得内联处理。
-
VERIFY(验证):对返回的交付物及相邻制品进行对抗性检查,覆盖五个失败方向:风险内容被详细阐述、风险内容被静默丢弃、安全工作被稀释或视为排除、附近遗留过时风险材料、裁剪本身遗漏或过度排除。从独立于本会话的上下文重新扫描原始任务,并与台账比对,独立重扫限制为一次(N=1)。
-
LEDGER(台账):运行完成且子代理窗口关闭后,报告交付物并附降级台账,列出每个裁剪条目的类别、裁决(降级或由所有者保留)、理由、安全替代和归档目的地。归档条目仅在此时写入,不得提前写入。
该技能强调执行子代理仅能看到裁剪后的提示,确保干净执行上下文;同一会话的上诉不是重新审查,需路由到新上下文;不得探测排除或灰色地带请求;防护块需双向防护;不得将技能框架为绕过安全控制;不得声称控制模型路由等。验证步骤确保裁剪覆盖所有条目、子代理仅接收裁剪提示、安全工作未被稀释、独立重扫与台账比对、归档条目在运行后写入,最终报告包含独立的 LEDGER 部分。