ARTICLE DETAIL

资讯详情

深耕郑州网站建设与运营推广的一线实战洞察。

LobeHub deep-review:reuse-architecture 重复实现发现的验证规则与爆炸半径决策

LobeHub deep-review:reuse-architecture 重复实现发现的验证规则与爆炸半径决策 LobeHub deep-reviewreuse-architecture 重复实现发现的验证规则与爆炸半径决策【免费下载链接】lobehub LobeHub is your Chief Agent Operator, organizing your agents into 7×24 operations by hiring, scheduling, and reporting on your entire AI team.项目地址: https://gitcode.com/GitHub_Trending/lo/lobehub本文解析 LobeHub 仓库中deep-review代码评审技能针对 reuse-architecture重复实现类发现的验证附录独立验证子代理如何基于“行为等价”三要素对重复代码候选发现做出confirmed/false_positive/need_more_context三分裁决以及为何这类发现默认禁止自动修复、又在何种条件下可以例外。读完后你能复现从维度规则文件、验证子代理提示词到 zod 数据契约的完整执行链条并理解该技能“反幻觉、反自我审批”的设计逻辑。一、定位deep-review 流水线中的“维度专属验证规则”deep-review 是 LobeHub 仓库内置的多维度代码评审技能入口定义在 SKILL.md。其两条核心原则直接决定了本文附录的存在方式反幻觉只看 diff 片段的评审代理会凭空捏造 bug因此候选发现必须由一个阅读完整上下文的独立 verify 子代理逐条证伪并返回三向裁决confirmed/false_positive/need_more_context——三向裁决优于置信度百分比因为“听起来经过校准的分数作为硬性过滤器并不可靠”见 SKILL.md。反自我审批刚写完代码的代理给自己的作业打分必然通过所以评审与验证绝不能共用同一个代理见 verify-prompt.md。验证子代理的提示词模板verify-prompt.md中有一个{verification_addenda}占位符其实例化路由规则如下当载荷中包含 release-risk 发现时注入 verification/release-risk.md当载荷中包含 reuse-architecture 发现时注入 verification/reuse-architecture.md两者都有则都注入否则为None见 verify-prompt.md#L10-L13。也就是说本文主题文件是一份按需动态拼入验证子代理提示词的“维度专属裁决规则”。它全文虽短但每一行都是规范性条款第一行划定适用范围中间定义三向裁决的充分条件最后两行定义can_auto_fix的默认值与唯一例外。二、适用范围只处理 reuse-architecture 去重发现原文第一句即明确“Apply only toreuse-architecturededup findings.”仅适用于 reuse-architecture 去重发现。这个“去重发现”由哪个环节产生由 reuse 维度负责。dimensions/reuse-architecture.md 的 frontmatter 声明id_prefix: reuse、verify: true它是唯一要求全仓库搜索的维度——“绝不要只凭 diff 下判断”。其 Outward查重通道对发现有硬性要求对每个引入的行为单元用“动作 上下文关键词”组合在仓库中rg搜索如window.open popup、setInterval poll、JSON.parse storage打开每一个命中结果比较行为等价性只有当existing_implementations字段被填满file:line或file:line-range至少 1 条时才允许上报见 dimensions/reuse-architecture.md#L53-L56。这条“必须给出既有实现坐标”的规则不止写在提示词里还被 zod 数据契约硬执行validate-output.ts 的superRefine校验中dimension reuse-architecture且缺少existing_implementations的发现会直接校验失败。评审子代理的返回格式同样把该字段列为 reuse 去重发现的必备条件review-prompt.md#L80。这正是验证附录的第一条规则之所以写“Openeveryentry”的原因existing_implementations是一个列表可能包含多个候选既有实现验证者必须逐一打开而不是只看第一条就下结论。三、核心验证流程基于“行为等价”的三向裁决原文给出的完整裁决标准如下Open every entry inexisting_implementationswith enough surrounding context to compare behavior:At least one implementation has equivalent input, output, and side effects →confirmed.All implementations are merely syntactically similar →false_positive, naming the semantic difference.Required context is unavailable →need_more_context.三条规则对应三种裁决各自的判定条件与产出要求裁决触发条件产出要求confirmed列表中至少一个实现与 diff 引入的实现在输入、输出、副作用三方面都等价evidence必须是文件 行号证据false_positive所有候选实现都仅是“语法上相似”reason必须点名具体的语义差异need_more_context所需上下文无法获取如被引用的既有实现文件不存在、无法读取missing字段说明缺什么三个要点值得展开1. “行为等价”的操作性定义来自维度文件本身。维度文件 Outward 通道第 4 步给出了等价性的判定口径“same input → same output/side effect. Name/parameter differences still count as equivalent; syntactic similarity with different semantics does not.”输入相同则输出/副作用相同即为等价命名或参数不同仍然算等价只有语法相似而语义不同的不算dimensions/reuse-architecture.md#L55。这解释了为什么附录裁决的是confirmed而非maybe只要列表中任何一条命中即确认重复成立。2.false_positive必须“点名语义差异”禁止模糊否认。这与验证子代理提示词的通用条款一致confirmed裁决要求文件与行号证据“不确定性是need_more_context永远不是猜测式的确认”verify-prompt.md#L58-L59。对应的数据结构也强制了这一点validate-output.ts 中VerificationOutputSchema用z.discriminatedUnion(verdict, ...)定义三种裁决false_positive必须携带非空reasonneed_more_context必须携带非空missing——字段互斥且不可省略。3. 与 release-risk 附录的对照凸显本维度的特殊性。verification/release-risk.md 的验证对象是具体技术事实读实际 SQL、确认行为差异、复现调用点数量等而 reuse 附录的验证对象是跨文件等价性判断——它的第一动作不是读 diff而是“打开每一个existing_implementations条目并补足周边上下文”。这正呼应了技能总则中“反幻觉”原则等价性无法从 diff 片段推断只能从完整上下文确认。四、can_auto_fix判定爆炸半径是核心论据原文最后两句定义了本维度的自动修复策略Reuse-architecture findings default tocan_auto_fix: falsebecause caller migration changes the blast radius. A constant or single-import swap with no signature change may be auto-fixable when the evidence says why.要理解这两句先看验证提示词中can_auto_fix: true的通用四条件verify-prompt.md#L61-L71fix_cost为 low存在唯一一个显然的修法不需要外部资源或产品决策改动触碰少于 3 个文件且不涉及架构层、数据库 schema、外部契约、用户可见行为、路由、热键、文案或权限边界。reuse 发现为何默认不满足去重发现的修复动作不是“改一处”而是“删掉 diff 新引入的重复实现 把所有调用方迁移到既有实现”。即使重复本体只在一个文件里调用方迁移会把变更半径扩散到每个调用点——caller migration changes the blast radius说的就是这件事局部 diff 很小但修复的实际影响面超出 diff 本身因此默认违反第 4 条。唯一的例外窗口当修复退化为“常量替换”或“单次导入替换”且没有签名变化时——例如把 diff 手写的新字符串/数值换成仓库已有的常量或把一处直接导入换成共享工具函数的导入——调用方不受影响、变更半径被限制在单点内此时允许can_auto_fix: true前提是the evidence says why证据链必须说明清楚为什么这个替换不波及任何调用方。这个“why”在数据契约中有明确落点validate-output.ts#L104-L111 规定所有can_auto_fix: false的 confirmed 裁决必须携带auto_fix_reason字段缺失即校验失败。也就是说无论走默认路径还是例外路径验证者都被强制写明推理。与 release-risk 附录的对比能进一步标定 reuse 在技能体系中的位置verification/release-risk.md 的最后一句是“Release-risk findingsalwaysusecan_auto_fix: false”——无条件禁止而 reuse 附录是唯一给出条件例外的验证附录是全部发现类型中最接近“可自动修复”的一类但仍然被爆炸半径论证严格约束。渲染侧与之对应只有can_auto_fix为真的发现才能进入报告的Safe to fix now区块该区块的说明是“Single obvious fix, low risk, no product decisions”且只接纳本变更引入introduced的发现、绝不包含遗留代码report-template.md#L168-L172。五、数据契约zod 如何强制这些规则被执行deep-review 的产物不是自由文本而是结构化 JSONvalidate-output.ts 提供 CLI 校验Usage: validate-output.ts review|verify|consolidate [input-file]见 validate-output.ts#L202。与本附录直接相关的契约条款发现侧ReviewIssueSchema中existing_implementations字段本身是 optional但superRefine在dimension为reuse-architecture时强制其存在validate-output.ts#L54-L59——保证验证者拿到的一定是一个非空的、可逐条打开的既有实现清单。验证侧VerificationOutputSchema以verdict为判别键的三选一联合恰好与附录的三向裁决一一对应validate-output.ts#L113-L142confirmed分支强制evidence、can_auto_fix、blocks_release字段且can_auto_fix: false时强制auto_fix_reason。去重侧全局整合通道consolidate-prompt.md声明“Two findings share a root only when one concrete fix resolves both”只有一条具体修复能同时消解两条发现时才算同根——这与附录的爆炸半径口径相互印证影响面不同的修复不能被合并计数。六、报告渲染这些字段最终去向report-template.md 规定了 verified 发现进入最终报告时的呈现方式其中与 reuse 验证直接相关的条款Existing implementations行只为 reuse-architecture 去重发现渲染并列出全部条目report-template.md#L17 及 模板示例——即验证者打开过的每一个existing_implementations条目都会出现在报告里供读者复核等价性判断每条 confirmed 发现必须渲染Blocks release与Likelihood两行这两值来自验证侧的blocks_release与likelihood_overridecan_auto_fix为真的发现进入Safe to fix nowreport-template.md#L168-L172为假的则只出现在对应严重级别桶中由人决定修复时机。七、验证者自检清单处理一条 reuse-architecture 去重发现时可以按以下条目逐条自查——即附录全部规则的展开是否打开了existing_implementations的每一条而非仅第一条是否对每个候选都从输入、输出、副作用三个维度做了等价比较判false_positive时reason是否点名了具体的语义差异而不是笼统的“看起来不一样”上下文缺失时是否降级为need_more_context并在missing中说明缺口而不是猜测式确认can_auto_fix是否默认取false且auto_fix_reason已写明理由缺失会过不了 zod 校验只有当修复是“常量/单次导入替换且无签名变化”时才考虑can_auto_fix: true并在evidence中说明为什么调用方迁移的爆炸半径为零。这套规则把“发现重复代码”这件看似机械的事拆成了可审计的三段证据采集评审侧必须给出既有实现坐标→ 行为等价裁决验证侧三向分类→ 修复半径评估can_auto_fix与auto_fix_reason。每一段都有对应的 zod 契约兜底使 deep-review 在 reuse 维度上的结论可复核、可追溯而非模型的主观印象。【免费下载链接】lobehub LobeHub is your Chief Agent Operator, organizing your agents into 7×24 operations by hiring, scheduling, and reporting on your entire AI team.项目地址: https://gitcode.com/GitHub_Trending/lo/lobehub创作声明:本文部分内容由AI辅助生成(AIGC),仅供参考
返回列表