javap 출력은 source 복원이 아니라 JVM이 보는 descriptor·flag·instruction·attribute를 보여 줍니다.
generic·lambda·finally
lowering·type erasure
descriptor·flags·Code·attributes
binary contract 검사
interpreter + JIT
핵심: runtime frame과 linkage 오류를 source 이름만으로 설명할 수 없을 때 classfile 경계를 확인합니다.