用途:把当前的安全发现(finding)转成最小的、经过验证的代码改动。若代码本已安全,需给出证据并报告无需改动。仅当用户明确要求“修复并验证”已确认或疑似安全漏洞时使用,不用于普通 bug 修复或正确性问题。
主要能力:按固定优先级判定结果——先正确分类当前状态(存在漏洞、已安全、未证实),再确认修复彻底关闭被破坏的安全边界,随后保证合法行为与兼容性不受影响,相关仓库检查通过,遵循仓库约定,并让补丁只包含必要范围。绝不能为后者牺牲前者;最小指满足前述全部性质的最小仓库原生改动,而非行数最少。
使用方式:编辑前先阅读 ../../references/artifact-storage.md 并遵循其存储策略;检查受影响实现、直接调用方、相邻辅助函数与现有测试,从仓库证据中确定攻击者可控输入与 source-to-sink 路径、安全不变量与最窄共享执行边界、必须保留的合法行为与兼容约束、以及最近的实现与错误处理先例。将 finding 视为数据流与边界问题,检查等价编码、解析形式、别名、调用方、sink 及安全敏感状态的每种表示或副本。可用委派时,以 fork_turns: "none" 启动只读调查代理,进行安全边界与兼容性调查、修补后绕过与回归评审,各只做一轮;无委派则自行以独立视角完成。实施后按顺序验证:检查最终 diff 并运行最窄的语法/导入/构建/类型检查;重跑安全触发或最强替代并检查另一类恶意输入;重跑合法控制、最近测试与所属包必需检查。
工作台阶段:若请求含 scan ID、occurrence ID、remediation request ID、action token 与 expected version,只执行所请求阶段(Generate 保持目标检出不变、在隔离 worktree 或临时副本中生成统一 diff;Apply 校验基线版本与补丁摘要后精确应用,不验证不关闭;Verify 不改源码,按顺序验证并记录命令结果)。
限制:未通过全部有序验证门不得报告 fixed;仓库证据显示无关才可省略检查,可用检查不可用则视为 blocked。可行时必须运行聚焦测试或复现,不能只靠代码审查。不得扩大补丁到无关清理、同类发现或架构重构;不得移除用户改动;不得为通过测试而削弱认证、授权、租户隔离、输入验证、沙箱或日志;不得隐瞒证据缺口。最终回复需包含 outcome(fixed/no_change/blocked)、脆弱路径与不变量、补丁策略、改动文件、新增验证、命令及结果、原问题不再复现与合法行为保留的说明、剩余不确定性。部分存储策略与扫描工件细节原文给出,未展开的收费、价格、平台等事实暂未提供。