pub const RETIRED_PRELUDE_VERSIONS: &[&str];Expand description
Prelude tags this checker knows it is NOT. A certificate carrying one of them is refused with an explicit incompatibility — the axiom sets differ and no migration exists — rather than the generic “unknown version” a typo would get. The tag is never rewritten to make it fit.