There's a lot left unsaid in this post, namely how a 2B prospect forcing their way up pushes Devers off of 3B. I suspect your math includes the ascendence of Mayer at SS, creating a logjam at SS/2B with Mayer, Story and Yorke/Meidroth. In that scenario, one of those guys gets pushed to 3B, pushing Devers to 1B (or DH) and Casas to DH (or trade bait).
Probably at least a year away from having that good problem. And by then they may also have Bonaci knocking on the door, with other middle infielders like Romero pushing their way up.
Looking forward to
@JM3 's "Looking at 2024 Infield" thread for a full breakdown.