INNER CODE UNIT · Python

cmd_rollover

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

def cmd_rollover(args: argparse.Namespace) -> None:
    """Rollover for any agent CLI: hooks + launcher (see reverify/rollover_harness.py)."""
    sys.exit(claude_rollover_main([args.action] + list(args.rest)))


def cmd_equiv(args: argparse.Namespace) -> None:
    """functions_equiv: do two implementations compute the same thing? Run both, compare outputs."""
    def read(x: str) -> str:
        return open(x, encoding="utf-8").read() if os.path.exists(x) else x

    res = functions_equiv_verify(
        read(args.candidate), reference=read(args.reference),
        lang=args.lang, nargs=args.nargs, cc=args.cc)
    status = res["status"]
    if args.json:
        print(json.dumps(res, indent=2, ensure_ascii=False))
    else:
        label = {"pass": "VERIFIED", "fail": "REFUTED", "inconclusive": "INCONCLUSIVE"}[status]

View source record →