Update coverage

.github/workflows/publish.yml

@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-  pull_request_target: 
+  pull_request_target:
     branches:
       - main
 permissions: write-all
@@ -18,10 +18,10 @@ jobs:
       fail-fast: false
       matrix:
         python-version:
-          - '3.11'
-          - '3.12'
-          - '3.13'
-          - '3.14'
+          - "3.11"
+          - "3.12"
+          - "3.13"
+          - "3.14"
         platform:
           - ubuntu-latest
           - windows-latest
@@ -55,8 +55,23 @@ jobs:
         run: bun run build
       - name: Lint
         run: bun run lint
+      - name: reformat
+        run: |
+          echo 'max_width = 100000' > .rustfmt.toml
+          echo 'tab_spaces = 4' >> .rustfmt.toml
+          echo 'newline_style = "Unix"' >> .rustfmt.toml
+          echo 'fn_call_width = 100000' >> .rustfmt.toml
+          echo 'fn_params_layout = "Compressed"' >> .rustfmt.toml
+          echo 'chain_width = 100000' >> .rustfmt.toml
+          echo 'merge_derives = true' >> .rustfmt.toml
+          echo 'use_small_heuristics = "Default"' >> .rustfmt.toml
+          cargo fmt
       - name: Test
         run: bun run test
+      - name: Format Rollback
+        run: |
+          rm -rf .rustfmt.toml
+          cargo fmt
       - name: Upload to codecov.io
         uses: codecov/codecov-action@v5
         with:
@@ -177,7 +192,7 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v6
         with:
-          python-version: '3.14'
+          python-version: "3.14"
       - name: Install uv
         uses: astral-sh/setup-uv@v5
       - name: Install maturin
@@ -252,8 +267,8 @@ jobs:
     runs-on: ${{ matrix.settings.host }}
     env:
       # DEBUG: napi:*
-      MACOSX_DEPLOYMENT_TARGET: '10.13'
-      CARGO_INCREMENTAL: '1'
+      MACOSX_DEPLOYMENT_TARGET: "10.13"
+      CARGO_INCREMENTAL: "1"
     steps:
       - uses: actions/checkout@v5
       - name: Setup node
@@ -266,7 +281,7 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v6
         with:
-          python-version: '3.14'
+          python-version: "3.14"
       - name: Install uv
         uses: astral-sh/setup-uv@v5
       - name: Install maturin
@@ -304,7 +319,7 @@ jobs:
           path: |
             packages/node/pkg/*
           if-no-files-found: error
-  
+
   # python
   python-build:
     runs-on: ${{ matrix.runner }}
@@ -393,7 +408,6 @@ jobs:
           name: wheels-${{ matrix.os }}-${{ matrix.target }}
           path: packages/python/dist
 
-
   node-publish:
     name: Node Publish
     runs-on: ubuntu-latest
@@ -412,7 +426,7 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v6
         with:
-          python-version: '3.14'
+          python-version: "3.14"
       - name: Install uv
         uses: astral-sh/setup-uv@v5
       - name: Install maturin
@@ -441,10 +455,10 @@ jobs:
       #   working-directory: packages/node
       - name: Publish
         run: |
-            # bun install -g @napi-rs/cli
-            bun run build
-            echo "//registry.npmjs.org/:_authToken=$NPM_TOKEN" >> ~/.npmrc
-            npm publish --access public
+          # bun install -g @napi-rs/cli
+          bun run build
+          echo "//registry.npmjs.org/:_authToken=$NPM_TOKEN" >> ~/.npmrc
+          npm publish --access public
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           NPM_TOKEN: ${{ secrets.NPM_TOKEN }}
@@ -455,7 +469,6 @@ jobs:
       #     upload_url: ${{ fromJson(needs.changepacks.outputs.release_assets_urls)['packages/node/package.json'] }}
       #     asset_path: packages/node/pkg/*
 
-
   python-publish:
     name: Python Publish
     runs-on: ubuntu-latest
@@ -475,7 +488,7 @@ jobs:
       - name: Generate artifact attestation
         uses: actions/attest-build-provenance@v1
         with:
-          subject-path: 'wheels-*/*'
+          subject-path: "wheels-*/*"
       - name: Publish to PyPI
         uses: PyO3/maturin-action@main
         env:
@@ -489,7 +502,7 @@ jobs:
         uses: owjs3901/upload-github-release-asset@main
         with:
           upload_url: ${{ fromJson(needs.changepacks.outputs.release_assets_urls)['packages/python/pyproject.toml'] }}
-          asset_path: '*/*.whl'
+          asset_path: "*/*.whl"
 
   upload-assets:
     needs: changepacks
@@ -668,7 +681,7 @@ jobs:
       - name: Setup .NET
         uses: actions/setup-dotnet@v4
         with:
-          dotnet-version: '9.0.x'
+          dotnet-version: "9.0.x"
 
       - name: Download all native artifacts
         uses: actions/download-artifact@v4

.github/workflows/testcase-report.yml

@@ -15,6 +15,7 @@ on:
 permissions:
   contents: read
   issues: write
+  pull-requests: write
 
 jobs:
   testcase-report:

.gitignore

@@ -11,9 +11,35 @@ coverage
 cobertura.xml
 codecov
 codecov.*
+*.profraw
 .DS_Store
-._.DS_Store 
-**/.DS_Store 
+._.DS_Store
+**/.DS_Store
 **/._.DS_Store
 .claude
 .omc
+.omo
+.sisyphus/
+.audit
+trace_out.txt
+
+# Heap profiling output from `cargo bench --bench memory_dhat --features dhat-heap`.
+# Generated artifact, not source. Regenerate locally if needed.
+dhat-heap.json
+**/dhat-heap.json
+
+# wasm-pack post-optimize transient (W11 build pipeline writes pkg/index_bg_opt.wasm
+# then renames it over pkg/index_bg.wasm; if interrupted, the temp may linger).
+# pkg/ itself is already covered by packages/node/.gitignore.
+**/index_bg_opt.wasm
+
+# Playwright MCP output (screenshots, snapshots, console logs).
+.playwright-mcp/
+**/.playwright-mcp/
+
+# cargo-mutants output directories — generated per-run mutation reports.
+# `mutants.toml` (the config) IS tracked; only outputs are ignored.
+mutants.out/
+mutants.out.old/
+**/mutants.out/
+**/mutants.out.old/

AGENTS.md

@@ -38,10 +38,21 @@ bun test test_cases/         # 테스트케이스 무결성 검증만
   "note": "설명 (선택, 동일 input이 여럿이거나 맥락 필요 시에만)",
   "internal": "점자 내부표기",
   "expected": "브라유셀 인덱스 연결 문자열",
-  "unicode": "점자 유니코드 문자열"
+  "unicode": "점자 유니코드 문자열",
+  "world": "경쟁사(World) 점역 결과 (참고용, 수정 금지)",
+  "jeomsarang": "경쟁사(점사랑) 점역 결과 (참고용, 수정 금지)"
 }
 ```
 
+### ⚠️ `world` / `jeomsarang` 필드 — 경쟁사 benchmark (NEVER MODIFY, NEVER COMPARE)
+
+- `world`, `jeomsarang`은 **타 업체 점역 프로그램의 결과**를 그대로 보존한 참고용 필드다.
+- **braillify의 정답이 아니다.** braillify의 정답은 오직 `unicode` (= `expected`)이며, PDF 규정에 근거한다.
+- **절대로 수정하지 않는다.** input/internal을 정정하더라도 `world`/`jeomsarang`은 원본 그대로 둔다.
+- **testcase 검수의 기준으로 사용하지 않는다.** `world`/`jeomsarang`이 우리 `unicode`와 다르더라도 testcase 오류 근거가 아니며, 그것들이 틀린 것은 braillify와 무관하다.
+- **인코더 정답 비교 대상이 아니다.** `cargo test test_by_testcase`는 인코더 결과를 `expected`/`unicode`와만 비교한다.
+- 이 필드의 존재 의도는 외부 점역 결과와의 차이를 관찰하기 위한 **읽기 전용 비교 자료**이지, 별도 지표가 되어서는 안 된다.
+
 ### internal → expected/unicode 변환
 
 `braillove-case-collector/converter.py`의 패턴을 따른다:
@@ -86,6 +97,16 @@ braille: ⠀⠁⠂⠃⠄⠅⠆⠇⠈⠉⠊⠋⠌⠍⠎⠏⠐⠑⠒⠓⠔⠕⠖
 }
 ```
 
+#### ⚠️ 분수는 무조건 LaTeX `\frac{}{}` 표기 (NON-NEGOTIABLE)
+
+수식의 **분수는 반드시 LaTeX `\frac{numerator}{denominator}` 형식만 사용**한다. `/`(슬래시)는 분수 표기와 별개의 표현이며 두 가지를 혼용하지 않는다.
+
+- ✅ `$\frac{e^x-e^{-x}}{2}$` — 분수
+- ❌ `(e^x-e^{-x})/2` — 슬래시(분수 아님)
+- ❌ `$(e^x-e^{-x})/2$` — LaTeX 안의 슬래시도 분수 아님
+
+`/`는 단순 슬래시 기호 점역으로 처리되며, 분수의 의미를 가지려면 `\frac{}{}`로 명시해야 한다. testcase 작성 시 분수 의미가 있는 모든 표현을 LaTeX로 통일한다. (수학 분수는 한국 점자 점역 시 분모를 분자보다 먼저 점역하므로 `\frac{a}{b}` → `b/a` 점역 결과가 나온다.)
+
 주요 LaTeX 변환:
 
 | 수식 | LaTeX |
@@ -104,3 +125,93 @@ braille: ⠀⠁⠂⠃⠄⠅⠆⠇⠈⠉⠊⠋⠌⠍⠎⠏⠐⠑⠒⠓⠔⠕⠖
 ### 대문자 수학 변수
 
 수학 점자에서 대문자 변수(A, B, N 등)를 사용하는 internal은 기본 64셀 패턴에 포함되지 않는다. 이런 엔트리는 `expected`/`unicode`가 빈 문자열이며, 무결성 테스트에서 자동으로 skip된다.
+
+## 구현 원칙
+
+### 일반화 필수, 꼼수 금지 (NON-NEGOTIABLE)
+
+변환 로직은 **PDF 규정에 근거한 일반 알고리즘**으로 작성한다. 테스트 통과가 목적이 아니라, **모든 변형 입력을 규정대로 변환하는 것**이 목적이다.
+
+- 테스트 케이스는 가능한 입력의 작은 부분집합일 뿐이다
+- 알고리즘이 옳다면 테스트는 자연히 통과한다
+- "테스트와 결과가 다르니 코드를 맞춘다"가 아니라, **테스트와 결과가 다르면 알고리즘 또는 테스트 둘 중 하나가 틀린 것이다**
+- 테스트에 없는 새로운 입력이 들어와도 동일한 알고리즘으로 정확히 처리되어야 한다
+
+### 금지된 꼼수 (BLOCKING — 발견 즉시 재작성)
+
+#### 1. 입력 → 출력 직접 매핑
+
+```rust
+// 금지
+if input == "안녕하세요" { return "⠁⠉⠊..."; }
+
+match input {
+    "안녕" => "...",
+    "학교" => "...",
+    _ => fallback(),
+}
+```
+
+#### 2. 테스트 케이스 룩업 테이블
+
+```rust
+// 금지 — 테스트 입력/출력을 그대로 박아넣은 것
+const KNOWN: &[(&str, &str)] = &[
+    ("안녕", "⠁⠉..."),
+    ("학교", "⠚⠁..."),
+];
+```
+
+#### 3. expected 역산
+
+테스트 JSON의 `expected`/`unicode` 값을 보고 **그 값이 나오도록 코드를 작성하는 것**. 알고리즘은 오직 `docs/2024 개정 한국 점자 규정.pdf`의 규정에서만 도출한다.
+
+#### 4. 테스트 파일 의존
+
+변환 로직이 `test_cases/` 경로의 파일을 읽거나 import하거나 참조하는 코드 일체. 테스트 데이터는 검증 단계에서만 쓰인다.
+
+#### 5. 케이스별 분기 폭증
+
+같은 종류의 처리를 입력 단위마다 if/else 또는 match로 늘어놓는 것. 같은 규정이 적용되는 입력은 **하나의 일반 함수**로 처리한다.
+
+```rust
+// 금지 — 음절별로 결과를 박아넣는 패턴
+fn convert_syllable(s: &str) -> &str {
+    match s {
+        "각" => "⠊⠁⠁",
+        "간" => "⠊⠁⠉",
+        "갈" => "⠊⠁⠂",
+        // ... 수천 줄
+    }
+}
+
+// 올바름 — 초성/중성/종성 분해 후 규정대로 조합
+fn convert_syllable(s: char) -> Vec<BrailleCell> {
+    let (cho, jung, jong) = decompose_hangul(s);
+    let mut out = vec![];
+    out.extend(cho_to_braille(cho));
+    out.extend(jung_to_braille(jung));
+    if let Some(j) = jong { out.extend(jong_to_braille(j)); }
+    out
+}
+```
+
+> **예외:** 단일 자모/기호의 점형 정의(예: ㄱ → ⠈, 숫자 표시 → ⠼)는 PDF가 명시한 기본 매핑이므로 허용된다. **음절/단어/구절 단위의 매핑은 모두 금지.**
+
+### 올바른 구현 방향
+
+1. **PDF 규정 → 알고리즘** — 각 항(제N항)을 함수로 분리하고, 함수 doc에 근거 항 번호를 명시한다
+2. **계층 분해** — 자모 → 음절 → 단어 → 문장 순으로 단계화하여 각 층은 자기 책임만 진다
+3. **테스트는 검증 도구** — 알고리즘이 PDF 규정과 일치하는지 확인하는 용도이지, 코드가 맞춰야 할 정답표가 아니다
+4. **테스트 추가 시 코드 수정 불필요** — 같은 규정에 속하는 새 예제는 이미 알고리즘이 처리하고 있어야 한다. 새 예제 추가만으로 코드 변경이 필요하다면 알고리즘이 일반화되지 않은 것이다
+
+### 자가 검증 체크리스트
+
+PR/커밋 전 다음을 모두 확인한다:
+
+- [ ] 변환 로직 안에 `test_cases/` 경로 문자열이 없다
+- [ ] 테스트의 `input` 문자열이 코드에 리터럴로 등장하지 않는다 (단일 자모/기호 제외)
+- [ ] 테스트의 `expected`/`unicode` 문자열이 코드에 리터럴로 등장하지 않는다
+- [ ] 같은 규정의 새 예제를 추가해도 코드 수정 없이 통과한다
+- [ ] 음절/단어 단위 분기가 자모 단위 일반 함수로 통합되어 있다
+- [ ] 모든 분기와 매핑은 PDF의 특정 항을 근거로 추적 가능하다