ARCHIVE · 아카이브
Hard Problems · 난제와 탐구
-
고전 의서 후보를 줄였지만 발견이라 부르지 않았다
고전 의서의 처방명과 구절 후보를 검색 가능한 목록으로 좁혔지만 전체 문헌군과 기존 복원연구 대조가 끝나지 않았다. 새 처방이나 문헌 발견은 확인되지 않았다.
-
Narrowing classical medical-text candidates without calling them discoveries
Formula-name and passage candidates were narrowed into a reviewable list, but comparison against the full corpus, prior restoration research and expert readings is incomplete. No new formula or…
-
13원소 witness는 확인했지만 전역 증명은 끝나지 않았다
B2/Z100 탐색에서 13원소 구성을 내부 검사기로 확인했지만, 14원소 전역 불가능성을 닫는 독립 인증서나 전체 재실행은 없다. 공식 해결 수는 0이다.
-
A 13-element witness, not a global proof
An internal checker validated a 13-element B2/Z100 construction, but no independently checkable certificate or complete outside replay closes the global 14-element case. The number of official solutions remains…
-
KORE Gate-7 실행기를 별도 프로젝트로 세지 않은 이유
봉인 계산을 체크포인트 단위로 실행하고 계약 오류를 진단한 내부 기록은 있다. 소유권과 KORE 계보 관계가 확인되지 않아 독립 프로젝트로 세지 않았다.
-
Why I did not count the KORE Gate-7 runner as a separate project
An internal record supports checkpointed execution and contract-error diagnosis for a sealed computation. Ownership and its place in the wider KORE lineage remain unresolved.