probe_candidate_version_semantics.ts