1276.104 상태 정의의 형식 검증