Constraints on gas giant satellite formation from the interior states of