oracle

fun oracle(dataset: Dataset): String(source)

Every divergent line with its OracleKind, and the evidence for the reportable ones.