Because there is no definition of "retiring" in the rulebook. Which should have been on their radar years ago, you see it regularly how cars pull into the pits and the official tracking keeps showing them as "in the race" and not "retired".
I just did a cursory search on the FIA's 2023 Sporting Regulations, and I couldn't find anything about the procedures through which drivers serve penalties, so...