13.4 2단계 오라클: 논리적/의미적 유효성 검사 (Semantic Consistency Oracle)