3.4.2 로직/연산 기반 정답지 (Logic/Calculation-based Ground Truth) 3.4.2 로직/연산 기반 정답지 (Logic/Calculation-based Ground Truth) 3.4.2.1 수학적 연산 결과 및 코드 실행 결과의 일치 여부 3.4.2.2 시나리오 기반의 상태 전이(State Transition) 검증