P3 근본AB 종합 + 영향 재측정 최종

개요

근본A(절단나눗셈/나머지 + float 재배선)·근본B(bignum 임의정밀도)의 채택 상태를 검토하고, 영향 4도메인을 원 psv 그대로 재채점해 커버리지 변화를 정량화. 헌법(균형3진 자연반올림 불변).

근본AB 채택 요지

• 근본A 채택=true / 헌법보존=true: DIV/MOD(자연반올림, 13%5=-2) 코드 미터치, 절단 계열만

별도 opcode(TRUNC_DIV 738 기존 + TRUNC_MOD 752 신규)로 추가. 회귀 0(run_all 99/107, pkg 11/13, conformance 20/20, 퍼징 ≤3%). RK4는 스케일 상수 설계결함이라 의도적 미수정→P4.

• 근본B 채택=true / 헌법보존=true: libs/bignum.한선 순한선씨 신규(C/VM 무접촉→회귀 구조적

부재). modexp 키스톤 실증 — RSA 왕복·2^256·50! 전부 Python 완전 일치. 실전급 RSA-2048/ECC는 성능·미구현으로 범위 밖.

• 라이브 재검증(이 세션): RSA 65→2790→65, 50!, 2^256 Python 일치 · 카이제곱=3.33333 exact ·

절단나머지 conformance 10/10 · v11.0.5 · RPN=10.

4도메인 전후 %

도메인	P2후(P3전)	P3후	Δ	full 전환
수치-과학	55	70	+15	가설검정·통계·회귀·모듈로 full(근본A) + bignum full(근본B)
암호-보안	65	70	+5	RSA/ECC none→partial(modexp만; AES/ECC none 유지)
DB-저장	85	85	0	근본AB 무관(트랜잭션/락/마이그레이션)
데이터포맷-처리	80	80	0	잔여 partial은 로직버그(수치 무관)

전체 16도메인 평균

• 동일가중: 73.4%(원)→75.9%(P2)→77.2%(P3)
• 제품가중: 74.0%(원)→77.9%(P3)

남은 갭 top5

1. ECC 타원곡선 점연산(암호·블록체인 keystone 후속)
2. 실 TLS 서버측(RSA-2048 비현실적·AES-GCM/HPACK 별개)
3. MT19937/정규분포(64bit 상수 오버플로→xorshift32)
4. 진짜 float log·FFT float 재작성
5. RK4 스케일 상수 float 재작성(P4 이관분)

P4 권고 3건

1. ECC + 실 서명체계(bignum 위 secp256k1/Ed25519)
2. 수치 float 인프라 완결 묶음(log·FFT·RK4·정규분포 → 수치 90%+)
3. 실 TLS 서버측 + DEFLATE 인코더(동적허프만)

관련 파일

• /Users/ef/CrownyOS/docs/한선씨-P3보완-20260710/P3_최종보고.md(정본)
• 근본 검증: 같은 폴더 근본A_검증.md·근본A_독립검증.md·근본B_검증.md
• /Users/ef/CrownyOS/crownyc/libs/bignum.한선, tests/conformance/20_절단나머지.한선

크라우니코드

근본A add 2건·근본B add 3건(모두 search 선행 무히트 후 add 완료). 본 종합은 채점·문서화라 신규 코드 없음→추가 add 불필요.

잔여 이슈

RK4/FFT/log/정규분포/ECC/실TLS = P4. bignum RSA-2048는 성능상 비현실(교육/키스톤용 명시).