Still feels odd to me that we have opened up so much cap space

Agreed. I think it would take Carr refusing to play or holding out before they would trade him in these circumstances. And, while I think it's true he would rather not be here, I don't think he would hold out or refuse to play.
I'm not up to date on penalties for holding out, but does it matter that the vast majority of his compensation for 2025 is roster bonus so he would not forfeit it if he did hold out? I'm curious what leverage he would have, if any, should he really want out that bad. I do agree with your take though. I think he would rather move on, but wouldn't refuse to play. He will be professional.