Since the load is now the retiring instruction, it has no dependencies on any instruction still in-flight; all stores ahead of it have committed their values to the memory system, and so any value read from the memory system is guaranteed to be correct.
With the load operation being retired, there are no remaining dependencies on instructions still executing; all preceding stores have already written their data to memory, meaning that any data read from memory is guaranteed to be correct.