Execution-based Validation

환경을 깨끗한 초기 상태에서 빌드하고, 기준 풀이를 실행한 뒤, 최종 상태에서 검증기가 통과하는지 확인하는 절차입니다. 실패 trace를 바탕으로 환경·풀이·검증기·지시문 중 원인 산출물만 고쳐 유효한 구성요소의 불필요한 재생성을 피합니다.