저자는 서비스 플릿을 위한 증거 기반 계약 인텔리전스를 구축하도록 설계된 시스템인 Phebs scale gate를 검증하기 위한 스무 번의 시도를 설명합니다. 이러한 시도는 반복적인 테스트가 아니라 복잡한 데이터 프로필과 운영 시나리오에 대해 시스템을 엄격하게 검증하는 연습이었습니다. scale gate는 2백만 개 이상의 파일 소유자를 가진 구조 프로필과 수십만 개의 고유한 데이터 블롭을 가진 의미 프로필이라는 두 개의 결정론적 저장소를 포함합니다. 검증 프로세스에는 고정된 규칙과 미리 정의된 결과로 콜드 컨버전스, 리소스 압박, 복구와 같은 시나리오가 포함됩니다.이러한 검증 의식은 네 가지 핵심 규칙에 의해 지배됩니다. 환경 조작을 방지하기 위해 입력을 동결하고, 감사 가능한 결과를 보장하기 위해 결정을 사전에 마감하며, 투명성을 위해 소유권이 아닌 증거를 보유하고, 모든 중단을 새로운 시도와 식별자가 필요한 실패로 정직하게 처리합니다. 이 프로세스는 검토에 대한 승인과 실행에 대한 승인을 분리하여 결함을 조기에 발견합니다. 실패는 잠재적인 통과가 아니라 분류되지 않음 또는 영수증 누락으로 분류됩니다.이전 시도에서는 바인딩 실행 파일, 개인 서명 자료의 잘못된 처리, 잘못된 코드 버전에 대한 서명과 같은 다양한 프로토콜 실패가 드러났습니다. Scale은 또한 정상적인 작업자가 취소되는 동기화 버그와 예상치 못한 검증 오류로 이어지는 구성 요소 상호 작용과 같은 미묘한 결함을 노출했습니다. 입력 제한이 잘못 적용된 동결된 계약 모순은 정확한 계약 정의의 중요성을 강조했습니다. 계측은 소스 획득에 과도한 시간이 소요되는 것과 같은 성능 병목 현상을 식별했습니다.구조 프로필은 완료했지만 의미 프로필은 실패한 부분적인 성공조차도 분류되지 않은 것으로 기록되어 증거 기반의 완전한 주장만이 통과를 구성한다는 것을 강화했습니다. 후속 시도는 증거 경로의 격차를 더욱 노출하여 수정된 코드가 누락된 레코드를 소급하여 생성할 수 없다는 점을 강조했습니다. 저자는 의식이 결함 발견과 인식론적 규율을 제공하여 저렴하고 지속적인 테스트를 보완하는 엄격하고 비용이 많이 드는 프로세스를 통해 주장을 방어할 수 있다고 주장합니다. 신중하게 기록된 불완전한 게이트 상태는 조기에 선언된 성공보다 더 큰 의미를 갖습니다.