The three-time Olympic champion will need to shave more than 7 seconds off her personal best, a record she set in 2023. But if she succeeds, the Kenyan runner won’t make the official record books yet.