검증 하네스
모델 호출 사이에 코드를 삽입해 추출된 사실을 원문과 대조하고, 산술 계산·출력 제약·금지 선택을 자동 검사하는 실행 구조입니다. 생성 결과를 그대로 신뢰하지 않는 것이 핵심입니다.
