knowledge(축C): 반올림 모드 둘 신설 — 엑셀 ROUNDDOWN·ROUNDUP 이 floor·ceil 과 음수에서 갈림

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0154EMdwPYNPuKc9eZv8SLEX

docs/raw/verification/2026-09-13_축C_명세.md

@@ -480,9 +480,27 @@ IF 36(비교식 11) · VLOOKUP 13(**전부 근사**) · SUM 47.
 2. **앞 줄만 참조.** `refs` 는 자기보다 작은 `seq` 만 가리킴 ⇒ **순환이 원리적으로 불가**
 3. **반올림은 줄마다 칸으로.** 한 가지로 통일하면 실무 값과 원 단위에서 갈림
    ```
-   mode : floor(버림) · round(반올림) · ceil(올림) · none
+   mode : floor · trunc · round · ceil_away · ceil · none · round_half_even
    실무 한 표 안에 INT(x*100)/100 · ROUND(,2) · ROUNDUP(,2) · 없음이 섞여 있었음
    ```
+   #### ⚠ 엑셀 함수 ↔ 모드 대응표 — 2026-09-13 보강 (브레인 검산에서 틈 둘 발견)
+
+   **모드 이름만 보고 옮기면 음수에서 조용히 갈림.** 실무 식을 옮길 때 이 표를 볼 것.
+
+   | 실무 엑셀 | 뜻 | 우리 모드 | 보기 (-2.5) |
+   | --- | --- | --- | --- |
+   | `INT` | 아래로 (음의 무한쪽) | `floor` | -3 |
+   | `ROUNDDOWN` | **0 쪽으로 버림** | **`trunc`** ⭐신설 | **-2** |
+   | `ROUNDUP` | **0 에서 먼 쪽 올림** | **`ceil_away`** ⭐신설 | **-3** |
+   | `ROUND` | 사사오입(0 에서 먼 쪽) | `round` | -3 |
+   | (없음) | 위로 (양의 무한쪽) | `ceil` | -2 |
+   | (없음) | 은행가 | `round_half_even` | -2 |
+
+   ⚠ **`ROUNDDOWN` 을 `floor` 로, `ROUNDUP` 을 `ceil` 로 옮기면 안 됨** —
+   양수에서는 같고 **음수에서만 갈리므로 시험을 빠져나감.**
+   실무 실측에 `ROUNDDOWN` 25건 · `ROUNDUP` 9건이 있고, 사용자가 식을 고치면 음수가 나올 수 있음
+   (잔토정리 = 터파기 − 되메우기 같은 뺄셈 줄).
+
    ⭐ **`round` = 사사오입(HALF_UP)** 으로 못 박음 — 구조물도는 **실무 엑셀을 본뜨는 표**이고
    엑셀 `ROUND` 가 사사오입임. ⚠ **B09 내부 계산의 은행가 반올림과 헷갈리지 말 것** —
    자리가 다름(7장). 은행가가 필요하면 `round_half_even` 을 따로 쓸 것