| 번호 | 발견 | 대상 | 내용 | 영향 | 상태 |
|---|---|---|---|---|---|
| E-0001 | 2026-11-05 | 2026-11-05 이전의 Forge 엔진 corvel-rtl.wasm, corvel-duo.wasm, SPEC.md, corvel-source.zip | 공개 파일에 빌드 컴퓨터의 경로가 있었습니다. SPEC.md의 링크 대상과 엔진마다 문자열 하나입니다. | 결과에는 영향이 없습니다. 노출 문제입니다. | 2026-11-05 수정. 엔진 SHA-256 이전 25588c16…6d47, 현재 5706cec0…d371(엔진 매니페스트 참고). |
| E-0002 | 2026-11-05 | 사이트가 내보내는 텍스트 파일: SPEC.md, .v, .log | 사이트가 이 파일들을 문자 집합 없이 보내 일부 브라우저에서 “—”가 “—”로 보였습니다. | 화면 표시 문제이며 파일 내용과 해시는 정확합니다. | 2026-11-06 수정. 이제 사이트가 이 파일들을 text/plain; charset=utf-8(SPEC.md는 text/markdown; charset=utf-8)로 보냅니다. |
RTL 정오표
2026-11-06 기준 CV-X1 Pro L8 r1, CV-X1 Pro Duo, CV-GEMV 연구용 RTL에 기록된 항목이 없습니다. 문서에 적힌 동작(예: 16비트 모듈로 성능 카운터, 리셋 동기화 요구)은 정오표가 아니라 사양에 있습니다.
연구용 RTL의 알려진 한계
- CV-GEMV 메모리에는 대기 입력이 없습니다. 읽기 지연이 1사이클보다 긴 메모리는 어댑터와 재검증이 필요합니다.
- CV-GEMV 형식 안전 증명은 작은 구성(ROWS = 2, COLS = 32, P = 1)에서 했습니다. 큰 구성은 시뮬레이션으로 검증합니다.
결함으로 보이는 문제는 지원으로 알려 주세요.