With #7954 merged, `ConfigProvider#getInstrumentationConfig` is inconsistent with the spec. We accepted this because [as this comment mentioned](https://github.com/open-telemetry/opentelemetry-java/pull/7927#discussion_r2662339452), we're ok with this because its an incubating module. However, we must reconcile the spec or the code before stabilizing.