I've mentioned it a few times about his particular contract that he has some wonky bits moving forward this year and next that are easy/not so easy to get back and quantify. It's kind of moot at this point. I pointed out previously how him retiring could both help and hurt us cap wise this year. Next year, this is a good thing!
But guaranteed money doesn't change. It's gone day of signing, cap and to player. It's not just money off cap, it's money owed to signee, whether it's payed now, later, the reaper will cometh. There are for sure stipulations on guarantees, but retirement isn't one of them. That's the weird one that can f*ck a team if they don't know it (albeit, the player if trying to game the system still cannot play for anyone for the length of contract). This all came to light again recently with Rodgers weaponizing retirement against GB.
And yes, we absolutely can agree on OL priority!