the entire discussion is about micro or macro
we're trying to figure out the age old question of if a strikeout is worse than a different type of out. (It's a false premise.)
youre looking at the micro - a single at bat that ends in a strikeout - and using that outcome to try and determine a much larger question. Sure there are situations where you'd rather that one at bat end in weak contact rather than a K for the reasons you've described - maybe you force an error, maybe you bloop into a hit. But that same hitter that just struck out is going to come to the plate 699 more times that season. if that one single strikeout was the result of an approach that leads to more hard contact and more xbh, or if that one strikeout was the result of an approach where the batter is trying to see more pitches, leading to more walks and more hard contact on mistake pitches, over the course of a year, that's far more important and valuable than one individual at bat over the course of 162.