The available conditional classification

A scheduler change is not automatically an element of $\mathrm{Aut}(K)$. Commutation of independent operations concerns legal execution interleavings; homogeneity concerns transitivity of a linear group on the interior of an extracted cone. Renaming the former does not prove the latter.