Function sh_eval_lifted_impl 

pub fn sh_eval_lifted_impl<W, const L: usize, const N: usize>(
    t: &ShTable<W::Primal, N>,
    x: W,
    y: W,
    z: W,
    out: &mut [W; N],
)
where
    W: FloatVector + PrimalProjection + CoreMath,

sh_eval_impl over a table stored in W’s primal type, each coefficient lifted through from_primal as it is read.

The generic fallback behind spherical_harmonics_with now that tables are Self::Primal-typed. For a type that is its own primal (Vector, Compensated) the lift is the identity and this folds to exactly sh_eval_impl, FMAs included. A composite gets correct-but-unspecialized code (its constants carry zeroed augmentation through full composite multiplies), which is why Dual overrides the method with sh_eval_mixed_impl instead.