Verify

Nothing reaches the Kernel Code Efficiency Ranking until a verifier re-runs the exact code on a real GPU and gets the tuner's result, faster than the baseline.