다음 중 총계정원장의 기록이 오류가 있는지 여부를 파악하는 검증기능을 갖는 것은?