It only requires that the previous output has been downloaded. That’s a partial ordering requirement. That’s why #3 cannot be performed in block.check.
The important observation is that it does not require a total ordering by block. That constraint is only imposed by the need to populate a utxo store.