[rustjava-adopt-reject-duplicate-bootstrap-methods-p0] fix(classfile): 단일값 클래스 속성의 「개수 규칙」 — 진짜 JVM 이 거부하는 다섯에만

[Jun025]

채택 제안 2026-09-16-reject-duplicate-bootstrap-methods#p0 — 제목이 「Decide whether …」,
이 회차가 지는 것은 판정이다. 제안은 「아무도 읽지 않는 속성엔 답이 «아니오»일 수 있다」고 추측했다.

판정: 다섯에 «예». 그리고 제안의 값 전제가 거짓이었다

제안의 기준만으로는 «아니오»가 나온다 — 기존 검사가 적은 기준(「중복이 하류에서 임의의 선택을
관측 가능하게 만드는가」)에 해당하는 속성은 소비자 전수 실측상 BootstrapMethods 하나뿐이다.

판정을 바꾼 것은 진짜 JVM 이다. OpenJDK 26.0.1 에 한 속성씩 물었다(런처 메시지는 원인을 가리므로
Class.forName 으로 진단문을 받았다):

중복시킨 속성	major	OpenJDK 26.0.1
SourceFile·InnerClasses·SourceDebugExtension·BootstrapMethods	52	ClassFormatError: Multiple … attributes
NestHost·NestMembers	55	ClassFormatError
★NestHost	52	로드된다 — 미정의라 무시(JVMS 4.7.1)
★Synthetic	52	로드된다 — 스펙은 at-most-one 인데 HotSpot 은 둘을 받는다

⇒ 「오늘 로드되는 파일을 더 거부한다」는 그 다섯에 «거짓» — 그 파일들은 진짜 JVM 에서도 안 열린다.

그래서 «표»이고 «버전 게이트»다

아래 두 줄이 통제군 픽스처로 고정돼 있다 — 버전 게이트를 빼면 NestHost@52 가, Synthetic 을 넣으면
그쪽이 red 가 된다(M1·M2).

양방향

M1 게이트 제거 → 통제군 red · M2 Synthetic 추가 → 통제군 red ·
M3 SourceFile 한 칸 제거 → 그 픽스처만 red · M4 호출부 원복 → 다섯 red · 복원 17/0.

대가

• 제품 동작 변경: 그 다섯을 둘씩 가진 클래스가 로드되지 않는다.
• 표는 수동 목록 — 속성이 늘어도 행을 더하기 전엔 안 덮이고 울어 주는 것이 없다.
• Synthetic 배제는 JVM 하나의 행동에 걸려 있다.
• ★**attribute.rs 를 만졌다**(제안 target 은 validation.rs 뿐): SourceDebugExtension 파싱 팔 한 줄로
  기존 dead variant 를 살렸다 — 없으면 중복이 Unknown 에 섞여 구별 불가다.

cargo test --all 578 → 579 / 0 failed / 1 ignored · 버전 표 +7행 · DoD 7명령 rc=0.