무작위() float-오해 패턴 라이브러리 잔여 스윕 (30모듈)
개요
2026-07-22 인증 라이브러리 CRITICAL 6건 P0 수리 때 발견된
동일 근본원인(무작위() float-오해) 잔여를 라이브 libs 전수 스윕. 인수인계 잔여 과제("22모듈 스윕, 특히 UUID·결제게이트 우선")를 완결.
근본원인 (실측 확정)
무작위() 0인자 = [0, 32768) 큰 정수 (Math.random()의 [0,1) float 아님).- VM 정수 전용 + 나눗셈 자연반올림(floor 아님, 7/2=3). float는 피연산자에 float 리터럴(
1000.0)이 있을 때만 승격.
- 따라서 작성자가 [0,1) float를 가정한
무작위() * N, 내림(무작위()*N), 무작위() < 확률은 전부 버그.
올바른 API
무작위(N) / 무작위(0, N) = [0, N) 정수 (2번째 인자 변수/식 허용).- [0,1) float 필요 시
무작위(0, N) / N.0 (float 리터럴 필수).
처리 (30모듈)
보안인접 3건 (직접 수리 + 익스플로잇 재현 테스트)
| 모듈 | 버그 | 수리 | 실증 |
|---|
| 결제게이트.한선 | 거래 ref 내림(무작위()*999999) 비랜덤 | 무작위(0,1000000) | 5개 전부 상이·자릿수 정상 |
| 알림발송.한선 | 인증코드 내림(무작위()*99999) 비랜덤 | 무작위(0,100000) | 5개 전부 상이 |
| UUID.한선 | ①float오해 4곳 ②n/16 자연반올림 mod→ff도배 ③그룹4 길이 5자 오형식 | 니블 직접뽑기(무작위(0,16))로 재작성, 나눗셈 전면 제거 | 무효 8/8→0/8, 니블 균등, v4/variant 정상 |
시뮬 22모듈 (sonnet 병렬 Workflow, 파일별 컴파일 검증)
그룹 분류: A(인덱스/카운트)
무작위(0,N) · B(확률비교) 퍼밀 스케일
무작위(0,1000) < 반올림(p*1000) · C(연속스케일)
무작위(0,스케일) 유지산술.
- A: 부하분산·특징매칭·앱생태계·양자어닐링(인덱스)·유전알고리즘(idx)
- B(로직붕괴 복원): 강화학습(엡실론그리디)·유전알고리즘(변이/교차)·최적화(SA수락)·저장소컴퓨팅·신경진화·양자어닐링(메트로폴리스)·분산추적(샘플링)·날씨전이
- C: MLOps·경로계획·군집전투·기상·날씨·몬테카를로·스카이박스·신경망(Xavier)·양자측정·재시도(지터)·파괴시뮬·파티클
추가 5건 (초기 grep 누락 — 원시 무작위()·별칭 경유, 메인 수동 수리)
- 통계분포(Box-Muller u1/u2), 수치적분(MC r), 셀룰러오토마타(초기셀
>500), 몬테카를로 _단위균등샘플([0,1) float), 수학 랜덤범위(내림(랜덤()*N) 별칭 경유).
검증 (메인 독립 재검증 — 서브 보고 불신)
- 컴파일 25/25 + 추가 5/5 OK (hanseonc_high STRICT).
- 런타임 실측: 단위균등평균 0.496(≈0.5) · 주사위 1~6 균등 · 몬테카를로 원안비율 0.774→π추정 3.097 · UUID 무효 0/8.
- 잔존 0:
무작위()*·내림(무작위()·내림(랜덤()·무작위()<> 전수 grep 클린.
미수정 (스코프 밖 — 인수인계)
.rpn.한선 4개(날씨/신경망/최적화/파티클): 형식 혼재 오염(중위식 박힘) + 어디서도 가져오기 미참조(비로드). 대응 .한선 수정 후 RPN 재생성이 정도.- 해시시드 4모듈(OCSP·인증서체인·키관리·포렌식)
문자열변환(무작위()): 버그 아님. 단 [0,32768)=15비트 엔트로피라 시간+요소 조합 의존 — 강화 여지 별도.
- 평균() 정수나눗셈(몬테카를로): 0/1 배열 비율이 반올림 붕괴 → 파이추정() 래퍼가 4 반환(샘플러는 정상). 무작위 무관 별개 버그.
- 통계분포 Box-Muller 정수도메인 정밀도, 신경망 스케일=루트() 정수나눗셈 0 위험, 배열캡 4095(MC 표본수 제한): 별개 VM/알고리즘 이슈.
무작위()%N(워드임베딩)·랜덤() 별칭 원시: 정상.
래칫
- 크라우니코드 학습 8종(보안3+추가5,
crownycode-brain.sh learn) — 다음부터 토큰0.
- 가드레일 SSOT(
~/.claude/templates/한선씨-가드레일.md) 무작위 항목에 파생함정 4종 등재: 별칭경유 grep·/N.0 float복원·정수배열평균 붕괴·16진 니블 자연반올림.
관련 파일
- 수리:
/Users/ef/CrownyOS/crownyc/libs/ (UUID·결제게이트·알림발송 + 시뮬 27)
- 검증 스크립트:
/tmp/보안검증.한선·/tmp/기능검증.한선·/tmp/파이샘플.한선
- 이전:
2026-07-22-요청-인증카드-CRITICAL-6건-P0.md