regardless of the definition of the word. i don't think anybody would call a game indie that has tens of millions in production budget, over 300 developer working on it and a movie deal before it was even released.

So under ten million max then?

What's the maximum developer count? Do outsourced assets count, if so, how? By the amount of people who directly worked on the assets by the outsource company or the whole headcount?

just admit you have no idea about indie games. for many years now it has been clear what is NOT an indie game and 7 figure production budget (marketing not included, most indie games don't even have those outside of social media) with hundredth of people working on it is exactly that. just compare them to any other indie game before if you want to educate yourself about something before posting.

they had a whole orchestra of the size of whole indie game studios for the music alone, does that seem like indie?

You're feeding a sea lion.