用途:对代码库执行应用级、只读的架构审计,寻找在数据结构、状态表示、控制流、算法和所有权方面真正有价值的简化机会。这是纯审计任务,禁止编辑文件、运行测试、实施建议、提交或推送,只允许只读检查命令。
主要能力:以协调者角色推进完整覆盖。第一步建立覆盖契约,盘点每个可识别子系统,赋予稳定ID、名称、精确所有权边界、关键实现文件、相关公共接口/调用点/测试及状态(queued、in review、recommend、skip),覆盖前端、后端、共享基础设施、平台桥接、生成契约归属和测试工具基础设施。建立一个规范记录,含子系统清单、确认的机会、明确的跳过决定、横切模式、重复与被取代的发现、最终优先级与依赖、审计日志。
第二步运行有界子系统审查:每个工作者只负责一个不重叠的子系统边界,至多给出两个有价值的简化机会,否则返回 skip。关注散落布尔值或可空字段导致非法组合(应改为状态机或可判别联合)、对象形状的重复假设、可用小映射/注册表/归约器/命令模型消除的重复分支、状态或行为所有权不清、可换用更合适集合或索引的重复扫描与查找、允许过期或矛盾状态的生命周期与并发异步状态。禁止仅为风格一致、假设性扩展、少量行数减少或把现有分支搬进新类型而提建议;不强行抽象,清晰时优先平淡的本地代码。
第三步验证与综合:协调者须独立核对每条发现;拒绝、收窄或降级含糊、重复、误解有意语义或仅转移复杂度的建议;跳过记录视为已完成覆盖;去重并指定唯一权威子系统。第四步审计审计本身,对覆盖、重复与所有权重叠、实质性与过度抽象、架构完整性、依赖感知优先级排序做独立复核;发现遗漏须新增子系统行而非扩大旧边界。按影响、置信度、实现成本、影响范围和前置条件排序,给出首批实现切片。完成标准:每个可识别子系统均已审查、均有建议或明确跳过、每条发现证据范围风险验证字段完整、重复与弱抽象已移除、优先级与依赖自洽、仓库保持不变。最终输出优先级综合:唯一建议总数、保证每个晋升ID只出现一次、按P0至P3分层(P0为正确性/安全/数据丢失风险,P1为具体正确性或高杠杆契约工作,P2为影响较窄或迁移敏感的不变量改进,P3为低影响遥测诊断或可维护性改进)。
使用方式:作为技能调用,面向待审计代码库执行;资料未提供具体安装命令或平台安装方式。限制:仅限只读,不修改代码;不提供收费、价格或效果数据(暂未提供)。