실행 가능한 계약
단순한 문서나 설명을 넘어 기계가 검증하고 강제할 수 있는 형태의 명세서이다. 아키텍처 설계 시 제약 조건과 성능 목표를 코드로 정의하여 실제 구현이 설계 의도와 일치하는지 자동으로 확인할 수 있게 한다.