You must have a scale of you can definitively say he is bigger than the spring. Can you provide more evidence other than "look at this one photo!"? We know that camera can make people appear bigger than they are, as well, awkward running photos can distort a body. You're making a lot of claims here and there is a large difference from vibes and proof. If it's the photo thing, I think we should stop making those claims. What we *think* we see is below the burden of proof here, IMO.
On the Kirk thing; Kirk caught 7 games at age 21. Then got sent back for another full Triple-A season at age 22 when he was called up for 40 games at the end of the next season, his aged 22 year. You sure that's the hill we want to die on? 7 games? Using OAA he was not a positive defensive catcher in either 2020, or 2021, grading our poorly in every category except pop time. His first positive defensive grades comes in 2022, his age-23 season.
So once again, I feel like you're being incredibly harsh because he isn't photogenic. Alejandro Kirk has proven that awkward shapes can be successful, and we know it takes a long time to develop catchers. Ballesteros value does hinge on his defensive ability, but he is not at an age where anything definitive has been said about his defense. Once again, he could not catch an MLB game for another year and a half and he would still make his catching debut prior to Adley Rustchman, who has been seen as the most ready-made college catcher in a decade.