著者は、サービスフリート向けの証拠に基づいた契約インテリジェンスを構築するために設計されたシステムであるPhebs scale gateを検証するための20回の試みについて説明しています。これらの試みは反復的なテストではなく、複雑なデータプロファイルと運用シナリオに対してシステムを厳密に検証する演習でした。scale gateは、200万以上のファイルオーナーを持つ構造プロファイルと、数万のユニークなデータブロブを持つセマンティックプロファイルの2つの決定論的なリポジトリを含みます。検証プロセスには、コールドコンバージェンス、リソースプレッシャー、リカバリーなどのシナリオが含まれ、固定されたルールと事前に定義された結果があります。これらの検証セレモニーは、4つの主要なルールによって管理されます。環境操作を防ぐための入力のフリーズ、監査可能な結果を保証するための決定の事前クローズ、透明性のためのカストディではなく証拠の保持、そして新しい試みと識別子を必要とするすべての停止を正直に失敗として扱うことです。このプロセスは、レビューの承認と実行の承認を分離し、早期に欠陥を検出します。失敗は、おそらく合格ではなく、未分類または領収書なしとして分類されます。以前の試みでは、実行可能ファイルのバインディング、プライベート署名資料の不適切な処理、および誤ったコードバージョンに対する署名に関する問題など、さまざまなプロトコル障害が明らかになりました。Scaleはまた、正常なワーカーがキャンセルされる同期バグや、予期しない検証エラーにつながるコンポーネント間の相互作用などの微妙な欠陥も露呈しました。入力制限が誤って適用されたフリーズされた契約の矛盾も、正確な契約定義の重要性を強調しました。インストルメンテーションは、ソース取得に費やされる過剰な時間などのパフォーマンスのボトルネックを特定しました。構造プロファイルは完了したがセマンティックプロファイルは失敗したなどの部分的な成功でさえ、未分類として記録され、証拠に基づいた完全な主張のみが合格を構成するということを強化しました。その後の試みは、証拠パスのギャップをさらに露呈し、修正されたコードは欠落したレコードを遡って作成できないことを強調しました。著者は、セレモニーは欠陥発見と認識論的規律を提供し、より安価で継続的なテストを補完する厳格でコストのかかるプロセスを通じて主張を擁護可能にすると主張しています。注意深く記録された不完全なゲートステータスは、時期尚早に宣言された成功よりも多くの意味を持ちます。