用途：对代码仓库或指定目录做全量逻辑审计并自动修复，也可直接处理用户粘贴的代码片段。
主要能力：按阶段推进——先做健康检查（Logic Score 与 L-code 模式），再逐文件深度审查（Premises → Trace → Divergence），必要时用 logic-locate 定位具体失败、用 logic-explain 澄清调用深度大于 3、跨模块或异步的路径；随后按严重度排序生成修复队列与可直接粘贴的 Remedy，跨文件矛盾会路由到代码、约束、配置或文档的正确修改目标。修复后用 logic-diff 对比原代码与修复后代码，预期判定为“⚠️ Conditionally Equivalent”（差异条件恰为缺陷场景）；若判定为“✅ Semantically Equivalent”（修复无效）或出现缺陷场景之外的新分歧（回归），则回滚，最多重试 3 次。最后对修改文件及其调用方重跑健康检查与审查，Critical 问题不限轮次循环，Warning/Suggestion 轮次受 fix_all.max_iterations 限制，达到上限时向用户升级询问，并输出 Fix Report。
使用方式：按 ../_shared/common.md §13 做阶段门控懒加载。同意前只读 common.md 及指南的 Phase 0 部分；同意后进入某阶段才读对应阶段文件。读取 .logic-lens.yaml 中的 ignore、custom_risks、severity、focus、fix_all.max_iterations 配置。仓库/目录范围会显示范围、方法、成本与迭代上限的强制同意提示，同意后枚举影响运行时的文件（源码、配置、约束、文档），排除 .git 与构建产物并按风险分级；粘贴片段则跳过同意，直接枚举其函数。
适用场景：需要跨文件、跨模块排查并修复逻辑缺陷的代码库维护工作。
限制：仓库级运行需用户明确同意；修复效果依赖 logic-diff 判定，无效或回归会回滚；迭代次数受配置上限约束，未解决项会记录原因（如约束冲突、用户在第 N 轮停止、达到硬性迭代上限、规格含糊、无法判断规格还是调用方有误）。具体安装命令与收费信息暂未提供。