Two circuit automorphisms extending the same element of $Γₙ$ differ by an automorphism fixing every input gate, since input labels are distinct; by induction on the child relation this automorphism fixes every gate, using that $C$ is reduced.