> if, for some bizarre reason, a meter gets redefined

Miles, feet and yards were tied to the meter in 1893 (https://en.wikipedia.org/wiki/Mendenhall_Order).

The meter got redefined 3 times since then (https://en.wikipedia.org/wiki/History_of_the_metre#Summary_o...)