I mean, the belief that we will or will not have dominant starting pitching in 2023 with Burnes, Woodruff, Peralta, Lauer, et al., determines what the team should do. And either side of that question is reasonable. I tend to think it's quite possible.
If you think they can dominate, Do a sorta, kinda, given our limitations. "all-in." Since we have average-ish batters throughout the order, it's hard to significantly improve the team. I really want to improve 3b, but there simply aren't many ways to accomplish that (my wish is they sign Arenado, but that's not going to happen). If you think Mitchell, Ruiz, Frelick, Wiemer, and Turang can improve the team in 2023, you're probably being overly optimistic (and I want 3 of those guys on the opening day roster). A solid 7-8th inning reliever can usually be acquired cheaply (signing a FA is the cheapest way); do that, once or twice.
Ashby's (lack of) performance has really screwed us. We can't count on him to be a 1-3 starter. If we could, we could trade Woodruff or Burnes to improve 3B, 1B or RF/DH. And there's no one in the minors showing much promise of contributing as a starting pitcher next year. Gasser might be a call-up. I'd trade Small to the first team that valued him more than me.
So if you don't believe we can have starting pitching dominate in 2023, you trade Woodruff and Burnes this offseason. And you concentrate on acquiring guys who can play 2023-2028, on the belief that our current top prospects can form the nucleus of an excellent team.
Simple. You just need to decide if you believe in the starting pitchers we have.