Compact-group specialness conjecture for equivariant Kasparov theory

Let $G$ be a compact group. The equivariant Kasparov theory $KK^G$ is said to be very special when it has the special properties defined in the surrounding discussion. Compact-group specialness conjecture. If $G$ is a compact group, then $KK^G$-theory is very special. The conjecture proposes that the constructions and computations available in $GK^G$-theory transfer to $C^*$-algebras with compact-group actions, potentially allowing Kasparov products to be calculated in this setting.