P2 보완 후 4도메인 커버리지 재측정
개요
한선씨 전영역 커버리지 감사(2026-07-09)에서 지목된 갭 중 P2 단계에서 보완된 3건
(①VM
0+float 제로항등원 버그 수정 ②gzip/deflate 순한선씨 구현 ③SQL 고수준/RPN
키워드 693~695 바인딩)이 실제로 영향을 미치는 4개 도메인(수치-과학, 웹-응용프로토콜,
데이터포맷-처리, DB-저장)을 원 psv 과제 그대로 재실행·재채점했다.
무엇을 했는지
- 각 도메인 psv의 원 테스트 스크립트(
/tmp/cov_sandbox/{도메인}/*.한선)를 현재
바이너리(
crownyc/
hanseonc_high/
hanseonc_rpn, 2026-07-10 빌드)로 재컴파일·재실행
- 선형회귀/RK4/통계 라이브러리는 mtime 대조로 실제 수정 여부를 먼저 확인 후
(선형회귀.한선=P1 워크어라운드 반영/07-10 00:12, 미분방정식.한선=무수정/05-22) 재실행
- gzip: 독자적으로 HTTP 서버(curl --compressed)·파일 왕복(gunzip -c)·byte diff 3건 재검증
- SQL: RPN 경로(WHERE/SELECT/JOIN/UPDATE) 독자 재실행, 고수준 2값반환 소비 버그도 재현 확인
- 결과를 표준값(Python 수기검산, gunzip/file/curl, 이론값)과 대조해 full/partial/none 재판정
결과 요약
- 수치-과학: 40%(원)→50%(P1)→55%(P2, +5pp) — 단순선형회귀 full 승격(float 입력 한정)
- 웹-응용프로토콜: 75%→80%(+5pp) — gzip 응답압축 none→partial(청크 미구현이라 full 아님)
- 데이터포맷-처리: 80%→80%(변화없음) — P2 3대 변경과 직접 겹치는 과제 없음(RLE는 이미 full)
- DB-저장: 80%→85%(+5pp) — SQL식 필터/조인 full 승격(RPN 경로, 등가비교·inner-join 한정)
- 16도메인 가중평균: 73.4%(원) → 75.9%(암호-보안 P1값 65% 포함 시) / 75.0%(엄격 기준)
관련 파일
- 산출 보고서:
/Users/ef/CrownyOS/docs/한선씨-P2보완-20260710/재측정_P2_4도메인.md
- 원측정:
/Users/ef/CrownyOS/docs/한선씨-전영역커버리지-20260709/도메인_{수치-과학,웹-응용프로토콜,데이터포맷-처리,DB-저장}.psv
- P1 재측정(수치-과학 40→50%):
/Users/ef/CrownyOS/docs/한선씨-P1보완-20260709/재측정_수치암호.md
- P2 변경 로그(참고):
/Users/ef/CrownyOS/crownyc/docs/한선씨-P2보완-20260710/{VM_float검증,gzip검증,SQL검증}.md
- 원 매트릭스:
/Users/ef/CrownyOS/docs/한선씨-전영역커버리지-20260709/커버리지매트릭스.md
잔여 이슈 (P3 대상)
- 수치-과학: FFT·bignum(none), sin/log ×1000 근사, MT19937 오버플로, RK4 라이브러리(
h/2000 정수트릭) 미수정, t검정(평균()/표준편차() opcode 별개버그)
- 웹: 청크(chunked) 전송인코딩 전무, HTTP클라이언트 TCP대기 오용, 서버측 TLS/HPACK 미구현
- 데이터포맷: JSON 배열/객체 오판, YAML 블록시퀀스, 정규식 전역치환, protobuf 3중버그
- DB: 트랜잭션 롤백 undo-log 부재, 동시접근 진짜 배타성 없음, 마이그레이션 정렬버그