查询先经语义编译器裁决，通过后才进入执行：指标可用性、维度可寻址性、量纲可加性、粒度合法性、时间窗口歧义性五类判据；量纲与口径是声明面的一等对象，跨量纲聚合在编译期即被拒绝。拒绝是结构化的恢复载体——不成立的原因 + 可执行的修复动作，客户端可据此自动重构查询。同一裁决面约束 AI、报表与接口。

每个返回值绑定一个不透明引用 ID，指向原始调用、逐字入参与证据快照。核验时以调用者自己的主体重执行原查询，比对数值与单位——验证通道与生成方隔离，不接受调用方回传的数据，不存在循环信任。引用与证据由独立台账持久化，任意时点可回放。

发布前对叙述中的每个数值断言做五档判决：对上 · 冲突 · 量纲冲突 · 无引用弱命中 · 查无此数。主张类型声明允许与禁止的读法——数值正确但范围或因果越界，判为叙述冲突。判决直接映射为口吻等级（核验结论 / 有据解读 / 待查线索），核不过自动降级或拒发。

归因受三条守卫约束：对比双方的总体、时间、口径契约必须一致；分项贡献与总量必须可加对账；残差必须有界并显式列出。对照组与同类组由声明的策略派生，构成准实验设计。调查以案卷为单位——假设入案、证据绑定真实查询、被否定的假设留存，案卷成立方可结论。