Чем проверяется обещание

Написать утверждение дёшево, а проверить его дорого. Способы различает то, что покупатель может открыть, запустить или прочитать, не принимая слов на веру.

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

Степень решает, кому доказательство пригодится. Стенд, роняющий сборку, защищает и того читателя, который никогда не откроет ни одного файла.

• Предложение

  Написано продавцом, не проверено никем, меняется молча.

• Открытый исходник

  Прочтёт любой, кто готов читать, а таких немного.

• Повторяемый замер

  Страница показывает, что отвечает ваш браузер на вашей машине.

• Стенд, роняющий сборку

  Поведение уехало, и прогон краснеет до всякой отгрузки.

Пустая клетка значит, что у способа такой строки нет, а не что способ плох. Средство, ничего не обещавшее, ничего и не должно доказывать.

Пропускают обычно четвёртую колонку. Обещание, поломку которого некому увидеть, тихо перестаёт быть правдой.

Три из четырёх ниже не требуют ни установки, ни учётной записи.

Ни одна из них не отправляет ваши показания наружу. Проверка на этом сайте читает значения в вашем браузере и там же их оставляет.

• Проверка отпечатка

  12 значений, прочитанных в вашем браузере, и ни одного запроса наружу.

• Проверка утечек

  Что уходит мимо прокси, прочитанное на вашей связи.

• Самопроверка в программе

  29 замеров внутри профиля, без обращений за пределы страницы.

• Реестр обещаний

  Строка на обещание: что обещано, какой файл, какой стенд.

«Прошло или не прошло» выглядит как вся история, но ею не является. Третье состояние нужно для прогона, где ничего не провалилось, а решающую сверку пропустили.

Выходит оно тем же ненулевым кодом, что и провал. Приёмка, зовущая доказанным то, чего не измерила, не стоит ничего.

• Принято

  Всё прошло, и два профиля сверены друг с другом.

• Провал

  Что-то отработало и вернулось неверным.

• Не доказано

  Ничего не упало, а сверку, показывающую живость правок, пропустили.

Движок приезжает со списком того, что умеет, и по этому списку программа выбирает доводы запуска. Объявить умение, которого в сборке нет, хуже, чем не объявить ничего: поля тогда ответят хозяйскими значениями.

Поэтому опись снимается с дерева исходников, а не копируется из кода. На каждое умение читается один файл и ищется один признак, и умение без признака в опись не попадает.