Underhill: I think everyone involved knows Carr cannot play this year at his current salary

Yes, but he doesn’t have to sign anything for that. The most you can prorate for is 5 years including the year it goes into effect.
Pretty sure Void extension are still extension and requires a new contract Everytime you do it. They can't prorate, because it would shift to the active contract not the voided extension.