If the FO believes he was dogged by injuries this year, I'd guess he's back for 2024 in a prove-it way. As the last few years have shown, anybody on the 40 will get some MLB at bats. Make the most of it. 1B is a revolving door unless Kiriloff manages to stay healthy.
If they think 2023 wasn't about health, I think Miranda is traded as a reclamation project, similar to Lopez with FL, maybe getting a low ball prospect in return.