Most 4k films till very recently actually have the digital elements at 2k DCI-ish resolutions and are upscaled. I can't speak to wether soul is rendered at 2k or 4k, but it wouldn't be surprising if it was 2k upscaled.
The master will have been rendered into a DCP.
What gets delivered to the streaming service is another thing.
what then ends up at your screen is even more of a guess.
A 4K dcp is a JPEG2000 stream[1], with 16bit colour. Something like 60-120 megabytes a second. Obviously this isn't practical to stream to consumers. 4K over a stream is always a balancing act, more often than not it drops to 1080.
[1] well normally it is
If a shot doesn't look good enough when upscaled, they re-render in 4k.
Actually, they used to upscale most of the movies using Nuke, but recently, started using deep learning for that. At Siggraph 2020, they gave a talk on this topic: https://s2020.siggraph.org/presentation/?id=gensub_443&sess=...