Optional javaspec adapter that uses ByteBuddy Agent / java.lang.instrument to support final-class, static-method, and construction-aware doubles. Not part of the zero-runtime- dependency core artifact.