cross-posted from: https://sopuli.xyz/post/42490856
Obligatory damn clankers.
No. Default is when the bond issuer doesn't pay interest.
The US government can let the bonds default by not paying. This can be by not issuing new debt (or getting the fed to print more money).