231 million wasn't guaranteed at signing, there are dates built into the contract at the start of each league year that accelerates into guarantees. So if he's not on the roster the Cowboys don't have to pay that money and save on the base salaries. The issue though with the contract is the Cowboys have to make a decision the year prior what they want to do otherwise the next year's salary becomes guaranteed. The most realistic out would be in 2027, but according to over the cap a post June 1st cut would net the Cowboys 40, 45, and 55 million in savings over 3 years 26-28 if he were cut in March 2026 with a June 1st designation.