macrocephalopod

It's an inflation-linked perpetual bond backed by the US government with less vol and more duration that the S&P, so assuming it was a ~negligible component of the debt structure I expect it would well above the current SPX level, probably with a yield around 1%, so that's 6k

The default risk is embedded in what’s paid by companies in the S&P 500. There is no risk to what has already been received or what will be received via div. A S&P dividend bond would be priced lower if the bond was issued by a company vs treasury, but 100% discount to S&P 500.

Imagine if the government promised to pay the yield on an BBB bond index. Would that promise trade above or below the price level of the index now that you've eliminated the default risk? Why would that be different if you're paying a dividend yield instead?

The default risk is embedded in the cash flows that the high yield bonds pay out! If they default and don’t pay, the “government backed” fund doesn’t pay them either because it pays the exact same cash flows.