从法规到控制流：用于可废止范围解析的跨度接地道义树

针对规则遵循代理在执行政策时因“静默范围遗漏”而失效的问题，本文指出其根源在于对法规结构的理解不足。为此，作者提出了 NormBench 基准，涵盖多语言法律条款，旨在进行可废止范围解析。该基准引入“跨度接地道义树”作为编译器风格的中间表示，将逻辑分支锚定于源文本并强制显式排除守卫。实验发现前沿大模型存在递归衰减和审计陷阱等病理现象，而采用该结构化输出能显著提升复杂例外情况下的逻辑推导 fidelity 与恢复能力。