“Suno's decision to use autoregressive models over diffusion models was driven by the product goal of generating coherent, full-length songs.”