lingshu-condition-units

类型推断/分析-类型推断。用户提到与「类型推断」相关的能力时使用本技能。 场景：对照：C2 语义深化——类型推断（赋值→数值/文本/布尔，冲突→混合）+ 条件空间声明登记（目标3 分析器完整化）。 【不适用】Not for 以下场景：kind 非 {COND, assign} 时

名实校验/校验-名实。用户提到与「名实校验」相关的能力时使用本技能。 场景：对照：name_checker 以名举实（符号表→协议实体）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

编译赋值/编译-赋值。用户提到与「编译赋值」相关的能力时使用本技能。 场景：对照：赋值 = target = expr（名实对应）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

表达式树/编译-表达式树。用户提到与「表达式树」相关的能力时使用本技能。 场景：对照：语法——中缀表达式 → 嵌套树（AST 构建）。 【不适用】Not for 以下场景：tok 非 {(, )} 时

完整编译/编译-完整管线。用户提到与「完整编译」相关的能力时使用本技能。 场景：对照：白箱版 pc compile 单入口（词法→静态检查→编译）；若则真值计算由编译-若则单元深化。 【不适用】Not for 以下场景：kw 非 {知足} 时

函数定义/编译-函数定义。用户提到与「函数定义」相关的能力时使用本技能。 场景：对照：protocol-compiler 函数定义（入口=函数体起点，体末 RETURN）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

编译条件/编译-若则。用户提到与「编译条件」相关的能力时使用本技能。 场景：对照：若则=条件语句（v0.2 codegen if/else 的字节码形态）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

逻辑表达式/编译-逻辑表达式。用户提到与「逻辑表达式」相关的能力时使用本技能。 场景：对照：编译逻辑——且/或短路（左操作数决定是否求右——短路求值语义）。 【不适用】Not for 以下场景：op 非 {且} 时

递归调用/编译-递归。用户提到与「递归调用」相关的能力时使用本技能。 场景：对照：protocol-compiler 递归函数（若则体内 RETURN，对齐阶乘 da997ef 语义）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

作用域分析/编译-作用域分析。用户提到与「作用域分析」相关的能力时使用本技能。 场景：对照：编译作用域——嵌套由内向外查找（内层遮蔽外层）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

类型检查/编译-类型检查。用户提到与「类型检查」相关的能力时使用本技能。 场景：对照：C2 语义深化——类型推断接入编译管线（未推断/混合类型符号使用→编译期拦截，目标3 分析器完整化）。 【不适用】Not for 以下场景：t 非 {混合} 时

循环编译/编译-循环。用户提到与「循环编译」相关的能力时使用本技能。 场景：对照：当…执行=while 语句（条件先判→体→回跳；假则跳出到循环后）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

中文程序词法/词法-中文程序。用户提到与「中文程序词法」相关的能力时使用本技能。 场景：对照：protocol-compiler lexer（九章算术结构/若则/道德经指令/步骤序号）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

道德经词法/词法-道德经。用户提到与「道德经词法」相关的能力时使用本技能。 场景：对照：TokenType 道德经助记符（道/德/自然/无为/谷/牝/柔/朴/止/知足）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

九章算术/词法-九章算术。用户提到与「九章算术」相关的能力时使用本技能。 场景：对照：TokenType WENYUE/DAYUE/SHUYUE（九章算术结构）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

指令重排/编译-指令重排。用户提到与「指令重排」相关的能力时使用本技能。 场景：对照：编译优化——指令重排（无关指令乱序减少停顿）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

VM单步/调试-单步。用户提到与「VM单步」相关的能力时使用本技能。 场景：对照：C4 调试器单步（一条指令 → 新状态；止/无为=控制流信号）。 【不适用】Not for 以下场景：op 非 {DAO, DE, LOAD, PUSH, STORE, WUWEI, ZHI, ZHIZU, ZIRAN} 时

元组解析/语法-元组解析。用户提到与「元组解析」相关的能力时使用本技能。 场景：对照：语法——元组字面量（(元素,元素) 解析）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

支配树/编译-支配树。用户提到与「支配树」相关的能力时使用本技能。 场景：对照：支配树——必经节点集合（迭代数据流）。 【不适用】Not for 以下场景：preds 为空/非法时

信任检查/校验-信任检查。用户提到与「信任检查」相关的能力时使用本技能。 场景：对照：智能论——信任门槛（运行时信任检查放行/拒绝）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

名实绑定/编译-名实绑定。用户提到与「名实绑定」相关的能力时使用本技能。 场景：对照：以名举实（v0.2 名实校验）编译期绑定——作用域链逐层查找，内层遮蔽外层；未绑定→(False, None)。 【不适用】Not for 以下场景：name 为空串时直接未绑定；本函数不修改作用域栈内容

内联展开/编译-内联展开。用户提到与「内联展开」相关的能力时使用本技能。 场景：对照：编译优化——内联展开（小函数体复制到调用处，减少调用开销）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

寄存器溢出/编译-寄存器溢出。用户提到与「寄存器溢出」相关的能力时使用本技能。 场景：对照：寄存器分配——活跃超限溢出处（spill）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

数字字面量/词法-数字字面量。用户提到与「数字字面量」相关的能力时使用本技能。 场景：对照：词法——数字字面量（整数/浮点/十六进制）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

圈复杂度/分析-圈复杂度。用户提到与「圈复杂度」相关的能力时使用本技能。 场景：对照：圈复杂度——判定节点+1（代码复杂度度量，McCabe）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

污点分析/分析-污点分析。用户提到与「污点分析」相关的能力时使用本技能。 场景：对照：静态分析——污点传播（标记/传播/查询）。 【不适用】Not for 以下场景：op 非 {check, mark, propagate} 时

协议词法对接/对接-协议词法。用户提到与「协议词法对接」相关的能力时使用本技能。 场景：对照：protocol-compiler TokenType 枚举（道德经助记符/若则/九章算术）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

关键字识别/词法-关键字识别。用户提到与「关键字识别」相关的能力时使用本技能。 场景：对照：词法——关键字表命中分类（KW token）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

字节码反序列化/字节码-反序列化。用户提到与「字节码反序列化」相关的能力时使用本技能。 场景：对照：C3 原生编译——.pbc 加载（与序列化对称，往返一致性由校准⑫验证）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

窥孔优化/编译-窥孔优化。用户提到与「窥孔优化」相关的能力时使用本技能。 场景：对照：编译优化——窥孔（PUSH 0+ADD 冗余消除）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

覆盖率/调试-覆盖率。用户提到与「覆盖率」相关的能力时使用本技能。 场景：对照：C4 覆盖率——指令覆盖百分比（测试充分性）。 【不适用】Not for 以下场景：total 为空/非法时；op 非 {mark, report} 时

寄存器分配/编译-寄存器分配。用户提到与「寄存器分配」相关的能力时使用本技能。 场景：对照：编译优化——寄存器分配（4 寄存器，溢出到内存）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

括号匹配/语法-括号匹配。用户提到与「括号匹配」相关的能力时使用本技能。 场景：对照：语法——括号配对平衡（嵌套校验）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

指令选择/编译-指令选择。用户提到与「指令选择」相关的能力时使用本技能。 场景：对照：编译后端——IR 操作到目标指令映射（指令选择）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

尾调用优化/编译-尾调用优化。用户提到与「尾调用优化」相关的能力时使用本技能。 场景：对照：编译优化——尾调用优化（CALL→JUMP，尾递归不增栈帧）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

循环检测/分析-循环检测。用户提到与「循环检测」相关的能力时使用本技能。 场景：对照：图分析——DFS 三色循环检测（回灰边即环）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

指令融合/编译-指令融合。用户提到与「指令融合」相关的能力时使用本技能。 场景：对照：编译优化——指令融合（LOAD+STORE→MOV）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

活跃变量/分析-活跃变量。用户提到与「活跃变量」相关的能力时使用本技能。 场景：对照：活跃变量分析——定义后无使用=死变量（liveness）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

调用图/分析-调用图。用户提到与「调用图」相关的能力时使用本技能。 场景：对照：调用图——函数调用关系（节点=函数，边=调用）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

编译程序/编译-程序。用户提到与「编译程序」相关的能力时使用本技能。 场景：对照：C2 顶层编译——术曰作用域/道德经指令/止停止。 【不适用】Not for 以下场景：kind 非 {COND, INSTR, 术曰, 止} 时

位运算/语法-位运算。用户提到与「位运算」相关的能力时使用本技能。 场景：对照：位运算——与/或/异或/取反（bitwise 语义）。 【不适用】Not for 以下场景：op 非 {and, not, or, xor} 时

断点/调试-断点。用户提到与「断点」相关的能力时使用本技能。 场景：对照：C4 调试器断点（登记/清除/命中判定——调试器暂停点）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

调用计数/调试-调用计数。用户提到与「调用计数」相关的能力时使用本技能。 场景：对照：C4 profiler——函数调用次数统计。 【不适用】Not for 以下场景：op 非 {count, report} 时

条件求值/求值-条件表达式。用户提到与「条件求值」相关的能力时使用本技能。 场景：对照：中文比较词（CHINESE_COMP_MAP：等于/大于/小于/不等于/不小于/不大于）；未定义符号诚实返回 None。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

空值字面量/语法-空值字面量。用户提到与「空值字面量」相关的能力时使用本技能。 场景：对照：词法——空值字面量（无/空→None）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

编译指令/编译-指令。用户提到与「编译指令」相关的能力时使用本技能。 场景：对照：INSTRUCTION_MAP（道→create_path 等；未接入指令诚实边界）。 【不适用】Not for 以下场景：kind 非 {DAO, DE} 时

条件空间类型/校验-条件空间类型。用户提到与「条件空间类型」相关的能力时使用本技能。 场景：对照：智能论——条件空间=类型系统（未声明空间拦截）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

行号跟踪/词法-行号跟踪。用户提到与「行号跟踪」相关的能力时使用本技能。 场景：对照：词法——行号跟踪（token 附行号，调试定位）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

数组字面量/语法-数组字面量。用户提到与「数组字面量」相关的能力时使用本技能。 场景：对照：语法——数组字面量（中括号元素列表，逗号分隔）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）

名实一致/校验-名实一致。用户提到与「名实一致」相关的能力时使用本技能。 场景：对照：名实校验——引用须绑定实体（以名举实，未绑定拦截）。 【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）