I believe iOS 27 brings a MiniPlayer, but I don’t know the rules about when it does/doesn’t show.