Spider-Man 4 is, just like the rest of the Tom Holland movies, released by Sony, but is a Marvel production, with at least some level of profit sharing going to Disney.
But if your argument is correct, that would further suggest it is an industry-wide issue: The only Sony releases with any lead...