用途：Logic-Lens 的 Fault Locate（故障定位）技能，用于在已确认存在具体失败时定位根因。触发条件是用户提供堆栈跟踪、失败断言或某个具体错误值；若只是怀疑，应改用 logic-review。
主要能力：按步骤执行半形式化追踪。Step 0 检测语言并做范围路由，确认失败存在；Step 1 理解失败，明确观察行为、期望行为与复现路径；Step 2 确定入口点，优先选择最接近失败的失败测试、最外层应用帧或请求处理器，先停留在失败锥内（堆栈帧、失败测试夹具、直接调用的本地函数、该路径读取的配置/环境值）；Step 3 从失败点向后追踪，把每个值和状态回溯到来源并逐跳建立前提；Step 4 从疑似根因向前追踪，确认能到达观察到的症状；Step 5 若涉及被调用方则做跨过程追踪，检查观察条件下的返回值、未处理异常、共享状态变更，并遵守深度限制与调用链上下文标签格式，到达限制时把剩余被调用路径作为前提假设并将置信度降为 Medium；Step 6 识别根因分歧并分类，给出确切行/表达式、被违反的前提、实际行为、到症状的传播链及 L-code；Step 7 输出聚焦报告。
使用方式：按需惰性加载共享文档，仅在到达相应步骤时读取 logic-locate-guide.md 的相关步骤，并按需加载 logic-risks.md、semiformal-guide.md、semiformal-checklist.md 和 report-template.md。报告必须包含 Fault Confidence（High/Medium/Low）、单一 Primary Fault（五字段发现）、可选的 Contributing Factors，以及按规范给出的最小 Remedy；即使只是单函数简单缺陷，也必须输出 Premises / Trace / Divergence / Trigger / Remedy 字段和 Fault Confidence 行，不能只给普通修复建议。报告模式行标注 Fault Locate（中文：故障定位）。
限制：Findings 部分只有一个 Primary Fault，不做完整的 Critical/Warning/Suggestion 拆分；Logic Score 行由 Fault Confidence 替代。具体配置字段、加载预算、置信度判定细节与 L-code 定义需查阅对应共享文档，资料中未完整提供。