If he decides he is going to retire then what the team will likely ask him to do, is what several others have done with star players who have void years in their deals. Rather than have his deal void on the 16th, he signs a minimum cost extension to play on $1.3m for the 2026 season.
This moves his salary cap number down to $9,874,000 for the season as his dead cap isn't accelerated up as a free agent. Then on the 2nd of June he retires. This is treated the same as a Post June 1st cut. He isn't paid the $1.3m for the 2026 season, so has a $8,574,000 dead cap for 2026 and a $14,930,000 dead cap in 2027. While this is the same $23,504,000, splitting it over two years with a growing salary cap it puts the team in a better position with more flexibility.
While he would take up one of their 90 man roster spots until June 2nd, no one is going to convince me that player 90 is the difference maker they can't live without during the offseason.