검증 엔진
검증 엔진은 정규화된 사실과 근거 텍스트를 입력으로 받아 수학적·논리적 일관성을 자동으로 검증하는 소프트웨어 모듈이다. 산술 계산, 단위 일관성, 회계 항목 간 균형 여부 등을 명시적 규칙과 재연 가능한 연산으로 검사하고 결과에 대한 감사 추적을 생성한다. 금융 도메인에서는 계산 오류와 문서간 모순을 자동으로 드러내 신뢰 가능한 결론을 제공하는 역할을 한다.
