> Можно сказать объективность - объект не зависит от субъектов.Если бы это было целью, то не было бы необходимости во всём этом бутстрапе -- скачал себе любой компилятор в бинаре и скомпилировал им. Объективность не существует, и не только в вопросах бутстрапа, она вообще не существует, объективность -- это фикция. Слово "объективность" придумали узколобые снобы, которые не могли представить себе точки зрения отличной от их собственной.
Этот Mes, на деле, делает не объективность, а немного иное. Или совсем другое. Это решение задачи бутстрапа, причём не какое-то фиксированное и законченное решение -- нет, гораздо интереснее и полезнее. Это грядка отдельных кусочков, из которых ты можешь собрать решение задачи бутстрапа, причём на любой случай. Ты можешь при этом заменить любой кусочек mes на свой -- не такая уж это и проблема. Mes берёт на себя существенную часть работы, на случай если тебе приспичить отбустрапить компилятор, но при этом он даёт и широчайшую гибкость: если твоя задача избавиться от закладок, то на любую модель угроз, которую ты придумаешь, ты сможешь придумать способ как минимальными усилиями её обойти, сваливая максимум работы на Mes. Ты можешь придти к конечному результату многими способами. И разные способы тебе будут давать разные бинари.
Но тут есть одно "но". Ты можешь получить два разных статически собранных elf'а, которые будут представлять собой gcc-8.2. А вот потом, ты можешь каждым из этих elf'ов скомпилировать gcc-8.2 и получить ещё два бинаря. И вот эти бинари ты можешь сравнить между собой побайтово и даже получить осмысленные результаты. Я может не совсем понимаю, что ты подразумеваешь под "объективностью" -- по-моему тут никакой объективностью и не пахнет, потому что любой минорный патч на компилятор может изменить результат компиляции -- в этом-то и суть накладывания патчей, надо чтобы программа работала иначе, не так как она работает без патча. Но не важно, что я там не понимаю, поскольку я понимаю, что это позволит искать закладки.
Mes при этом не может дать тебе способа как обойти _все_возможные_ закладки -- на любую хитрую дырку, как известно, найдётся свой зазубренный штопор. И ничто не может дать. Но Mes радикально упрощает создание хитрых дырок для детектирования штопоров, которые в них не влазят. А это значит, что такие тестовые дырки будут чаще создавать, и долгосрочное существование особых штопоров будет под серьёзным вопросом.
