Q> Именно компиляторы, или любые производимые бинарники? Он как-то должен детектить, что сбираемая программа — компилятор?

Он может делать всё что посчитает нужным. Например конкретно в компиляторы вставляться целиком, а в подходящие программы — частями.

ЭФ>>Никакие они не открытые.

Q> эта процедура [1] — везде одинаковая. По-твоему, никакие языки не открытые?

можно сделать всю цепочку из исходников,
нижний уровень которой — загрузчик байтов, который вводится с текстового дампа байтов для памяти и байты должны верифицироваться вручную.

А если такого нет, то тебе/вам придётся каждую новую версию бинарного компилятора, выкладываемого Микрософтом,
перепроверять по-новой перед использованием.

Q> Именно компиляторы, или любые производимые бинарники? Он как-то должен детектить, что сбираемая программа — компилятор?

Он может делать всё что посчитает нужным. Например конкретно в компиляторы вставляться целиком, а в подходящие программы — частями.

Ты, наверное думаешь, что "я поменяю чуть-чуть, он не задетектит и целиком не вставится". Но гарантий никаких нет.
Как только ты что-то поменяешь, получится другой бинарник и несовпадение его по байтам уже ничего не будет ни опровергать ни доказывать.

ЭФ>>Никакие они не открытые.

Q> эта процедура [1] — везде одинаковая. По-твоему, никакие языки не открытые?

можно сделать всю цепочку из исходников,
нижний уровень которой — загрузчик байтов, который вводится с текстового дампа байтов для памяти и байты должны верифицироваться вручную.

А если такого нет, то тебе/вам придётся каждую новую версию бинарного компилятора, выкладываемого Микрософтом,
перепроверять по-новой перед использованием.