verify
Compares a candidate GPU kernel script against a baseline by running them interleaved, returning mean/std/min metrics and a faster, slower, inconclusive, incorrect, or invalid verdict.
Instructions
Decide whether a candidate script beats the baseline script. Both follow the bench contract (print one JSON line with "ms" and "ok"). Runs them interleaved (baseline, candidate, baseline, candidate, ...) warmup+n times each, back to back on the same card, discards the warmup pairs, and returns mean/std/min for both plus a verdict: 'faster' or 'slower' when |mean_b - mean_c| > 2*sqrt(std_b^2/n + std_c^2/n), 'inconclusive' otherwise, 'incorrect' if the candidate printed ok=false in any run (then no speedup is reported), 'invalid' if the two scripts disagree on shape/dtype/iters/seed or the baseline fails its own check. Also records gpu, driver, power limit, timestamp and the exact commands. Pass the result to record().
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| n | No | ||
| cwd | No | ||
| args | No | ||
| warmup | No | ||
| timeout | No | ||
| baseline | Yes | ||
| candidate | Yes |