Разрешено ли копирование / перемещение elision, чтобы программа, использующая удаленные функции, имела правильный формат?

Он не создает плохо сформированную программную сборку. Он полностью избавляется от ссылки на удаленную функцию. Соответствующая формулировка предложения находится здесь:

[dcl.init] пуля 17.6

Если выражение инициализатора является prvalue, а версия cv-unqualified исходного типа является тем же классом, что и класс назначения, выражение инициализатора используется для инициализации объекта назначения. [Пример: Т х = Т (Т (Т ())); вызывает конструктор по умолчанию T для инициализации x. ]

Пример еще больше усиливает это. Поскольку он указывает, что все выражение должно свернуться в единую конструкцию по умолчанию.

Следует отметить, что удаленная функция никогда не используется odr, когда копии исключаются из-за категорий значений, поэтому программа не ссылается на нее.

Это важное различие, поскольку другая форма исключения копирования по-прежнему odr-использует c'tor копирования, как описано здесь:

[basic.def.odr] / 3

... Конструктор, выбранный для копирования или перемещения объекта типа класса, используется odr, даже если вызов фактически отменен реализацией ([class.copy] ...

[class.copy] описывает другую форму допустимого (но не обязательного) исключения из копирования. Что, если мы продемонстрируем с вашим классом:

Thing foo() {
    Thing t;
    return t; // Can be elided according to [class.copy.elision] still odr-used
}

Должен сделать программу некорректной. И GCC жалуется на это, как и ожидалось.

И кстати. Если вы думаете, что предыдущий пример в онлайн-компиляторе - это фокус фокусников, а GCC жалуется, потому что ему нужно вызвать c'tor перемещения. Посмотрите, что происходит, когда мы даем определение.