The U.S. Treasury has a whole system for this, but in the other direction. If the government owes you money, and you owe the government money, the Treasury will deduct what you owe from whatever they are paying out.[1] But they're not set up for that in the other direction.
The administration will just do nothing. They need 3 maneuvers for this to drag out longer than Trump 2.
There is no intention to follow the law here.