로직버그 완결 — 잔여 소진 (2026-07-11)

개요

사장님 지시: "로직버그처리 완벽" — P6 착수 선결조건. P5/재측정 세션들이 남긴 잔여 로직버그를 전수 소진한다. 대상: 명시된 SQLite.한선/프로토버프.한선 2건 + 16개 도메인 전영역커버리지 psv(docs/한선씨-전영역커버리지-20260709/)의 partial/none 판정 67건 전수.

가드레일: C 소스(crownyc.c, hanseonc_high.c) 수정 금지 — libs/.한선(=pkg/libs/.한선, 심볼릭 링크로 동일 파일)만 수정 가능.

무엇을 했는지

1) 명시 잔여 2건 (직접 처리, 완료)

• SQLite.한선: 자체 flat-map 구현(_db맵꺼내/_db맵넣어)이 JSON.한선의 _OBJ마커

규약을 안 써 JSON생성(db) 시 객체가 배열로 오직렬화되던 버그. JSON.한선의 JSON값/JSON설정에 위임하도록 재작성, 행(row)도 마커를 갖도록 함. 왕복(저장→로드→ 조회/수정/삭제) 전부 검증.

• 프로토버프.한선: 콜론구분 텍스트 인코딩(":" 충돌·zigzag/fixed32·64/repeated/중첩메시지

미구현)을 진짜 protobuf wire format(정수배열 기반 바이트버퍼: varint/length-delimited/ zigzag/fixed32·64/unpacked-repeated/중첩메시지)으로 전면 재작성. python google.protobuf(protoc 33.4)로 실제 바이트 hex 대조 — 완전 일치 확인(스칼라·문자열· zigzag·fixed32·fixed64·중첩메시지 전 구간).

2) 전영역커버리지 psv 67건 전수 스캔·분류

docs/한선씨-전영역커버리지-20260709/도메인_*.psv 16개 파일의 partial/none 판정 67건을 전수 추출해 성격 분류(로직버그/로직버그(C필요)/구조/의도/이미해결) 후 로직버그만 처리.

• 완료(실제 수정): 10건 — 셀코어 질의필터, 마이그레이션(정렬+상태읽기), 뷰.한선

히트테스트 write-back(코디네이터 직접 처리 — 서브에이전트가 오래 걸려 인수), 2D렌더러 색상, 정규식 전역치환 신설, 프로토버프, P2P가십 dedup, 컨트랙트VM 센티널(부분), 크로스체인브리지/사이드체인 회계, HTTP클라이언트(TCP대기→소켓연결 교체 + 실제 미니서버 종단검증)

• 이미해결로 확인(psv stale, 이전 세션이 이미 고쳐둠): 9건 — JSON마커, 보간법,

선형회귀, ODE(RK4), HMAC-SHA256, XOR암호, CSPRNG(핵심갭), JWT인증, 템플릿렌더링

• 미처리: 48건 — 대부분 C 소스(crownyc.c/hanseonc_high.c opcode/컴파일러) 수정이

필요해 가드레일상 불가(약 20건, 그중 async opcode 콜스택 불균형(crownyc.c case 544)이 가장 심각한 잔여 크래시성 버그 — 코어팀 후속조치 필요), 나머지는 구조적 대규모 신규개발(bignum·FFT·AES·mTLS·HPACK 등)이거나 의도적 스텁/하드웨어종속.

전체 처리 방식: SQLite/프로토버프/뷰.한선 write-back 3건은 코디네이터 직접 처리, 나머지는 4개 서브에이전트(배치A/B/C/D)를 병렬 위임해 처리·검증. 각 배치 완료 직후 tests/run_all.sh 재실행 — 시종일관 99/107 유지(무회귀), 8건은 사전부터 있던 무관 실패 (17_모듈테스트_도움.한선, 삼진트랜스포머스택.한선, ab_vm.sh, golden_harness.sh, run.sh, WASM.sh, 크라우니국_전체.sh, 회귀실행.sh).

관련 파일

• 분류표: /Users/ef/CrownyOS/docs/한선씨-로직버그완결-20260711/로직버그_분류표.md
• 검증로그(재현→수정→재검증 전체 상세): /Users/ef/CrownyOS/docs/한선씨-로직버그완결-20260711/검증.md
• 수정 파일: libs/SQLite.한선, libs/프로토버프.한선, libs/뷰.한선, libs/셀코어.한선,

libs/마이그레이션.한선, libs/2D렌더러.한선, libs/정규식고급.한선, libs/P2P가십.한선, libs/컨트랙트VM.한선, libs/크로스체인브리지.한선, libs/사이드체인.한선, libs/HTTP클라이언트.한선 (전부 libs/=pkg/libs/ 심볼릭 링크로 자동 동기)

• 백업: 각 파일 옆 *.bak-로직완결-20260711 (배치A/C의 일부 서브에이전트가 자체판단으로

삭제한 것을 검증.md에 line-level 기록으로 대체 — 감사가능성 확보)

잔여 이슈

• #23 async opcode(crownyc.c case 544) 콜스택 push 불균형: 명백한 크래시성 버그,

C 수정 필요해 이번 세션 범위 밖. 코어팀 우선 처리 권고.

• 시간상 미착수 로직버그(lib 레벨에서 가능): BPE토크나이저 인덱스버그, 신경망 3중첩배열

손상, YAML 블록시퀀스 파서, 병렬맵 가짜 고차함수, FFT 고정소수 붕괴, 파이프 다중반환 바인딩, PBKDF2 RPN구문오류. 전부 로직버그_분류표.md에 사유·규모(S/M/L) 명시.

• 컨트랙트VM 컨트랙트배포() 주소 미반환 API 설계 이슈는 센티널 버그와 별개로 보류(현재

in-repo 호출자 없음 + .rpn.한선 동반본 재동기화 리스크).