用途:对 rego-cpp 的代码变更进行结构化多视角审查,适用于发布打标签前、审查大型分支差异或 PR、审计新子系统(加密、解析、VM 变更)等场景,也可在单一视角容易遗漏跨领域问题时使用。
主要能力:运行四个并行建设性审查视角——安全(纵深防御、内存安全、有界资源、错误处理、对抗性输入、C API 边界、模糊测试覆盖)、性能(减少分配、缓存友好访问、传递次数、热点路径、算法复杂度)、可用性(正确性、清晰度、命名、WF 精度、错误信息质量、API 人体工学)、保守(最小 diff、向后兼容、API 稳定性、复用、避免推测性通用化、影响范围)。随后运行顺序对抗性红队审查,重点寻找前述视角遗漏的隐藏假设、未测试边界、与 OPA 的语义分歧、共识盲点与破坏性输入。综合后按统一严重度分级,并对 CRITICAL/HIGH 发现做源码核验。
使用方式:先确定 commit 范围或分支差异,例如 git diff --stat v1.2.0..HEAD;按子系统分组变更文件;各步骤把结果写入 .copilot/review/<review-slug>/ 下的检查点文件(step-1-diff.md 至 step-7-calibration.md,含 YAML frontmatter),可据最高已完成步骤续跑或从指定步骤重跑。检查点为纯 markdown,子智能体可直接读取,避免提示词重复内联。审查目标超过约 300 行时应按文件、传递或函数组分段,分别运行步骤 2–5 后再合并去重。最后检查 OPA 测试套件与 fuzzer 是否已覆盖所标记场景,避免重复建议。
限制:各步骤依赖子智能体并行与文件读写能力;对抗性审查必须在建设性审查综合之后运行;CRITICAL/HIGH 未核验的发现须明确标注;最终报告为结构化 markdown,默认在对话中呈现而非保存文件。