VerifyPatch examines the evidence behind a code change, from test provenance to generated checks, mutation testing, behavioral comparison, and policy. No trust score. No correctness claims.