MEASUREMENT CONTRACT
Evidence before headlines
Fresh isolated processes, two warmup rounds, eleven retained alternating observations, exact output checks, and independently reproduced medians.
Read the reproducible benchmark plan ↗REPRODUCIBLE MEASUREMENTS
Small binaries. Light memory. Runtime work remains.
Explore exact Linux arm64 results for three numeric kernels. Every retained observation, toolchain boundary, and source revision remains linked to public evidence. Native remains 2.59× to 4.09× slower than Pure Go here; matching or exceeding Pure Go is the minimum runtime objective. This complete snapshot stays fixed while later focused optimizations remain separate.
FORMAL RUNTIME RESULT
Compare runtime medians
PROGRAM
CPU LANE
METRIC
Shorter bars are better · medians of 11 retained processes
Show exact runtime data
| Candidate | Wall | CPU | Peak RSS | Samples | Evidence |
|---|
FORMAL BUILD RESULT
Compare the identical TypeRB sources
These measurements cover exact programs, inputs, host, and toolchains. They do not measure persistent services, package ecosystems, application latency, or developer productivity, and they are not a composite language ranking. Later focused optimization results remain separate until another complete rerun replaces this snapshot.