Proof
Measured on the published files by Leasy's own scorer and tests. The judges hold the official answer key.
How these numbers were made
- No hand-written rulesEvery rule comes from the pipeline reading the laws; a wrong rule means fixing the pipeline, not the file.
- The answer key stays outA safety check fails if any product code reads the test answers.
- The same run, every timeEvery model call is cached, so rerunning gives byte-identical files; a check confirms it.