CrownyDoc 문서함 견적서 제안서 도면 + 새 문서 문서편집기 프로젝트문서 기술백서

기타 2026-07-07 25KB 읽기 26분

5자산 순차 릴리즈 — 현황감사 종합 (2026-07-07)

개요

사용자 지시: 한선씨코드 / RPN / 크라우니 4상균형3진 기계어(TOAU) / 27방사형 셀코어 / 의미어코드를 순서대로 배포·공개(제품화). 병렬 감사 6종(자산 5 + 릴리즈채널 1, sonnet Explore) 완료. 본 문서는 갭 리스트 SSOT.

릴리즈 채널 결론 (재사용 우선)

hansunc.crowny.org:9763 (현재 다운) — 한선씨+TOAU+RPN 공개 사이트 ~90% 완성: index/playground/docs(12섹션·ISA729)/spec/tutorial/visualizer(TOAU)/download/community, 16개국어 i18n. 경로 /Users/ef/crowny-hansunc. 재기동+launchd 상시화가 릴리즈 1~3 최단 경로.
download.crowny.org:8350 (라이브) — 멀티플랫폼 배포 인프라 확립(crownyos-install.sh+tar.gz+sha256 전례). 단 crowny-hanseon-dist는 linux/만 존재, macOS 빌드 없음.
pkg.crowny.org:4873 (라이브) — Verdaccio 실등록 패키지는 @crowny/quantum 1개뿐(README/LICENSE 갖춘 템플릿). CROWNY_VERSIONS.md의 나머지는 로컬 스캔일 뿐 미게시.
docs.crowny.org=CrownyDoc 제품(스펙 게시처 아님). code.crowny.org:9900=내부 개발콘솔(허브 부적합). kps.crowny.org=개인 프로필 점유(KPS코드와 충돌 — kpscode.crowny.org 등 별도 필요).
셀코어·의미어코드 전용 도메인 없음 → hansunc 구조를 템플릿으로 신규(selcore/semcode.crowny.org 등).

자산별 갭 (우선순위순)

1) 한선씨코드 — 동작 건강, 배포체계 결격

[치명] 문서·pkg/package.json 빌드명령이 macOS에서 링크 실패(-framework Security -framework CoreFoundation 누락) — 외부인 100% 실패
[치명] pkg build 스크립트가 구식 hanseonc.c 빌드(정본=hanseonc_high.c와 불일치)
[치명] @crowny/crownyc verdaccio·npmjs 모두 404 — 실제 게시 이력 없음
[상] 버전 5중 불일치: REPL "1.0" / --version "10.3.0" / package.json "11.0.0" / CLAUDE.md "v10.0" / 잔존 9.4.0 tgz. CHANGELOG v10.0.0 정지
[상] libs 28,055개 중 실 표준lib 24개(화이트리스트) — 나머지는 도메인 예제, 공개 시 오인
[상] 공개 배포 사이트: hansunc 재기동으로 해결. download.crowny.org는 개인 백업용 페이지
[중] LICENSE 파일 부재(package.json "MIT" 문구뿐), 바이너리 변형 40여개 산재, 한선씨 vs 한선어(hanseono 음성표기) 브랜드 충돌
스모크: 헬로월드 OK. 테스트 자산 129+, golden harness, smoke-test.sh(단 이것도 프레임워크 누락 버그)

2) RPN — 컴파일 경로 정상, 킷 껍데기

[치명] crowny-rpnkit의 진입점 rpn숙련.sh·의미어rpn.sh 디스크에 실재하지 않음(README/SSOT가 가리키는데 없음). 드릴/생성물/코어 빈 디렉토리 ※메모리 기록과 상충 — 착수 시 재확인
[상] high2rpn.sh = 사실상 라인 치환기: @본문 점프 가드 자동삽입 없음, 중첩 호출식 미변환(no-op 함정과 겹침). .끝N 라벨 버그는 수정 확인됨
[상] 외부인용 튜토리얼 부재(전부 AI 독자 상정+절대경로 하드코딩), LICENSE 부재
[중] 생태계 RPN 전환율 ~13%(161/1215)
정상: hanseonc_std·hanseonc_rpn 스모크 OK, 예제검증.sh 19/19 PASS, RPN사용법.md 품질 높음, 학습DB rpn 80,086줄(55%)

3) TOAU/ISA729 — 스펙-구현 역전(최심각)

[치명] opcode 충돌 실사례: 694=문서 VERSION vs 코드 SQL_WHERE. 163/249 6-trit 인코딩 중복. 172~224 하드웨어 opcode는 인코딩 공식 위반
[치명] ISA729_FINAL.md가 "구현 0" 허위(실측 crownyc.c switch case 924개). 재생성 원본(isa729_opcodes.py) 유실 — merge_isa.py 파이프라인 단절
[상] 정의 개수 제각각(223/294/실측 924+), 스펙↔구현 자동 정합 테스트 전무
[중] opcode 이름 매핑 315/367개뿐(트레이스 ???), 미정의 opcode silent no-op, 버전 v0.2 vs v11 이중
[하] 독립 역어셈블러 부재, C crownyc vs Rust crowni-tvm 이중 스택(레퍼런스 VM 미지정)
유일 경로: crownyc.c 실물 파싱 → 스펙 역생성기 신작

4) 27방사형 셀코어 — 두 구현체 병존

[치명] "셀코어" 이름 아래 상호 비호환 2개: std/셀코어.han(규칙엔진 2431줄·18모듈, 양사본 diff 0) vs cellcore/(27방사형 슬롯DB+GUI+API, 5/22 정체, core.crowny.org)
[상] CLAUDE.md 문서 드리프트(1414줄·15모듈로 기재, 실물 2431줄·18모듈: Q온톨로지/R링크유형/S체인질의 미문서화)
[상] crowny-butler 비git — 방사형 핵심(방사형셀코어.한선 241줄, 의미어분석기.한선 오늘 수정)이 이력 없이 유동
[상] @crowny/cell-core 패키지에 README/LICENSE 실체 없음(files에 명시만)
[중] 규칙저장소.dat 33,488줄 스키마 문서 없음+내부 경로 노출 위험(새니타이즈 필요), "공유프라임 23종" 코드 미확인
스모크: 셀코어 임포트 컴파일 OK(17,618토큰→47,195큐브)

5) 의미어코드 — 본체 건강, 라이선스 결격

[치명] LICENSE/NOTICE 전무 — Concepticon(CC BY 4.0)+GWA+OMW 저작자 표시 의무 미이행. BabelNet/KorLex(연구전용) 혼입 여부 재검증 필요
[상] 공개 채널 부재(게이트웨이 라우트 없음), 4,164개 전체 왕복 회귀 스위트 부재(기록은 소수 사례+별도 190개념 의미망 수렴)
[중] v2_한글.psv 영문 fallback 27건(0.65%), 레거시 v1 psv·bak 혼재
참고: "~20k"는 설계 목표(스펙 자체가 numerology 철회), 현 구현 4,164행=검증코어 신뢰등급 A. 컬럼 무결성 100%·중복 0
코드북 정본: /Users/ef/crowny-butler/libs/실어휘코드북v2.psv, v2_한글.psv

실행 계획 (순서 고정)

한선씨: 빌드명령 수정(문서+pkg scripts+smoke-test.sh) → 버전 단일화 → LICENSE → verdaccio 게시 → hansunc 재기동+launchd → macOS dist 빌드+download.html 연결
RPN: rpn숙련.sh/의미어rpn.sh 실체 확인·복원/재작성(예제검증 19케이스를 회귀로 흡수) → high2rpn 가드·중첩호출 보강+컴파일 게이트 → 외부인 튜토리얼 → hansunc 문서 편입
TOAU: crownyc.c 파서 기반 스펙 역생성기(한선씨로) → 충돌 opcode 재배정/문서 정정 → 정합 CI → hansunc spec/visualizer 갱신 게시
셀코어: 공식 구현체 결정(std/셀코어.han 유력) → 문서 갱신 → cell-core 패키지 README/LICENSE → 규칙저장소 새니타이즈 → 전용 도메인 신설
의미어코드: LICENSE/NOTICE(CC BY 표시) → fallback 27건 정제 → 전체 왕복 회귀 → 인코더/디코더 API+도메인 신설 → 게시

릴리즈 1 실행 결과 (2026-07-07 완료)

hansunc.crowny.org 라이브 복귀 + launchd 상시화 — com.crowny.hansunc.plist(KeepAlive), orphan(nohup) 정리 후 launchd 인수 확인. 로컬·도메인 200, /api/source(8MB 소스타르볼 3.7s)·/api/compile(플레이그라운드 한선씨→TOAU→실행) 라이브 검증.
빌드 체계 수리 — pkg/package.json build=make all(구식 hanseonc.c 폐기), toau_pack.c·hanseonc_high.c 동봉, root CLAUDE.md·smoke-test.sh의 맨 cc 명령에 플랫폼 링크 플래그 반영(macOS frameworks/Linux -lpthread).
LICENSE(MIT) — crownyc 루트+pkg 동봉, files 등재.
버전 단일화 — 언어 1.0(스펙 문서 정합) + 컴파일러 11.0.2: --version 문자열(구 10.3.0)·package.json·CHANGELOG·install.sh 일치. 정본·pkg 바이너리 재빌드(백업→스모크→교체).
pkg.crowny.org 실게시 — @crowny/crownyc 11.0.0(타 세션)→11.0.2(본 세션 정비판). npm install 왕복 검증(버전·LICENSE 확인). ※게시 함정: 스코프 매핑이 게이트웨이 경유 ECONNRESET → pkg/.npmrc(localhost:4873+crownyrel 토큰)로 해결, feedback 메모리+지식셀 #22140 기록.
잔여(후속): libs 28,055개 중 도메인 예제 물리 분리(examples/), 한선씨 vs 한선어(hanseono) 브랜드 충돌 해소(사용자 결정), macOS 바이너리 dist(crowny-hanseon-dist는 linux만 — install.sh가 소스빌드 방식이라 공개 차단 요소는 아님).

릴리즈 2 상태 갱신 (2026-07-07)

감사 시점 치명갭(rpn숙련.sh·의미어rpn.sh 부재)은 동시 세션이 09:52~10:03 복원 — 예제검증 22/22 PASS 재확인. rpnkit은 타 세션 활성 작업 중이므로 본 세션은 미개입. 잔여: high2rpn 고도화·외부인 튜토리얼·LICENSE·hansunc 문서 편입.

릴리즈 3 실행 결과 (2026-07-07 완료)

ISA729_IMPL.md 실측 스펙: crownyc.c exec_opcode() 역생성 — 구현 opcode 924(본표 924행 검수 일치), 이름 미매핑 567, QUICK_REF 충돌 38(694=SQL_WHERE 확인), 확장영역 729~945=195개, 플랫폼 변형 중복 20. 도구=tools/isa729_spec_gen.sh(.pl)+isa729_스펙생성.한선 동반(컴파일·자기검증 통과).
공개: hansunc.crowny.org/ISA729_IMPL.md (200) + spec.html 정본 링크. 구식 ISA729_FINAL.md·QUICK_REF.md에 레거시 동결 배너.
잔여(후속): 미매핑 567 명명, 미정의 opcode silent no-op→트랩, 독립 역어셈블러, 레퍼런스 VM 지정 문서화(C crownyc=사실상 정본).

릴리즈 4 실행 결과 (2026-07-07 — 기계 정비 완료, 결정 대기)

TVM CLAUDE.md 셀코어 섹션 실측 갱신(2431줄·18모듈 A~O+Q/R/S, 강화 블록 반영).
@crowny/cell-core: README.md+LICENSE(MIT) 실물 생성, npm pack 6파일 확인.
규칙저장소-스키마.md: 8레코드 타입(condition 27,846 등)·포맷 4변형 문서화, 내부 소스경로 1,604건 — 공개 전 새니타이즈 필수 경고, 방사형 3개소 현황표.
~~사용자 결정 대기~~ → 사장님 정정(2026-07-07): 셀코어=연산방식 코어, 27방사형 셀코어/DB=온톨로지형 데이터DB 도구 — 별개 자산이므로 "공식 선정" 질문 자체가 무효. 한선어(hanseono)=만국 소리표기 언어로 한선씨와 의도된 별개(브랜드 충돌 아님). 규칙저장소는 공개 대상 아님 — 정리·리스트업·폴더링 후 재검토로 전환. 배포는 npm이 아니라 한선씨 설치프로그램(맥/윈도우/리눅스/하드웨어직접 4종, ccp 압축기 기반) — npm 게시는 보조 채널로 유지.

릴리즈 5 실행 결과 (2026-07-07 완료)

실어휘코드북-NOTICE.md: Concepticon 3.4.0(CC BY 4.0)·GWA·PWN SemCor·OMW 소싱별 저작자 표시, 코드북=CC BY 4.0 계승. BabelNet/KorLex 혼입 재검증 0건 기록.
한글글로스 정제: 영문 fallback 27건 전량 한국어화(잔여 0 재검증, 행수 4,164 불변, .bak-glossfix 백업).
전수 왕복 회귀: 의미어왕복회귀.한선 — 4,164/4,164 PASS·주소충돌 0, Node.js 독립 재구현 교차검증 일치. 결과=data/의미어왕복회귀-2026-07-07.psv.
신규 VM 함정 발견·전파: 버퍼잘라 3인자=길이 아닌 절대 끝오프셋(주석 오기) — 메모리+가드레일 템플릿+지식셀 #22173 동시 갱신.
레거시 v1 코드북 이동 보류(22개 파일 참조, 의미어디코더.js 라이브 의존 — v2 이행 후). 잔여: 공개 API/도메인(사용자 결정).

2차 지시 실행 결과 (2026-07-07 오후 — 정의 정정 + 설치프로그램 + 규칙저장소)

한선씨 설치프로그램 4종(ccp 기반, npm 아님): 설치기.한선(네이티브 설치 로직) + ccp sx2 self-extract. 산출=crowny-hanseon-dist/설치/ → hansunc.crowny.org/dist/ 공개(전부 sha256 OK): macos-arm64(.command 611KB, E2E 2회 검증 — 설치본 crownyc 11.0.2 컴파일·실행 OK), linux-x64(6/21 기빌드 재패키징·명시), windows-x86(소스+빌드가이드 — crownyc.exe는 4수정 필요: usleep 매크로 순서·crownyc_jit dlfcn 가드·setsockopt 캐스트·SO_REUSEPORT), hardware raspberrypi/orinnx(온디바이스 빌드 스크립트, aarch64 크로스컴파일 clean 검증). download.html에 "ccp 설치판(권장)" 섹션.
/api/source 결함 수리: libs 글롭이 도메인 예제 28k(191MB)를 쓸어 담아 launchd timeout 500 → package.json files 화이트리스트 기반 tar로 교체(8MB/14,071파일→712KB/119파일, 도메인 200).
규칙저장소 정리(공개 아님): std/규칙저장소/ 8타입 분리(합계 33,488=원본 정확 일치)+by-source 상위20+INDEX.md. 발견: 중복 0, 사문참조 436건(1.3%), 현재 룰엔진 live 입력이 아니라 쓰기전용 로그, 웹모드인가() 보일러플레이트 2,467건 노이즈. 제안: lint/rule 21건 보존, 상위패턴→셀코어 룰엔진 브리지=다음 단계.
VM 함정 기록 정련: 버퍼잘라 3인자=끝오프셋(hanseonc_high.c 주석 오기 — 정본·pkg 주석 수리), "비영 오프셋 빈버퍼 버그"는 재현으로 오진 판명·정정. 길이(버퍼)=0/버퍼문자열 재변환/문자열버퍼 등 검증분만 가드레일·메모리 반영.

최종 공개 구조 확정 (2026-07-07 — 사장님 결정 "한선씨 산하")

셀코어·27방사형·의미어코드는 별도 도메인 없이 hansunc.crowny.org 산하 편입 완료 (도메인 200 검증):

/assets.html — 생태계 자산 허브(3자산 카드, 사장님 정의 그대로: 셀코어=연산방식 코어 / 27방사형=온톨로지형 데이터DB 도구 / 의미어코드=인터링구아 코드북)
/assets/selcore/ 셀코어.han(95KB)+모듈표 · /assets/radial27/ 방사형셀코어·방사형셀DB.한선+README · /assets/semcode/ 코드북v2·한글판(4,164행)+NOTICE(CC BY 4.0)+왕복회귀 결과
동반 한선씨/자산.한선 컴파일·실행 검증. docs/index 네비 연결. 함정 기록: public/assets/ 실디렉토리가 클린URL /assets와 충돌(index.html 폴백) → 링크는 /assets.html 명시.

이로써 5자산 전부 공개 완료: 한선씨(사이트+설치 4종+npm 보조) · RPN(사용법 카드 25검증) · TOAU(ISA729_IMPL 924) · 셀코어+27방사형+의미어코드(/assets).

후속 큐 전체 완료 (2026-07-08~09)

crownyc 윈도우 이식 4수정 + 리눅스 musl 정적 재빌드: 전부 #ifdef 가드(맥·리눅스 무영향 기준선 검증), crownyc.exe 등 3종 PE32+ 빌드, dist 교체·.ccp 재배포(도메인 바이트 일치), npm 11.0.3. 신규 함정: 맥 바이너리 cp 제자리교체→SIGKILL137(mv 필수, 메모리 등재).
규칙저장소→셀코어 룰엔진 브리지: 51룰(lint19+rule2+상위30) 브리지룰셋.psv, 룰엔진실행 데모 3/3 발화 재검증. 슬롯 충돌 설계결함 발견·수정.
high2rpn 고도화: shunting-yard 중위→후위 신규 구현, @본문점프 자동가드(기존가드 보존), 중첩호출 임시변수 변환, 컴파일 게이트("변환됨=컴파일 보장됨"), 회귀 14/14 PASS(직접 재실행).
ISA729 명명 완결: 미매핑 567→0(본표 재계수 0), 충돌 0(duplicate-case 컴파일 증명), trace ??? 제거, 공개 스펙 갱신(114,404B 도메인 200), npm 11.0.4.

잔여(선택): 윈도우·리눅스 실기 런타임 검증(호스트 부재), asm_lookup 테이블 확장, --version 문자열 11.0.4 동기, 버전 게시본 소스와 --version 문자열은 다음 리빌드에서 일치화.

울트라 감사 (2026-07-09 — 924 opcode 4축, Workflow 17에이전트)

정본: /Users/ef/CrownyOS/docs/isa729-감사-20260709/최종판정.md · 요약: CrownyDoc 2026-07-09-ISA729-924-울트라감사.md

①실효성: 946슬롯 전수실행 — ok 658(실행가능 대비 82.5%), noop 85, crash 7, host 148, 도달불가 48.
②27방사형: 의미축 3개(데이터방향·효과범위·결정성) 사상으로 924 전수배정, 코히런스 92.6%(기계사영 51~56% 대비) — 연결 가능하되 11/27셀 사용이라 4번째 세분축 추가 시 완전연결(조건부). 산출=방사형매핑.psv+ISA방사형매핑.한선(컴파일·표본 5/5 PASS).
③의미어 e단계: 924→2,512→6,827→18,559(캡 3⁹=19,683의 94.3%), ln(19683/924)=3.059nats 내적 정합. 현 코드북 4,164=e^1.5 지점(합성1↔합성2 중간). 직접연계 33.01%(동형이의어 오탐 25건 수동제외)+합성 44%≈결합 62.5%. 주소배치안: O=6(Operation) 온톨로지 신설+P=12/13 밴드 예약(56862+op, 기존 점유와 무충돌) — 조건부 가능(잔여 37.5%는 코드북에 대응개념 없는 도메인특이어).
④적대검증(4렌즈 전원 결함다수/조건부): 치명 9군 — op143 ZIPWITH(exec_opcode(1)=HALT 오호출)·op469 TPOOL(break 누락 폴스루)·PC탈취군 521/533/540/544/557(미검증 pc점프)+VM pc≥0 미검사·op931 비결정크래시·op415 표준라이브러리 설정() 오용 14곳→회귀스위트 hang(최고 레버리지)·OP_PUSH_ZERO=10 enum 충돌·729+ sector 오버플로 앨리어싱(op810→op324). ※기존 감사의 163/249 인코딩중복·172-224 공식위반·760-779 이중정의 주장은 오탐 판명(정정).
다음 단계 권고 3건: ①치명 VM 버그 즉시 패치(라인·재현 확보됨) ②설정() 오용 14곳 일괄수정 ③컴파일러 표면정합(enum 충돌·오배선 10종·도달불가 48 키워드 부여)+729+ 앨리어싱 봉쇄.

울트라 감사 수리 3단계 완료 (2026-07-09 — 치명 9군 전부 소거)

VM 4군 패치: op143 ZIPWITH(HALT 오호출→정규 CALL 루프), op469 break, 커널 (unsigned)pc 단일비교 가드(PC탈취군 5종+α 일괄, 분기비용 0), op931 진근원=__내장__ 729+ 섹터 오버플로 앨리어싱→MACRO 안전경로. 타깃 crash 전부 0, 퍼징 7.0%→4.0%.
표준lib 설정() 오용: 11파일 338곳(이미지 계열), 오탐 4곳 배제, 기록.한선 딥카피 원본파괴 신규 발견·수정. run_all hang→35초 완주 99/107.
컴파일러 표면정합+재배포: OP_PUSH_ZERO=10 enum 충돌(암시적 반환마다 스택 0 축적!) 제거, 오배선 10종 재배선(합매칭 힙손상 위험 소거), 도달불가 48 중 37 키워드 부여(11=VM 미구현 제외, 아리티 실측), 729+ 앨리어싱 buf_emit_op 단일가드+ASM 경로 전수 봉쇄. 퍼징 3.5%로 추가 개선.

통합 재배포: --version 11.0.5 동기, npm @crowny/crownyc@11.0.5 게시 실증, 설치 .ccp 3종(맥·리눅스정적·윈도우 exe동봉) 재생성·재배포(도메인 200), macOS 설치 E2E 11.0.5 확인. 스펙 불변 확인(924·이름누락 0).
잔여(후속): 퍼징 잔여 crash 6+hang 2(기존결함, 역패치로 입증), 비정본 사본(crownyc_big/jitmain) 정리, VM 미구현 11 opcode 처리 방침, run_all 기지 8실패 별도 이관분.

전영역 커버리지 정량 측정 (2026-07-09 울트라 — 16도메인×과제10 실측)

정본: docs/한선씨-전영역커버리지-20260709/커버리지매트릭스.md (+도메인 psv 16종·교차검증.md)

평균 73.4%(동일가중)/74.0%(중요도가중), ≥75% 도메인 13/16. 교차검증: full 26/26 재현 성공·none 5/5 정당(과대·과소평가 0건, 유일 조정=GUI 이징 100배 축소 버그 → 80%).
최저 3: 수치-과학 40(0+float 정수반올림 전역·sqrt 비완전제곱 전무·bignum 부재) · 암호-보안 50(CSPRNG 무시딩·이진XOR 없음·실암호 전무) · 임베디드 60. 최고: FPGA-HDL 90(사장님 지정 양끝 중 FPGA는 이미 상위, 통신 80).
갭 48건: S급 원라이너 다수(사용자존재() 센티넬=가입불가, 템플릿 포함() 불리언 오인, CSPRNG srand 1회, Newton sqrt, 이진XOR 유틸) → 묶음 처리 시 ~80%대. L급 구조 장벽은 bignum 한 갈래로 수렴(→AES/RSA/ECC·secp256k1·실TLS). 로드맵: P1 S급(1~2일)→~80% / P2 M급(1주)→~88% / P3 bignum 계열.
부수 발견: 컴파일 프론트엔드 5종(hanseonc_high/rpn/hanseonc/dialect/asm) 비호환 공존 — 같은 .한선이 어느 프론트엔드용인지 내용으로만 판별 가능(정합 후속 과제).

커버리지 보완 P1·P2 (2026-07-09~10)

정본: docs/한선씨-P1보완-20260709/·docs/한선씨-P2보완-20260710/

P1(S급): CSPRNG 시딩(무작위 예측취약 해소)·Newton 실수제곱근·HMAC ASCII byte-perfect·센티넬 3종(회원가입/템플릿/이징)+인증 6곳·재배선(XOR암호/통계분석/선형회귀). 수치 40→50→(P2후 55), 암호 50→65.
P2(M급): ①VM 0+float 근본(tfloat_add zero-identity, 누산/선형회귀 float-array/RK4 정상화) ②순수 한선씨 gzip(표준 gunzip byte-exact) ③SQL 693/694/695 바인딩+RPN 13종(CRUD 왕복). 웹 75→80, DB 80→85.
전체 16도메인 가중평균: 73.4% → 75.9% (목표 ~88% 미달).
★핵심 통찰(재측정 실측): P1/P2 국소수정은 개별 과제만 고침. 근본 2갈래가 광범위하게 잔존 — (A)정수 누산+균형3진 자연반올림 나눗셈(선형회귀 int-array·RK4·통계 평균/표준편차 opcode·데이터포맷 다수 = zero-identity와 다른 근원, VM/컴파일러 레벨) (B)bignum 부재(AES/RSA/ECC·실TLS). 그 외 산발: log/sin ×1000 스케일·MT19937·FFT·동적허프만·문자열SQL·chunked TE.
함정 기록: tfloat 지수차 mantissa 절단(0케이스만 수정), HMAC 비-ASCII 코드포인트, 맥 바이너리 mv교체(SIGKILL137), 소켓생성 arity 1선언vs2팝.

커버리지 보완 P3 (2026-07-10 — 근본 A·B, xhigh 신중)

정본: docs/한선씨-P3보완-20260710/P3_최종보고.md

근본A(절단 나눗셈+재배선): 절단나머지 opcode752 신규(+절단나눗셈738 기존 확인), toward-zero. libs 재배선(실수합_더해 최초항 float강제 → 선형회귀 int-array·카이제곱·사분위수 full 전환). ★헌법 균형3진 완전 보존(13%5=-2·7/3=2 자연반올림 불변, DIV/MOD 코드 미터치) — 직접 검증. RK4는 스케일상수 설계결함이라 절단 무효 확인 후 미수정(P4).
근본B(bignum): libs/bignum.한선 순수 한선씨(C 무접촉→회귀 구조적 부재). 다중림+모듈러거듭제곱. RSA 왕복 65→2790→65·2^256·50! Python 완전일치(직접 검증). RSA/ECC none→partial(modexp keystone+toy 왕복). 한계: RSA-2048은 성능상 비현실(외삽), ECC 점연산 후속.
커버리지: 수치 55→70·암호 65→70. 전체 73.4→75.9→77.2%(동일가중)/77.9%(제품가중). run_all 99/107 유지(VM 산술 근본 수정에도 회귀 0), 독립검증 통과.
남은 갭 top5: ECC 점연산·실TLS 서버측·MT19937(64bit오버플로)·float log급수/FFT·RK4 스케일 재작성. P4 권고: ①ECC+실서명(secp256k1/Ed25519) ②수치 float 인프라 완결(log·FFT·RK4·정규분포→수치 90%+) ③실TLS+DEFLATE 동적허프만.
신규 함정/자산: opcode752 절단나머지, 실수합_더해 float강제, bignum 모듈러거듭제곱. 백업 crownyc.c.bak-P3착수 보존.

커버리지 보완 P4 (2026-07-10 — ECC·수치float·동적허프만)

정본: docs/한선씨-P4보완-20260710/재측정_P4_최종.md

P4-1 ECC/ECDSA(libs/타원곡선.한선, bignum 위·C무접촉): 점연산·스칼라곱·ECDSA. toy ECDSA 완전왕복(자기서명검증=1·위조=-1), secp256k1 2G/3G·서명 r,s Python 일치. secp256k1 검증 8분+ 성능한계(bignum/RSA 동일 결론). VM함정3종 발견해결(페르마역원 OOM→확장유클리드·힙 bump→메모리마커·문자열핸들→적응형체크포인트).
P4-2 수치 float(수학·FFT·난수분포·미분방정식): 실수로그/사인/코사인 급수·Cooley-Tukey FFT·Box-Muller 정규분포·RK4 float. 전부 Python 대조 일치(ln(7.389)=2·RK4 y(1)=e·FFT numpy 1e-8). ★float 5함정(×3ⁿpeephole 오염 등) 자산화.
P4-3 동적허프만+TLS조사: DEFLATE 동적허프만(72.1→78.9%, gunzip byte-exact), 고정허프만 폴백보존. TLS 서버측=불가아닌 미배선(SecureTransport kSSLServerSide 존재, C 반나절).
재측정: 수치 70→95%(90%+ 달성)·암호 70(증거강화)·웹/데이터포맷 80.
★최종 커버리지 여정: 73.4 → 75.9(P2) → 77.2(P3) → 78.75%(동일가중)/78.85%(제품가중).
최종 남은 갭(성격 구분): ①보간법(구조적 S급 로직버그) ②HTTP chunked(구조적 미구현) ③ECC/RSA 실키(성능한계-알고리즘은 정확) ④AES-256(GF(2^8) 프리미티브 부재) ⑤JSON마커/YAML/protobuf(국소 로직버그). = "알고리즘 부재"보다 "순수 VM 성능"과 "국소 로직버그"가 대부분.

종합 결론 (P1~P4 여정, 2026-07-07~10)

순수 한선씨로 bignum·RSA·ECC/ECDSA·FFT·DEFLATE 동적허프만까지 정확성을 표준(Python/openssl/gunzip)과 일치하게 구현. 커버리지 73.4→78.75%. 그 과정에서 VM 치명결함(0+float·PC탈취·힙고갈·설정()오용 등)과 신규 함정 다수(×3ⁿpeephole·소켓arity·그리고또는 비단락평가·버퍼잘라·맥바이너리mv 등)를 실측 발견·자산화. 남은 상승분은 "알고리즘 부재"가 아니라 대부분 순수VM 인터프리터 성능(secp256k1/RSA-2048)과 국소 로직버그. 성능 근본 해결은 VM opcode/네이티브(젯슨 토르 SLM 이식 등) 별개 트랙.