That is incorrect, Corellium does not ship Apple code.

My understanding was that the copyright portion of the suit was over them doing exactly that? Maybe running it in the cloud vs shipping it, but e.g. https://techcrunch.com/2020/12/29/apples-lawsuit-against-cor... mentions iOS IPSW files.

Edit: it seems like they downloaded the file from Apple's site. The order says using the IPSW file was fair use, and that doesn't appear to depend on them downloading it vs shipping it. I don't think that makes a different. The cellebrite usage is also fair use for the same reasons (doesn't compete with Apple, transformative usage, etc)