Validates structured Java oracle cases and their checked-in typed baseline.

Cases identify manifest overloads and inputs without copying class, member, or descriptor metadata. The JVM baseline records the descriptor actually invoked by the pinned oracle, making descriptor drift independently visible.