That's the irony of all of this. Cramforce is claiming AMP isn't used for rankings but that is disingenuous. AMP pages are clearly featured in the carousel, and Google has gone on record saying page speed is a factor.

So AMP at the very least indirectly impacts rankings (and thus impacts rankings), and it may directly impact the ability to appear in the carousel (which impacts rankings).

Would love for him to refute this, but I suspect that won't happen.