Combined symmetries

Commuting lifted-linear and autoequivalence actions, including their topology, component transport, orbit spaces, period-map equivariance, and effective quotient. Proper discontinuity remains explicit external data, with only its valid point-stabilizer, quotient-separation, and free-locus covering consequences.