연구 감사에서 가장 위험한 단어는 FAIL이 아니라, 확인하지 못한 것을 PASS처럼 취급하는 것입니다.

세 가지 상태를 섞지 않는다

PASS는 정의된 검증을 통과했다는 뜻입니다. FAIL은 그 검증 계약을 위반했다는 뜻입니다. UNKNOWN은 현재 증거로는 확인할 수 없다는 뜻입니다. UNKNOWN은 전략이 틀렸다는 뜻도 아니고, 안전하다는 뜻도 아닙니다.

왜 보수적으로 기록하는가

예를 들어 현재 상태 파일이 PASS여도 그것만으로 독립 SQL 재감사까지 PASS했다는 뜻은 아닙니다. 수정 보고가 존재해도 fault injection이나 end-to-end 검증이 끝나지 않았다면 “수정 보고됨, 재감사 미완료”로 남깁니다.

EVIDENCE POLICYDIRECT STATE READ ≠ INDEPENDENT RE-AUDIT
FIX REPORTED ≠ FIX VERIFIED
UNKNOWN ≠ PASS

이 원칙의 비용

진행 상황이 느리게 보일 수 있습니다. 대신 나중에 결과가 좋아졌을 때 과거의 불확실성을 지워버리는 일을 막을 수 있습니다. 연구 기록의 목적은 성공 스토리를 만드는 것이 아니라, 어떤 결론까지 증거가 허용하는지 경계를 남기는 것입니다.