The IRS doesn’t always receive the cost basis—non covered stock for example. But gross proceeds are always reported so it makes sense that that is what the IRS computers look at. There is no downside to you reporting that sale.
