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.
Since the load is now the retiring instruction, it has no dependencies on any other instructions still in progress; all stores preceding it have committed their values to memory, ensuring that any value read from memory will be accurate.