用途：Logic-Lens 的 Execution Explain（执行解释）模式，用于说明某段代码在给定输入下实际做了什么，产出跨函数的逐步执行轨迹，帮助用户理解代码真实行为。
主要能力：按步骤编号、主动语态描述执行过程，必要时跨越函数边界；解析不明显的名称、说明入口处关键变量类型、记录访问的全局或模块状态；突出名称解析、隐式类型转换、隐藏副作用等容易被忽略的行为；最后用各一句话总结“实际行为”与“假设行为”的差异。
使用方式：按需懒加载共享文档，仅在到达相应步骤时读取 logic-explain-guide.md 的相关步骤，并按需加载 semiformal-guide.md、semiformal-checklist.md 和 report-template.md。流程为：Step 0 语言与范围路由，确认单个函数加单个输入场景；Step 1 确定入口点与场景；Step 2 建立前提；Step 3 生成逐步轨迹；Step 4 标出非显而易见行为；Step 5 总结实际与假设。报告模式行标注为 Execution Explain（中文：执行解释）。
适用场景：需要弄清某函数在特定输入下的执行路径、跨函数调用关系或隐藏行为时。
限制：该模式是描述性而非评价性的，不产出 L-code 发现，报告头省略 Logic Score、Fault Confidence 和 Verdict 行；Remedy 不在范围内。若轨迹中发现缺陷，应停止并建议改用 logic-review 或 logic-locate；交接时保留已完成的前提与轨迹步骤，以“Partial trace context (carry into next skill):”标题呈现。若用户只想找 bug 而无具体场景，应转交 logic-review。