rabadon

overview / findings / the benchmarks page named native/gate_bench.sh as the…

The benchmarks page named native/gate_bench.sh as the source of 42.0us to judge one command, and that file did not exist

what was wrong

no micro benchmark existed in the repository at all. the only real measurement was native/bench.py, which times the whole hook and answers a different question. the first honest measurement of judge_command came back 125.5us, three times the number the page had been carrying.

fieldvalue
repositoryrabadon
filesite/build.py
statusfixed
found2026-08-02

the command that shows it

./native/site_claims_test.sh

A finding without a command that demonstrates it is an opinion, and site/build.py drops it. This one is also listed on the catches page.