Function explain 

pub fn explain(
    compiler: &ContextCompiler<'_>,
    subject: &str,
    predicate: &str,
    object: &str,
) -> Value

Overlay diagnostics (§97): why is subject —predicate→ object a trusted claim? Returns every stored assertion row (one per provider assertion — native EXTRACTED, pyright/tsserver RESOLVED, plugin contributions) with provenance, confidence, and evidence, plus the trusted verdict computed through the compiler view. Conflicts are preserved verbatim: disagreeing objects for the same subject+predicate appear side by side, never merged.