1284.79 정적 어설션을 활용한 상태 구성 검증