13.3 1단계 오라클: 구조적 유효성 검사 (Syntactic Validation Oracle)