Measured with benchmarks/bench_kernels.py on 2026-10-13, branch kernel-smlib,
same machine, 7 repeats per operation, median wall time in milliseconds. Each
operation runs through the build123d API with the kernel selected by
BUILD123D_KERNEL (occt, or smcore for the SMLib backend over the
generated _smlib_core bindings).
BUILD123D_KERNEL=occt .venv/bin/python benchmarks/bench_kernels.py 7 > occt.json