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

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

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

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

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

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

• Открытый код

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

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

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

• Проверка, роняющая сборку

  Поведение уехало, и сборка краснеет раньше, чем дойдёт до вас.

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

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

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

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

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

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

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

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

• Автопроверка отпечатка в программе

  До 37 замеров внутри профиля, без обращений за пределы страницы. Открывается пунктом «Проверить отпечаток» в меню профиля.

• Проверьте каждое обещание

  Строка на обещание: что обещано, где это в программе и чем проверено.

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

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

• Принято

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

• Провал

  Что-то отработало и ответило неверно.

• Не доказано

  Ничего не упало, а сверку, которая и доказывает правки, пропустили.

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

Поэтому опись мы снимаем с того дерева, из которого собран движок, а не переписываем из списка. Умение, следа которого там нет, в опись не попадает, как бы ни хотелось его назвать.