도메인 특화 평가자
각 응용 분야별로 성공 조건과 허용 오차를 규정한 규칙 기반 비교기이다. 예컨대 비디오 편집은 시작시간·지속시간 ±100 ms 허용, 색상은 포맷 정규화된 퍼지 매칭을 적용하며, 회로는 진리표 동등성으로 검증한다.