So in essence the US taxpayer is guaranteeing those bonds.
“The Treasury” isn’t guaranteeing squat.
Yup.