Function kconst_kind_ord

crates/kernel/src/canonical_check.rs:440–449

A stable kind ordinal for cross-kind `KConst` comparison. Matches the compile-side `mut_const_kind` (`src/ix/compile.rs:2590`) tagging: Defn=0, Indc=1, Recr=2; Axio/Quot/Ctor are not block-eligible but receive distinct slots for total comparator behavior.

(c: &KConst<M>)

  match c {
    KConst::Defn { .. } => 0,
    KConst::Indc { .. } => 1,
    KConst::Recr { .. } => 2,
    KConst::Ctor { .. } => 3,
    KConst::Axio { .. } => 4,
    KConst::Quot { .. } => 5,
  }
}

/// Compare two block-eligible `KConst`s with full structural ordering.
/// Different kinds order by `kconst_kind_ord`; same-kind dispatch goes to
/// the kind-specific comparator.
///
/// `resolve_ctor` is invoked for each Indc-vs-Indc comparison to fetch