Автор описывает двадцать попыток валидации гейта шкалы Phebs, системы, предназначенной для построения основанного на доказательствах контрактного интеллекта для сервисных флотов. Эти попытки были не повторяющимися тестами, а строгими проверками системы на сложных профилях данных и операционных сценариях. Гейт шкалы включает два детерминированных репозитория: структурный профиль с более чем двумя миллионами владельцев файлов и семантический профиль с сотнями тысяч уникальных блоков данных. Процесс валидации включает такие сценарии, как холодная конвергенция, нагрузка на ресурсы и восстановление, с фиксированными правилами и заранее определенными исходами.Четыре ключевых правила регулируют эти церемонии валидации: замораживание входных данных для предотвращения манипуляций с окружающей средой, заблаговременное закрытие решений для обеспечения проверяемых результатов, сохранение доказательств, а не владения, для прозрачности и честное рассмотрение всех остановок как неудач, требующих новых попыток и идентификаторов. Процесс разделяет авторизацию для проверки от авторизации для выполнения, выявляя дефекты на ранней стадии. Неудачи классифицируются как неклассифицированные или отсутствующие квитанции, а не как вероятные прохождения.Предыдущие попытки выявили различные сбои протокола, включая проблемы со связыванием исполняемых файлов, неправильное обращение с материалами для частного подписания и подписание против неверных версий кода. Шкала также выявила тонкие дефекты, такие как ошибки синхронизации, приводящие к отмене работоспособных рабочих процессов, и взаимодействие компонентов, приводящее к неожиданным ошибкам валидации. Противоречие замороженного контракта, когда ограничения на ввод были применены неправильно, также подчеркнуло важность точного определения контракта. Инструментарий выявил узкие места в производительности, такие как чрезмерное время, затрачиваемое на получение исходного кода.Даже частичные успехи, такие как завершение структурного профиля, но провал семантического, были задокументированы как неклассифицированные, подтверждая, что только полное, основанное на доказательствах утверждение считается прохождением. Последующие попытки еще больше выявили пробелы в пути доказательств, подчеркнув, что исправленный код не может ретроактивно создать недостающие записи. Автор утверждает, что церемонии обеспечивают обнаружение дефектов и эпистемическую дисциплину, делая утверждения защищаемыми посредством строгих, дорогостоящих процессов, которые дополняют более дешевые, постоянные тесты. Незавершенный статус гейта, добросовестно зафиксированный, имеет большее значение, чем преждевременно объявленный успех.