Нет, это не является частью спецификации языка. Стандарт определяет, как должны разрешаться вызовы виртуальных функций, но не механизм, который реализует компилятор для достижения требуемых результатов.
Трудно предоставить «отрицательную» ссылку (т. Е. Там, где стандарт не не обязывает v-таблицу), но соответствующие части стандарта для вызовов виртуальных функций - 5.2.2 [expr .call] и 10.3 [class.virtual].