Formal audit detects omitted source relationships in generative search
The authors specify a claim-gated audit procedure for generative search answers that checks whether a source relationship omitted from the answer is resolved. The procedure requires that relationship evidence, answer adoption, materiality, and disclosure are all observed; incomplete evidence remains unresolved. On an exhaustive synthetic suite, the reference checker reproduces all 81 three-state predicate combinations and rejects 192 deliberately malformed records.
29 Sept 2026