用途：对目录、模块或整个代码库做逻辑正确性扫描，生成带评分的健康仪表盘，并归纳跨模块的系统性模式。适用于多文件范围，或用户明确使用“health check”“health overview”“logic health”等表述的单模块范围；若范围仅一个文件且未出现上述健康类措辞，则转为 logic-review。
主要能力：按模块枚举与排序，优先公共 API 面、近期变更文件与用户标记模块；对面向公共的函数执行 Premises → Trace → Divergence 的聚焦逻辑审查；按模块记录发现并打上模块、L-code、严重级别标签；聚合严重级别与 L-code 计数并交叉引用模块；按标准公式计算每模块 Logic Score，整体分为行数加权平均；识别出现在 ≥3 个模块或 ≥30% 已扫描模块（取较低阈值）的 L-code 作为代码库级习惯，并点明架构性诱因（如重度全局状态对应 L7、深层调用链对应 L6）；输出健康报告，含标准头部、Findings、Summary，以及模块分布、系统性模式、优先级建议（前 3–5 项）。用户使用中文时本地化标题，模式行显示“逻辑体检”。
使用方式：按需懒加载共享文档，仅在到达相应步骤时读取 logic-health-guide.md 的相关步骤；需要时再加载 logic-risks、semiformal-guide、semiformal-checklist、report-template 与 logic-review-guide。仅读取 .logic-lens.yaml 的 ignore、focus、disable、severity、custom_risks、trace 等字段。大模块遵循每模块函数预算，不追踪全部函数。
限制：资料未提供具体安装命令、收费、价格、平台与效果数据；内部辅助函数除非被追踪到否则跳过。