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

系统取出的每个数绑定一个不透明引用身份，指向原始调用、逐字入参与证据快照。核验时以调用者自己的主体重执行原查询，比对数值与单位——验证通道与生成方隔离，不接受调用方回传的数据，不存在循环信任。AI 在这些数上算出的派生值另立一类：披露算式与全部输入的引用，可复算，但不冒充系统签发。引用与证据由独立台账持久化，任意时点可回放。

AI 只有一个发布出口。开口前，正文中的每个数字沿独立通道回到证据台账核对身份：对不上或有矛盾的，发不出来；没有归到任何来源的，明确标出而不冒充核过。叙述层只裁决能可靠识别的形状——数值对了但范围、期间或因果越界，判为冲突；识别不了的明示弃权，不用流畅的话掩盖。读者看到的是颜色与审计视图，不是脚注和印章。

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