用途:对现有代码进行证据驱动的审计,用于债务调查、清理评估、单一实现基准与当前质量状态检查。核心理念是“观察、证明、不处方”,即只记录可验证事实,不给出修复方案、目标状态或需求建议。
主要能力:锁定目标、范围与排除项;冻结仓库状态;检查源码、调用方、测试、配置、生成产物与运行时接线;对陌生或危险代码路径追踪至闭合;对动态断言运行安全检查并记录确切命令、退出码与决定性输出;将每条观察锚定到 file:line、搜索结果或粘贴输出;把风险表述为证据、失效模式、触发条件与影响范围;按影响与波及面分级为 Blocker、Major 或 Minor;暴露未验证区域与缺失证据。
使用方式:通过原生选择器或编号选项加 Other 提出必需问题;先给建议,再提供三个真实选项(二元时两个),各附简明理由与成本。审计产物写入 ~/.agents/artifacts/<workspace>/ 的绝对路径,<workspace> 取自仓库或工作目录基名;文件以 type: audit 与唯一 AUDIT- ID 开头,并在审计旁链接 sidecar。命名冲突或工作区不明确时提供人类可读名称选项;写入受阻时提供授权重试、另一代理中立用户目录或取消。绝不覆盖或回退到仓库、供应商目录或临时路径。本地源码引用相对产物书写,仅运行时交接用绝对路径。
限制:负面结构性结论需要全范围搜索与结果;动态行为必须实际运行,静态阅读无法证明时序、并发、清理或生命周期;若无受支持风险,写“范围内未观察到”而非编造。审计边界存在实质歧义时须强制人工选择并阻塞审计。交付前去除重复、软化、仪式与结构冗余,但不得改变契约、标识符、逐字源码、证据或行为,并重跑适用检查。仅返回审计与每个 sidecar 的可点击 Markdown 链接。产物完全处理且无下游步骤需要时,须由人工对产物及 sidecar 做一次处置:Delete、Leave 或 Promote;Delete 需删除所选路径并验证不存在,残留会阻塞关闭。