Describir: Curvature‐dimension condition of sub‐Riemannian α$\alpha$‐Grushin half‐spaces