I agree with the first paragraph - to a point. This is the first year of Pablo's big $$$ and the highest salary in Correa's contract, and the team is in the middle of looking for a new ownership group. I think they are in their "window," but 2025 was always going to be a "win with who's here" season.
There is approximately $30 MM coming off the books after this season, but Kirilloff's retirement (and lack of development) and the development (or lack of) so far of Wallner, Larnach, Miranda, Lewis, Lee, Julien, Martin and, to a lesser point, Camargo have hand-cuffed FA signing/trades that may help the offense.
Pitchers develop a little differently than position players (anybody foresee Gil as ROY), but I like where the rotation is, and, I think, they are trying to develop this talent instead of trading for it. Guys like Varland, Matthews, Festa, Raya, Morris, Paddack and even SWR will compete for the rotation, but may wind up helping more from the BP.
Having exhaustively said that, I think I have seen enough trade player(s) XXX for player(s) YYY articles for a lifetime.