“Using 'lines of code' as a productivity metric is unreliable, as AI tools can be prompted to generate excessively long and verbose code, making the metric easy to game.”