[rustjava-adopt-loadable-bootstrap-arguments-diagnostic] docs: 이 회차는 대전제 ⓒ 에서 끝난다 — 그 일을 하는 축이 이미 떠 있다 [rustjava-adopt-loadable-bootstrap-arguments-diagnostic-fix] [rustjava-adopt-loadable-bootstrap-arguments-diagnostic-fix2]

[Jun025]

채택 제안 2026-09-17-loadable-bootstrap-arguments#p0 의 처분. ★코드 0행 — classfile/src/{error,validation}.rs 무접촉.

제안의 전제는 참이다 — CLI 로 돌려서 확인했다

main @ 8c7b473f 에서 서로 다른 세 규칙이 글자 하나 다르지 않은 같은 문장을 낸다:

LdcDynamicBSMArgPastEnd  (나쁜 argument)   → java.lang.ClassFormatError: Invalid class file
LdcDynamicDuplicateBSM   (중복 속성)        → java.lang.ClassFormatError: Invalid class file
LdcDynamicOldMajor       (버전 게이트)      → java.lang.ClassFormatError: Invalid class file

★그런데 겹침이 «부분»이 아니라 «전부»다

축	제안	PR #67
target	error.rs · validation.rs	★정확히 그 둘(error.rs 10/1 · validation.rs 61/27)
이 술어	「어느 argument 가 왜」를 말하게 하라	★이미 사유를 준다
밋밋한 문면	없애라	★두 경계 자리를 둘 다 고쳤다

★제안 자신이 적어 두었다 — tradeoff: 「the two should be done together rather than twice」.

main 에서 시작하면 같은 enum 을 세 번째로 고치고, #67 회차가 이미 보고한 커버리지 구멍을 다시 발견한다.

남는 잔여는 있다 — 다만 좁다

#67 의 payload 는 &'static str 이라 ★런타임 인덱스를 구조적으로 담을 수 없다.

제안이 요구한 것	#67 착지 후
「기대」	★달성(규칙 문면)
「인덱스」·「실제」	★미달

⇒ 새 카드를 좁혀 냈다(effort S). 원 제안은 adoptedProposals 로 처분하되 잔여를 정확한 범위로 다시 세운다 — 안 그러면 카드와 함께 잔여도 사라진다.

제안이 적지 않은 설계 제약

ClassFileError 는 Copy 이고 네 크레이트가 기댄다(tests/test.rs 13 · validation.rs 8 · class.rs 7 · jvm-bytecode/src/error.rs 5). String 을 넣으면 깨지지만 정적사유 + u16 인덱스 + u8 태그면 셋 다 Copy 라 깨지 않고 된다. 후속이 다시 발견하지 않도록 새 카드에 적었다.

잃는 것

★main 은 #67 착지까지 밋밋한 채로 남는다(오늘 사용자는 규칙 이름조차 못 받는다) · 이 회차가 전달한 것은 값이 아니라 순서다 · #67 이 폐기되면 이 판단은 한 회차를 버린 것이 된다.

cargo test --all 583/0/1(불변 · base 8c7b473f) · check-dod-ci-parity OK.