INNER CODE UNIT · Python

_print_results

2akouwu/reverify · reverify/cli.py:473

def _print_results(results: List[Dict[str, Any]]) -> None:
    symbols = {
        "VERIFIED": "[VERIFIED]", "REFUTED": "[REFUTED ]", "INCONCLUSIVE": "[INCONCL.]",
        "OBSERVED": "[OBSERVED]", "INVALIDATED": "[INVALID.]",
    }
    for r in results:
        mark = symbols.get(r["verdict"], r["verdict"])
        ident = f" #{r['id']}" if r.get("id") else ""
        w = r.get("weight")
        weight = f"  w={w}" if w is not None else ""
        flags = []
        if r.get("trivial"):
            flags.append("trivial")
        if r.get("echoed"):
            flags.append("echo")
        if r.get("duplicate"):
            flags.append("duplicate")
        if (r.get("evidence") or {}).get("self_referential"):

View source record →