redacted-reporting

검증 과정에서 발생한 세부적 트레이스나 오라클 목표를 숨기고 요약된 증거만 최적화 측에 전달하는 절차이다. 이 방식은 최적화가 검증 데이터를 직접 암기하는 것을 방지하면서도 실패 모드에 관한 유용한 단서를 전달한다. SkillHone에서는 최적화와 평가의 권한 경계를 유지하는 주요 메커니즘으로 사용되었다.