record
Saves a verify() result to results//.json and regenerates LEADERBOARD.md from all raw logs, keeping the benchmark table reproducible after every verification.
Instructions
Write a verify() result to results//.json, then regenerate
LEADERBOARD.md from every log under results/ (so the table is always reproducible from
the raw files). The Speedup cell is filled only when the verdict is 'faster'; otherwise it
says 'no gain', 'incorrect' or 'invalid'. Call it after every verify(), win or lose; never
edit LEADERBOARD.md by hand. note is the one-line "what changed"; who says honestly
who produced the candidate, e.g. 'agent: running kernel-speedrun unattended' or
'hand-written by during tool bring-up'.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| cwd | No | ||
| who | No | ||
| note | No | ||
| target | Yes | ||
| verify_result | Yes |