The way it has been ‘splained is that a technical default is the failure to pay interest on the debt.
that isn’t going to happen, unless the Clown chooses not to pay the interest.
If I pay some of my bills but don't pay the others then I'm in default, no technicality about it.
Two thirds of the federal budget is non-discretionary, legislatively mandated spending. Interest on debt, believe it or not, is not in that category. The roughly $144 billion in Medicare and Social Security payments for the month will have to be paid before debt or military salaries or veteran pensions or any other defense spending. So even if your definition is correct, that doesn't mean that the money will be available to pay it.