HARD PROBLEMS · 2026.08.20 · INDEPENDENT RECONSTRUCTION
공개된 사양에서 증명 트리 일곱 개를 다시 만들었고, 총 299,903,736개 노드와 공개된 파일별 SHA-256 값이 7/7 일치했다. 새 정리를 증명하거나 원본 ZIP을 복구한 작업은 아니다.
TheoremDB의 R6088–R6090은 정적 인증서의 구조와 구성요소 해시를 공개한다. 그 설명을 입력으로 삼아 몫 카탈로그와 lift tree를 처음부터 다시 생성했다.
같은 숫자보다 같은 바이트를 확인했다
일곱 프로필에서 204,360개 원시 점유 벡터를 1,341개 affine orbit으로 줄였다. 별도로 구현한 검사기가 카탈로그를 다시 만들었고, 재구성한 일곱 트리를 전부 순회했다. 노드 합계뿐 아니라 R6090에 공개된 구성요소 해시와 파일별로 비교했다.
검사기가 단순히 모든 입력을 받아들이는지도 확인했다. 한 트리의 예약 비트를 고친 음성 대조군은 예상대로 거절됐다. 13원소 witness는 ordered difference를 직접 열거해 별도로 검사했다.
일치가 뜻하지 않는 것
구성요소의 해시 일치는 재구성한 트리 파일이 공개된 값과 같은 바이트라는 뜻이다. 공개되지 않은 원본 아카이브의 나머지 파일, 순서, 압축 설정과 메타데이터까지 복구했다는 뜻은 아니다. 이 작업은 공개 증명 객체의 재현성 검사이며, 별도의 공식 인정이나 새로운 난제 해결 기록도 아니다.
Project record
날짜: 2026-08-20
활동: 공개 사양에서 몫 카탈로그와 정적 증명 트리 독립 재구성
내부 근거: 생성기·독립 검사기·로그·manifest·negative control
외부 검증: R6090이 공개한 일곱 구성요소의 노드 수와 SHA-256 값에 7/7 일치
최종 결과: 공개 증명 객체의 독립 재구성 완료; 새 정리·원본 ZIP 복구·공식 인정은 없음
권리: 자체 코드 MIT, 자체 문서·생성 자료 CC BY 4.0; 외부 TheoremDB 문구와 코드는 재배포하지 않음