B> МНК2, который сравнивается с МНК. Если всё совпало — бинарь соответствует сорсам.

Нет. В этом утверждении логическая ошибка. И был proof of concept компилятора который её демонстрирует.
Это если сравнение по контрольной сумме и размеру.

А про побайтную проверку я выше

Автор: Эйнсток Файр
Дата: 09.06.23

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

B> МНК2, который сравнивается с МНК. Если всё совпало — бинарь соответствует сорсам.

Нет. В этом утверждении логическая ошибка. И был proof of concept компилятора который её демонстрирует.
Это если сравнение по контрольной сумме и размеру. Да даже и если побайтное сравнение — всё равно.
Нужно знать, что именно байты делают не анализом исходников, а анализом бинарника.

А про побайтную проверку я выше

Автор: Эйнсток Файр
Дата: 09.06.23

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