面向生成式搜索的声明门控来源风险审计

生成式搜索的答案可以引用一段被支持的文献，却遗漏改变其解读方式的来源关系。我们对查询-来源-答案三元组规定了一种声明门控审计。只有当关系证据、答案采纳、重要性和披露四项全部被观测到时，遗漏才被判定成立；证据不完整时保持未决状态，而不是被视为独立。该规范将这一判定终点与引用支持和审查优先级分开，并把决策绑定到带版本的证据片段。一个参考检查器使记录契约可执行。在穷尽的合成套件上，它复现了全部81种三态谓词组合并拒绝了192条故意构造的畸形记录。常用防护基线和谓词消融把终点逻辑与缺失证据处理分离开，受控转换则检验支持分离与证据移除。这些是有限的契约一致性结果，而非检测器精度或用户结果改善的证据。我们定义了建立语义有效性和部署收益仍需要的独立标注、留出评测和配对效用测试。