Performance and validation

This section contains measured implementation evidence, not language promises. Keep a result tied to its device, datatype, shape, compiler route, numerical policy and timing method. Correctness coverage and performance coverage are different claims.

The Tile summary links to route-specific comparisons, correctness investigations and historical checkpoints; raw benchmark records remain with the benchmark tools. The compiler and backend validation archive collects dated regression investigations, preserving their original evidence scope.