Also, not only is it possible, but many countries have in fact chosen to default on debt denominated in their own currency, rather than subject their citizens t

Also, not only is it possible, but many countries have in fact chosen to default on debt denominated in their own currency, rather than subject their citizens to wild inflation and/or break norms around reserve bank independence. So, it could happen even if US is not forced to, I agree. For a starting point, see https://www.bankofcanada.ca/wp-content/uploads/2020/06/BoC-BoE-Sovereign-Default-Database-Local-Currency-Default-Frequency.pdf https://www.bankofcanada.ca/wp-content/uploads/2020/06/BoC-B...