정보이론적 목적함수
정보이론적 목적함수는 하니스 개정이 생성하는 실행 추적의 정보량·처리 효율성·재사용 가능성을 정량화하는 가설적 목표로서, 선택된 개정이 추적의 유용성을 통계적·엔트로피 관점에서 개선하는지를 평가한다. 본문에서는 RHI의 동작이 이와 유사한 암묵적 최적화 목표를 향해 작동한다고 형식화했다. 이 관점은 왜 소수 반복으로도 추적 품질이 오르는지를 설명하는 근거로 활용된다.