[rustjava-adopt-indy-fixture-jdk-pin-and-slot-accounting-p1] test(fixtures): 「어느 javac 이 만들었나」를 기록에서 「검증」으로 바꾼다

[Jun025]

채택 제안 2026-09-16-indy-fixture-jdk-pin-and-slot-accounting#p1. ★제품 코드 무접촉(Rust 변경은 doc 주석 1곳).

★★제안의 결론 «둘»이 실측으로 반증됐다 — 그래서 제안이 «불가능»하다고 본 쪽을 만들었다

⑴ 「Nothing offline can verify a recorded compiler version … buys provenance, not enforcement」 → ★거짓.
javac 은 같은 소스·플래그·컴파일러에 결정적이다:

$ sh test-data/src/verify-javac-fixtures.sh
javac: javac 26.0.1
6 rebuilt: 6 reproduced, 0 differed; 0 could not be rebuilt

⇒ ★기록이 «재현»으로 검증된다.

⑵ 「강제 가능한 축은 constant_pool.rs 의 상수 개수뿐이고 한 픽스처만 덮는다」 → ★거짓.

픽스처	이미 있는 형상 단언
ConstantKinds	태그별 정확한 개수(MethodType 1 · Dynamic 3 · MethodHandle 7 · InvokeDynamic 3)
StringConcat	부트스트랩 4축 + 인자가 «가리키는 값»("a\u{1}") + ★바이트 창 [15,6,0,35](「layout changed」로 실패)
Lambda	LambdaMetafactory.metafactory · 인자 3 · ★args[0]==args[2]!=args[1]

★제안이 든 위험(「현대 javac 은 enum switch 를 condy 로 낸다」)은 ★**ConstantKinds 의 Dynamic 3 이 이미 잠그고 있다.**

만든 것 — test-data/src/verify-javac-fixtures.sh

• ★--release 를 픽스처 자신의 major − 44 에서 읽는다 ⇒ 외부 표 의존 0(형제 PR 미착지에도 무관).
• ★명시한 JAVAC 가 안 되면 조용히 대체하지 않고 rc=2 — 「무엇이 검증했나」가 흐려지면 안 된다.
• ★**「못 만들었다」와 「만들었는데 다르다」를 «가른다»** — 합치면 발견을 과장한다.
• ★CI 에 배선하지 않았다: 워크플로에도 PATH 에도 JDK 가 없어 ★어디서나 실패하거나 어디서나 건너뛴다.

★실패담 둘 — 밟은 대로 적는다

⑴command -v javac 이 macOS 스텁(실행되는데 「JDK 없음」을 출력)을 고른다 ⇒ 실행해서 판별.
⑵★**-sourcepath 를 넣었다가 되돌렸다** — test-data/src/Exception.java 가 java.lang.Exception 을 가려서
멀쩡히 재현되던 파일들이 incompatible types: Exception cannot be converted to Throwable 로 무너졌다(실측).
⇒ 그 대가(형제 참조 소스는 홀로 재빌드 불가)는 「could not be rebuilt」로 따로 보고한다.

개악 대조

조작	결과
커밋된 StringConcat.class 마지막 1바이트 반전	★✗ 감지
복원	6 reproduced
명시 JAVAC 부재	★rc=2 「nothing was verified」 — 통과 아님

★일반화 — 값만 적고 고치지 않았다

sh … test-data → 109 rebuilt · 104 재현 · ★5 상이 · 3 재빌드 불가
(상이: MonitorSemantics+내부 2 · NativeMethod @--release 8 · OddEven @21).
★원인은 단정하지 않는다 — 「다른 컴파일러」와 「빌드 뒤 소스 수정」이 둘 다 맞는다. 범위 밖이라 후속(M)으로 넘겼다.
★그래도 적는 이유: ★제안이 걱정한 드리프트가 «실재»한다는 첫 «직접» 증거다.

검증

cargo test --all --no-fail-fast 572 passed / 0 failed / 1 ignored(doc 주석만 바꿔 불변) · sh -n rc=0 · DoD 7명령 rc=0.