Здравствуйте, Лазар Бешкенадзе, Вы писали:

ЛБ>Вызов stop() в этом тексте — UB.

Нет там такого утверждения.

Возможно, в тексте не хватает чёткости формулировок, что приводит к разночтениям. Как по мне, то смысл написанного как раз в том, что UB является результатом pure virtual call. И объясняется, откуда этот pure virtual call берётся.