Ranking is effectively higher placement on the page, and the AMP links carousel is the highest on the page. The outcome is the same, regardless of methodology.
Indeed, when Google claims they don't favor AMP pages, they're being disingenuous. Just like suggestions that you can't pay them for higher rankings: You absolutely can, because Google Ads go on top, and they're barely distinguishable from native results.