Well, my point is more abstract, namely that "real marathon" is a fiction, so the precise rules is the only thing we got, and according to these rules it is not a world record.