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

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

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

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

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

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

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

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

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

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

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

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