Default has a specific meaning, and it does not include total govt spending. It is only the servicing (interest) on the debt already accumulated.
If we don't pay salaries, benefits, etc, it is not technically default. obombers is trying to convice the liv otherwise.
No— the other issue is the US must redeem T-bills that mature this month— not sure how much that is, but it’s probably far more than the tax revenue coming in.