[rustjava-methodhandlekind-placement-revisit-after-pr44] docs(classfile): MethodHandleKind 는 attribute.rs 에 남는다 — 재결정과 재개 조건을 그 자리에 적었다

배치 사유 둘 중 만료된 것은 하나다. 「형제가 constant_pool.rs 를 열어 두고 있었다」는 PR #44
착지로 사라졌지만 「유일한 소비자가 BootstrapMethods 속성이다」는 여전히 참이다 — resolve 호출부는
attribute.rs 한 곳이고, 오늘 착지한 PR #48 의 소비자마저 bootstrap.method.kind 로 읽는다.

그리고 constant_pool.rs 는 이미 이 상수의 해독 깊이를 정해 뒀다: ConstantPoolReference::MethodHandle
은 피연산자가 없다. 옮기면 같은 상수의 두 해독이 한 파일에 나란히 서서 모순으로 읽힌다.

타입·impl·re-export 무접촉 · 동작 변경 0 · cargo test --all 570 passed (직전 형상과 동일).

Author: jun0

REPORT.md

@@ -1,5 +1,27 @@
 # REPORT
 
+## [2026-09-16] `MethodHandleKind` 위치 재결정 — **옮기지 않는다**(재결정의 답이 「그대로」다) (rustjava-methodhandlekind-placement-revisit-after-pr44)
+- 무엇을: `MethodHandleKind`·`MethodHandleRef` 를 `constant_pool.rs` 로 옮길지 **재결정**했다. ⇒ **`attribute.rs` 에 남긴다.**
+  코드 변경은 **그 판단과 «재개 조건»을 doc 주석에 적은 것뿐**(타입·`impl`·re-export 무접촉 · 동작 변경 0).
+- 왜: 채택 제안 `2026-09-16-bootstrap-methods-and-method-handle#p2`. ★낱말이 `Re-decide` 이고 ★**「아니오」도 정당한 답**이다.
+- 사용자 영향: 없다(배치 판정 · 공개 API 변화 0).
+- ★**제안이 적은 배치 사유 «둘» 중 하나만 만료됐다**: ⑵「형제 회차가 `constant_pool.rs` 를 열어 두고 있었다」는
+  **만료**(PR **#44** `MERGED` · `2026-09-16T02:13:39Z` · 머지커밋 `dc03593` · ★그 PR 파일 목록에 그 파일이 실제로 있다) ·
+  ⑴「유일한 소비자가 `BootstrapMethods` 속성이다」는 ★**여전히 참**이다.
+- ★★**제안이 건 조건이 이미 충족됐고, 그 조건이 «declined» 를 가리킨다**: 「⒝(콜사이트 링크) 착지 후에 정하라」의
+  그 ⒝ 가 오늘 **PR #48** 로 착지했는데 ★**그 소비자마저 `bootstrap.method.kind` 로 읽는다**
+  (`jvm-bytecode/src/string_concat.rs:81`). `MethodHandleRef::resolve` 호출부는 ★**`attribute.rs:116` 단 1곳**이다.
+- ★★**그러나 escape 절에 기대지 않았다 — 코드에서 더 나은 이유를 찾았다.** `constant_pool.rs` 는 **이미**
+  CONSTANT_MethodHandle 을 어디까지 해독할지 정해 뒀다 — `ConstantPoolReference::MethodHandle` = ★**피연산자 0**
+  (「아무도 resolve 하지 않는다」). ⇒ 옮기면 ★**같은 상수의 «두 해독»이 한 파일에 나란히 서서 모순으로 읽힌다** —
+  이동이 없애려던 오해를 오히려 키운다.
+- ★**잃는 것**: 「속성 파일이 상수 풀 타입을 갖는다」는 오해는 **남는다**. 그 비용을 이동이 아니라 **주석**으로 갚았고,
+  ★**재개 조건**(이 속성 «밖»의 무언가가 method handle 을 해독할 때 — 유력 후보 `ldc`, 지금은 `UnsupportedFeature`)을 함께 박았다.
+- 검증: `cargo test --all` **570 / 0 failed / 1 ignored** — ★직전 형상과 **동일**(불변 증명) ·
+  `numstat` **10+/0−**(★삽입 의도이므로 「삭제행 0」 규율 비해당) · DoD 7명령 rc=0.
+- 후속 추천: ★**새 카드 0** — 「X 가 생기면 다시 열어라」를 cockpit 열린 추천으로 띄우면 **집행 불가한 카드가 영구히 남는다**.
+  재개 조건은 **코드 주석**에 뒀다(고칠 사람이 보는 자리). 상세 = `docs/worklog/2026-09-16-methodhandlekind-placement-revisit.md`.
+
 ## [2026-09-16] indy 픽스처에 JDK 핀을 «검사»로 박고, 슬롯 회계 직접 시험을 넣었다 (rustjava-indy-fixture-jdk-pin-and-slot-accounting-test)
 - 무엇을: ⒜`test-data/indy` 의 javac 픽스처가 **class file 65.0**(= `--release 21`)을 유지하는지 **커밋된 바이트로** 검사한다.
   ⒝`parse_all` 의 「long·double **만** 상수풀 2칸」 규칙을 **파서 단위에서 직접** 문다.

STATE.md

@@ -4,6 +4,28 @@
 (없음 — 2026-09-16 실측: 착수 시 진행 티켓 0 · 열린 PR 0. ※「열린 PR 0」은 ★**이 회차 PR 착지 시점 기준**이다 — 회신 시점에는 그 PR 자신이 열려 있다)
 
 ## 완료
+- [rustjava-methodhandlekind-placement-revisit-after-pr44] ★★**`MethodHandleKind` 위치 «재결정» — 답은 「그대로 둔다」.**
+  채택 제안 `2026-09-16-bootstrap-methods-and-method-handle#p2`(worklog json `adoptedProposals` 기록).
+  ★**낱말이 `Re-decide` 다 — 「아니오」도 정당한 답이고, 이 회차의 답이 그것이다.** 코드 변경은
+  **판단과 재개 조건을 doc 주석에 적은 것뿐**(타입·`impl`·`lib.rs` re-export **무접촉** · 공개 API 변화 **0** · 동작 변경 **0**).
+  ★★**제안이 적은 배치 사유 «둘» 중 «하나»만 만료됐다** — 그 구분이 이 회차의 전부다:
+  ⑵「형제 회차가 `constant_pool.rs` 를 **열어 두고** 있었다」 = ★**만료**(PR **#44** `MERGED` ·
+  `2026-09-16T02:13:39Z` · 머지커밋 `dc03593` · ★**그 PR 파일 목록에 `classfile/src/constant_pool.rs` 가 실재**) ·
+  ⑴「**유일한 소비자**가 `BootstrapMethods` 속성이다」 = ★**여전히 참**(전수: `MethodHandleRef::resolve` 호출부
+  **`attribute.rs:116` 단 1곳**·`resolve` 는 `pub` 도 아니다 · `MethodHandleKind` 읽기는 **전건 `bootstrap.method.kind` 경유**).
+  ★★**제안이 스스로 건 조건이 이미 충족됐고 그 조건이 «declined» 를 가리킨다** — 「⒝(콜사이트 링크) 착지 «후»에 정하라」의
+  그 ⒝ 가 **오늘 PR #48 로 착지**했는데 ★**그 소비자마저 `bootstrap.method.kind` 로 읽는다**(`jvm-bytecode/src/string_concat.rs:81`).
+  ★★**그러나 그 escape 절에 기대지 않았다 — 코드에서 «더 나은» 이유를 찾았다**: `constant_pool.rs` 는 **이미**
+  CONSTANT_MethodHandle 의 해독 깊이를 정해 뒀다 — `ConstantPoolReference::MethodHandle` = ★**피연산자 0**
+  (그 자리 주석: 「resolve 하려면 없는 기구가 필요하고 유일한 소비자 verifier 는 "not implemented" 로 바꾼다」).
+  ⇒ ★**옮기면 «같은 상수의 두 해독»이 한 파일에 나란히 서서 «모순»으로 읽힌다** — 이동이 없애려던 오해를 **키운다**.
+  ★**잃는 것을 숨기지 않는다**: 「속성 파일이 상수 풀 타입을 갖는다」는 오해는 **남는다**. 이동이 아니라 **주석**으로 갚았고,
+  ★**재개 조건**을 함께 박았다 — 「이 속성 «밖»의 무언가가 method handle 을 해독하면 다시 열어라」(유력 후보 `ldc` ·
+  지금은 `jvm-bytecode/src/verifier.rs:32` 가 `UnsupportedFeature` 로 답한다).
+  ★**불변 증명**(이동 0이라 개악 대조가 아니라 «불변»이 그 자리를 진다): `cargo test --all` **570 / 0 failed / 1 ignored**
+  = ★직전 형상 `b3a20ae` 와 **동일** · `numstat` **10+/0−**(★**삽입 의도**이므로 「치환인데 삭제행 0이면 의심하라」 **비해당** — 선언해 둔다) ·
+  ★「옮기기 전 위치 참조 0」 축은 **해당 없음**(이동이 없다) · DoD **7줄 전건 rc=0**.
+  ★**후속 제안 카드 0** — 「X 가 생기면 다시 열어라」를 cockpit 열린 추천으로 띄우면 **집행 불가한 카드가 영구히 남는다.**
 - [rustjava-indy-fixture-jdk-pin-and-slot-accounting-test] ★★**시험 위생 둘 — indy 픽스처 JDK 핀을 «검사»로 박고, 슬롯 회계를 파서 단위에서 직접 물게 했다.**
   채택 제안 **둘**을 한 회차가 닫았다(worklog json `adoptedProposals` 전건 기록):
   `2026-09-16-cp-tags-16-17-execution-fixtures#p0` · `#p1`.

classfile/src/attribute.rs

@@ -16,6 +16,16 @@ use crate::{ConstantPoolReference, FieldMethodref, constant_pool::ConstantPoolIt
 /// not say `invokestatic` to anyone reading the call site code. Which kinds pair with which
 /// member reference is *not* checked here — `validation::validate_constant_pool` owns that rule,
 /// and duplicating it would give the two places a chance to disagree.
+///
+/// Lives in the attribute file, not in `constant_pool.rs`, and that was re-decided rather than
+/// inherited. `constant_pool.rs` has already settled how much of a CONSTANT_MethodHandle a
+/// constant pool reader gets: `ConstantPoolReference::MethodHandle`, carrying no operand, because
+/// nothing resolves one. This deeper decode exists for exactly one reader — the `BootstrapMethods`
+/// attribute below, which is the only thing that calls `MethodHandleRef::resolve`. Moving it over
+/// would stand two different decodings of the same constant side by side in one file and read as a
+/// contradiction. Re-open the question when something outside this attribute decodes a method
+/// handle — the `ldc` path is the likely one, and today it answers `UnsupportedFeature` instead
+/// (`jvm_bytecode::verifier`).
 #[derive(Clone, Copy, Debug, Eq, PartialEq)]
 pub enum MethodHandleKind {
     GetField,

docs/worklog/2026-09-16-methodhandlekind-placement-revisit.json

@@ -0,0 +1,24 @@
+{
+  "schema": "worklog/v1",
+  "date": "2026-09-16",
+  "taskId": "rustjava-methodhandlekind-placement-revisit-after-pr44",
+  "summary": "Re-decided where MethodHandleKind lives now that PR #44 has landed. The answer is: leave it in attribute.rs. Recorded the reasoning, and the condition that would re-open it, in the doc comment.",
+  "changes": [
+    "classfile/src/attribute.rs: MethodHandleKind's doc comment now states why it lives in the attribute file rather than constant_pool.rs, and names the trigger that would re-open the question. No type, impl or re-export touched."
+  ],
+  "verification": [
+    "cargo test --all: 570 passed / 0 failed / 1 ignored — identical to the pre-change tree (b3a20ae)",
+    "git numstat: 10 insertions / 0 deletions in one file; the intent was insertion, not replacement, so the zero-deletion rule does not apply",
+    "PR #44 re-measured at start: state=MERGED, mergedAt=2026-09-16T02:13:39Z, mergeCommit dc03593699cd3ca8d4ef41109ca8371d01b4c4c8, and its file list does contain classfile/src/constant_pool.rs",
+    "consumer census: MethodHandleRef::resolve has exactly one call site (attribute.rs:116, inside the BootstrapMethod parser, and resolve is not pub); every MethodHandleKind read goes through BootstrapMethod.method.kind (classfile/tests/test.rs:223,270 and jvm-bytecode/src/string_concat.rs:81)",
+    "the ldc path does not decode a method handle: jvm-bytecode/src/verifier.rs:32 answers UnsupportedFeature off ConstantPoolReference::MethodHandle",
+    "DoD 7 commands all rc=0"
+  ],
+  "issues": [
+    "The cost the ticket named — an attributes file holding a constant pool type can mislead a reader — is real and remains. It is paid down with the doc comment rather than with a move, because moving would put a payload-free decoding and a full decoding of the same constant side by side in constant_pool.rs."
+  ],
+  "adoptedProposals": [
+    "2026-09-16-bootstrap-methods-and-method-handle#p2"
+  ],
+  "proposals": []
+}

docs/worklog/2026-09-16-methodhandlekind-placement-revisit.md

@@ -0,0 +1,61 @@
+# 2026-09-16 — `MethodHandleKind` 위치 재결정 (PR #44 착지 후)
+
+티켓 `rustjava-methodhandlekind-placement-revisit-after-pr44` — 채택 제안
+`2026-09-16-bootstrap-methods-and-method-handle#p2`.
+
+## 결정: **옮기지 않는다.** `MethodHandleKind`·`MethodHandleRef` 는 `classfile/src/attribute.rs` 에 남는다
+
+제안 낱말이 `Re-decide` 였고, ★**재결정의 답이 「그대로」다.** 근거는 취향이 아니라 아래 실측이다.
+
+## ⓐ 「이유가 만료됐다」 — 반은 맞고 반은 아니다
+
+제안이 적은 배치 사유는 **둘**이다(원문 `why`):
+1. 「the **only consumer today** is the BootstrapMethods attribute」
+2. 「the sibling round had `constant_pool.rs` **open with edits**」 ← 제안 자신이 「PR 이 머지되는 순간 사라진다」고 적은 그것
+
+**⑵는 만료됐다**(착수 시 재측): PR **#44** `state=MERGED` · `mergedAt=2026-09-16T02:13:39Z` ·
+머지커밋 `dc03593699cd3ca8d4ef41109ca8371d01b4c4c8` · ★**그 PR 의 파일 목록에 `classfile/src/constant_pool.rs` 가 실제로 있다**
+(사유가 가리킨 그 파일이 맞다 — 이름만 같은 다른 파일이 아니다).
+
+**⑴은 살아 있다.** 이 회차의 전수 실측:
+
+| 참조 | 자리 | 경로 |
+|---|---|---|
+| `MethodHandleRef::resolve` **호출** | `attribute.rs:116` **단 1곳** | `BootstrapMethod` 파서 안(`resolve` 는 `pub` 도 아니다) |
+| `MethodHandleKind` 읽기 | `classfile/tests/test.rs:223,270` | `bootstrap_methods(&class)[0].method.kind` |
+| 〃 | `jvm-bytecode/src/string_concat.rs:81` | `bootstrap.method.kind != MethodHandleKind::InvokeStatic` |
+
+★**제안이 조건으로 건 「⒝(콜사이트 링크)가 착지한 뒤에 정하라」는 이미 충족됐다** — 그 ⒝ 가 **PR #48**
+(`rustjava-link-stringconcatfactory-…`)로 오늘 착지했고, ★**그 소비자조차 `BootstrapMethod` 를 통해 읽는다.**
+⇒ 제안 자신의 `tradeoff` 가 적은 처분이 그대로 발동한다:
+「if ⒝ lands and **still only reads them through BootstrapMethod**, leaving them alone is correct and this
+proposal should be **declined** rather than done.」
+
+## ⓑ 「옮기지 않는다」의 근거는 그 escape 절 «하나»가 아니다 — 코드에서 더 나은 이유를 찾았다
+
+`constant_pool.rs` 는 **이미** CONSTANT_MethodHandle 을 어디까지 해독할지 정해 두었다:
+`ConstantPoolReference::MethodHandle` — ★**피연산자 0**. 그 자리의 주석이 이유를 적는다(요지):
+「method handle 을 resolve 하려면 없는 기구가 필요하고, 유일한 소비자인 verifier 는 그것을 **"not implemented"** 로 바꾼다」.
+
+⇒ ★**거기로 옮기면 «같은 상수의 서로 다른 두 해독»이 한 파일에 나란히 선다** —
+「아무도 resolve 하지 않는다」는 무-페이로드 해독과 「이 멤버를 가리킨다」는 완전 해독이 이웃한다.
+★**그것은 읽는 사람에게 모순으로 보이고, 이 이동이 없애려던 바로 그 오해를 «더 크게» 만든다.**
+
+## 잃는 것 — 숨기지 않는다
+
+티켓 계약 2⒝ 가 적은 「그대로 두면 **「속성 파일이 상수 풀 타입을 갖는다」는 오해가 남는다**」는 **참이고, 남는다.**
+⇒ 그 비용을 «이동»이 아니라 ★**그 자리의 주석**으로 갚았다 — `MethodHandleKind` doc 에 ⑴왜 여기인지
+⑵`constant_pool.rs` 가 이미 내린 결정 ⑶★**언제 이 판단을 다시 열어야 하는지**(= 이 속성 «밖»의 무언가가
+method handle 을 해독할 때 · 유력 후보는 `ldc` 경로이고 지금은 `UnsupportedFeature` 로 답한다)를 적었다.
+★**다음 사람이 같은 질문을 «처음부터» 다시 하지 않게 하는 것이 이 회차의 실제 산출물**이다.
+
+★**후속 제안 카드를 새로 만들지 않았다** — 「X 가 생기면 다시 열어라」는 조건부 항목이고, 그것을 cockpit
+열린 추천으로 띄우면 **아무도 집행할 수 없는 카드가 영구히 남는다**. 재개 조건은 **코드 주석**에 뒀다(고칠 사람이 보는 자리).
+
+## 불변 증명 (Acceptance ⒝ — 이동이 없으므로 «불변»이 그 자리를 진다)
+
+- `cargo test --all` **570 passed / 0 failed / 1 ignored** — ★직전 회차(`#50` 착지 형상 `b3a20ae`)와 **동일**.
+- `git show --numstat` = **10 insertions / 0 deletions**(한 파일) ⇒ ★**doc 주석 «삽입»이고 «치환»이 아니다** —
+  계약의 「치환 의도인데 삭제행 0이면 의심하라」는 **의도가 삽입이므로 해당하지 않는다**(그 사실을 여기 적어 둔다).
+- ★**「옮기기 전 위치를 참조하는 코드 0」 축은 «해당 없음»이다**(이동 0) — 조용히 빼지 않고 선언한다.
+- 타입 정의·`impl`·re-export(`classfile/src/lib.rs:15`) **무접촉** ⇒ 공개 API 변화 **0**.