암호 표준의 독립 구현체들은 동일한 기지답안(known-answer) 결과를 재현해야 하지만, 이 합치가 의미를 가지려면 코퍼스와 버전, 공개 인터페이스, 예외 사항, 증거가 정확히 명시돼야 한다. 이 연구는 NIST ML-KEM의 세 공개 구현체(@noble/post-quantum 0.7.0, liboqs 0.16.0, Go 1.26.4)를 고정된 공개 ACVP 코퍼스에 대해 검증하는 제품 중립적 재현성 프로토콜을 정의했다. 3회 반복 실험에서 2,160개 기준 레코드 전체가 NIST 오라클 및 Go의 사전 선언 역량 경계와 완전히 일치했고, 실행 가능한 모든 쌍별 비교에서도 완전 일치를 기록했으며 기준 실패나 어댑터 오류는 전무했다. 다만 이 결과는 저자 실행 범위 내의 재현 가능성만 입증할 뿐 인증, 완전한 정확성, 부채널 저항성, 프로덕션 보증을 의미하지 않으며, 공개 ML-KEM 패키지 간 결정론적·검증 테스트 표면이 실질적으로 다르다는 표준 격차도 드러냈다.

• •NIST ML-KEM 세 공개 구현체(@noble/post-quantum, liboqs, Go)를 고정 ACVP 코퍼스로 검증하는 재현성 프로토콜 정의.
• •2,160개 기준 레코드 전체가 NIST 오라클과 Go 역량 경계에 완전히 일치.
• •실행 가능한 모든 쌍별 비교에서 기준 실패·어댑터 오류 없이 완전 합치.
• •공개 ML-KEM 패키지들이 서로 다른 검증 테스트 표면을 가지는 표준 격차를 지적, 인증·생산 보증은 별개 문제로 제시.