用途:在代码变更、暂存差异、提交、补丁或拉取请求被接受或合并前进行审查,判断该变更相对其已接受意图、现有契约和实际影响范围引入了哪些会改变决策的缺陷、无依据声明或残余风险。
主要能力:先恢复变更与基线,检查仓库状态、实际差异、变更符号及变更前行为或契约;构建与证据关联的审查模型,说明目的、组件职责、状态与效果归属、因果路径、约束不变量和已知未知;按风险而非文件大小分配注意力,追踪成功、错误、取消、并发、兼容性、能力、迁移和资源等路径;对每条发现给出严重程度与标题、证据、失败故事、违反的契约或后果、最小修正。
使用方式:审查开始时先明确审查目标与源修订、已接受意图或变更声明、治理契约与设计、声明的审查范围或包、已知稳定工作范围或先前可比运行、可用验证证据、接受或合并负责人。若预期行为或治理架构尚未确定,应先路由该决策,因为审查无法证明符合一个不存在的契约。审查报告先列发现,再列已验证声明、残余风险与上下文缺口、实际运行的检查,以及一个建议结论:ready、ready_with_residual_risk 或 changes_required。
适用场景:适用于单个完整变更或调用方声明的审查包;可由一个智能体、一个 Work Cell 或其他宿主执行。当审查超出单个 Cell 支持的工作规模时,本技能可形成语义分区计划,但不选择并发或提供方资源、不启动集群、不重试审查者、不统计意见、不接受或合并变更。
限制:审查不等于差异叙述、风格偏好、测试数量称赞或推测性重构;发现需要源证据和可达的失败故事。没有发现只意味着在已检查范围内未确立发现。绿色测试是支持性证据,不能证明未观察到的调用方安全。审查报告的结论不是合并权限,不能替代源代码、差异、测试输出或终端记录。若存在多份审查报告,可由另一应用本技能者协调其模型、证据与分歧,但须保留不兼容模型直至源证据解决,多数同意不能把推断变为事实。
其他事实:资料未提供具体安装命令、收费、价格、平台或效果信息。