23. For World Records set over multiple distances in the same race:
(a) A race shall be stated to be over one distance only.
(b) However, a race based on the distance covered over a given time
may be combined with a race over a fixed distance (for example,
1 Hour and 20,000m - see Rule 164.3).
(c) It is permissible for the same athlete to accomplish any number
of Records in the same race.
(d) It is permissible for several athletes to accomplish different
Records in the same race.
(e) However, it is not permissible for an athlete to be credited with
a Record at a shorter distance if he did not finish the full distance
of that race
Reading this, could they state that Friday's mile race is a 1500, but race the full mile? 23a says that you have to state a distance, but it doesn't say you have to state the longer distance. Rule 23e says you can't set the record at a shorter distance if you don't finish the "full distance of that race". Presumably, the "full distance of that race" is the stated distance of the race.