Проверяется, и это первый вопрос по таким спорам — часто самый результативный. Эксперт восстанавливает сборочную среду, собирает переданный текст и сравнивает результат со спорной программой.
Сравнение начинается с измерения собственной погрешности: одну и ту же сборку выполняют дважды с одинаковыми настройками и ещё раз с изменёнными. Так получают уровень шума — величину расхождений, не связанных с содержанием кода. Дальше сопоставляют устойчивые признаки: строки и сообщения, состав вызываемых функций системы и библиотек, структуру данных. Состав функций и поведение программы к устойчивым не относятся: их меняет оптимизатор.
Вывод «переданное не является исходным текстом» делают не из неудачной сборки, а из положительно установленного факта — например, из отсутствия функции, которая в спорной программе работает. Если материалов не хватает, эксперт пишет, что вопрос не решается, и называет, чего недостаёт.