[2026-09-18-nonliteral-exception-call-sites-p0] feat(scripts): 비리터럴 사각을 «세어서 찍는다» — 관문으로 올리지 않는다

[Jun025]

채택 제안 2026-09-18-nonliteral-exception-call-sites#p0 — "Decide whether nonliteral exception() call sites should be a check, now that the baseline is 0."

결정

관문으로 올리지 않는다. 대신 검사기가 사각을 세어서 찍고 ★절대 실패시키지 않는다.
★결정과 근거를 검사기 docstring 에 못박았다 — 다음 회차가 관문을 다시 제안하기 «전»에 읽는 자리다.

★제안의 전제 «둘 다» 하루 만에 소멸했다(origin/main @ e9910a7a 재측)

제안 원문	지금
"now that the baseline is 0"	★거짓 — 1이다 (jvm/tests/test_exception_construction.rs:19)
"instead of crashing the whole runtime"	★거짓 — 더는 죽지 않는다

★그 1자리는 «옳고», «비리터럴이어야만» 한다: 그 테스트는 못 싣는 이름을 부르는데, 리터럴로 쓰면 ★바로 이 검사기가 red 가 된다(작성 당시 실측).
⇒ ★관문을 0으로 걸었으면 제안된 날 main 이 red 였고 그 대상은 정상 코드다.
★제안이 자기 why 에서 그 비용을 예고했다 — 「변수로 이름을 넘기는 정당한 리팩터가 red 가 되어 논박당한다」. ★약 4시간 뒤 현실이 됐다.

★막으려던 해악도 작아졌다: …-exception-throws-instead-of-unwrap 착지 후 못 싣는 이름은 프로세스를 죽이지 않고 NoClassDefFoundError 를 낸다
⇒ ★**「catch 가 안 걸린다」는 조용한 오동작**이지 «죽음»이 아니다(제안 userBenefit 의 근거가 그만큼 약하다).

대신 «값싼 절반»을 지었다

제안의 진짜 걱정은 tradeoff 의 **「회차 사이에 바닥이 측정되지 않는다」**이고, 그것은 관문 없이 고쳐진다:

Blind spot: 1 call site(s) build the class name at run time, so this check
does not see them. Not an error -- an unloadable name there raises NoClassDefFoundError
rather than the intended exception, which is a wrong catch, not a crash:
  ? jvm/tests/test_exception_construction.rs:19
✓ 43 named exception class(es) across 846 call site(s); all 268 loadable

★1파일 · +90/−6 · 새 DoD 명령 0 · 새 CI 잡 0 · 종료코드 의미 불변(0/1/2 그대로).

축 — 양방향 · ★제품 코드에

프로브	결과
jvm/src/jvm.rs 에 런타임 조립 self.exception(name, …) 주입	Blind spot: **2** · ★jvm/src/jvm.rs:1390 을 이름으로 지목
원복	Blind spot: **1** · 트리 클린
술어에서 «다른 함수 8종 분리» 제거	Blind spot: **42**(헬퍼 호출 33 + 헬퍼 정의 8 + 진짜 1)

★셋째가 그 수가 «의미»를 갖는다는 증거다 — exception( 은 테스트 트리의 헬퍼 8종의 부분문자열이고, 안 가르면 42배로 틀린다.
★축 조항에 대한 고지: Acceptance 는 「되돌리면 red」를 요구하는데 ★이 변경은 «의도적으로» red 를 낼 수 없다(그것이 결정이다).
⇒ 축은 수가 움직이고 새 자리를 이름으로 대는 것 + rc 가 양방향 0이며, 그것이 「보고하되 막지 않는다」의 뜻이다.

★대가(숨기지 않는다)

⒜찍힌 수는 무시할 수 있다 — 관문은 강제하고 한 줄은 스크롤로 지나친다(★반대편의 최강 논거다)
⒝수는 술어만큼만 정확하다 — 위 42 가 한 줄 실수의 모습이고, 이 회차 프로브 말고는 잠그는 것이 없다
⒞제품/테스트를 구별하지 않는다 — 오늘 전건이 테스트인데 표시가 없다(후속 카드로 냈다).

★내가 만든 회귀 둘을 «재서» 걷어냈다(눈으로 잡은 것이 아니다)

⑴.rs 전수를 두 번 걷기 → 3.34.3s → 10.013.3s ⇒ 단일 패스로 병합
⑵파일마다 개행 인덱스를 파이썬 루프로 만들기(남은 ~2배의 «진짜» 원인) ⇒ text.count 로 되돌림(전 트리 매치 ~850 ⇒ 매치당 세기가 문자당 인덱싱보다 싸다)
⑶앵커 [A-Za-z0-9_]*exception\( 가 단어문자 위치마다 시도 ⇒ 리터럴 앵커 + 앞 글자 검사로 교체
⇒ ★최종 비용 유의차 없음: 전 1.33/3.20/1.55/1.58s ↔ 후 1.73/1.88/1.44/1.54s(구간 겹침).

되돌릴 조건

⑴런타임 조립 이름이 제품 코드에 나타나거나 ⑵아무도 모르게 수가 는다 — ★그 한 줄이 정확히 그것을 막는다.

DoD (9명령 전건 rc=0)

fmt 0 · clippy stable 0 · clippy +beta 0 · clippy wasm32 0 · cargo test --all 585 passed / 0 failed / 1 ignored ·
check-worklog-json 0(67파일) · check-dod-ci-parity 0(명령 8개·toolchain 2개) · check-named-exception-classes-are-loadable 0 · check-merge-dropped-symbols 0