I'm a bit confused by the role of the Weber function in generating ray class fields of imaginary quadratic fields of class number one. More specifically, let $K$ be such a field and $E$ an elliptic curve defined over $\mathbf{Q}$ with CM by $\mathscr{O}_K$. Let $\mathfrak{m}$ be a modulus for $K$. To get the ray class field for $\mathfrak{m}$, we consider the torsion group $E[\mathfrak{m}]$. This is a free $\mathscr{O}_K/\mathfrak{m}$-module of rank $1$, and $G_K$ acts on it by $\mathscr{O}_K$-linear automorphisms. Thus we have a character $\alpha \colon \mathrm{Gal}(K(E[\mathfrak{m}])/K) \hookrightarrow \mathscr{O}_K^\times$. Moreover, the Main Theorem of CM tells us that $\alpha(\mathrm{rec}(s))$ acts by $\lambda(s) s_\mathfrak{m}^{-1}$ for $\lambda \colon \mathbf{A}_{K, f}^\times \rightarrow K^\times$ the CM Großencharacter. Note that if $s \equiv 1 \pmod {\mathfrak{m}}$, this tells us that $\alpha(\mathrm{rec}(s)) = \lambda(s) \pmod {\mathfrak{m}}$, and that if $s = (\gamma)$ is a principal idele, that $\lambda(s) = s_\mathfrak{m} \pmod{\mathfrak{m}}$.
Now, at least if $\mathfrak{m}$ is divisible by the conductor of $\lambda$ (i.e. $\mathfrak{m}$ is divisible by the primes of bad reduction of $E$), we see that $\alpha(\mathrm{rec}(s))$ only depends on the image of $s$ in $\mathrm{Cl}_\mathfrak{m}(K)$. Thus, we have a map $\alpha \circ \mathrm{rec} \colon \mathrm{Cl}_{\mathfrak{m}}(K) \rightarrow \mathrm{Gal}(K(E[\mathfrak{m}])/K) \hookrightarrow (\mathscr{O}_K/\mathfrak{m})^\times$.
If we compose $\alpha \circ \mathrm{rec}$ with the map $(\mathscr{O}_K/\mathfrak{m})^\times \rightarrow (\mathscr{O}_K/\mathfrak{m})^\times/\mathscr{O}^\times = \mathrm{Cl}_\mathfrak{m}(K)$, we certainly get an isomorphism, since we can see that $\alpha \circ \mathrm{rec}(\pi_v) = \lambda(\pi_v)$ is a generator of $v$ for all but finitely many primes $v$ of $K$ which are split over $\mathbf{Q}$.
In the sources I've read on this, it seems that one replaces $\alpha \colon \mathrm{Gal}(K(E[\mathfrak{m}])/K) \hookrightarrow \mathscr{O}_K^\times$ with $\mathrm{Gal}(K(h(E[\mathfrak{m}]))/K) \hookrightarrow (\mathscr{O}_K/\mathfrak{m})^\times/\mathscr{O}_K^\times$ where $h$ is a Weber function. This shows that $K(h(E[\mathfrak{m}]))$ is the ray class field of $K$ with conductor $\mathfrak{m}$. One sometimes comments that the field $K(E[\mathfrak{m}])$ might not be abelian over $K$ in general, since $E$ is only defined over the Hilbert class field of $K$. But in the class number one case, this problem goes away.
So what happens to $\alpha$? We've shown that when $\mathfrak{m}$ is divisible by the conductor of $\lambda$, $K(E[\mathfrak{m}])$ is an abelian extension of $K$ such that the reciprocity map kills ideals with generators which are congruent to $1$ mod $\mathfrak{m}$, so it must be contained in the ray class field with conductor $\mathfrak{m}$, i.e. the subfield $K(h(E[\mathfrak{m}])$. Thus, these are the same field. Is $\alpha$ surjective, or is the image some index $2$ (or $4$ or $6$ for the cases of extra automorphisms, I suppose) subgroup of $(\mathscr{O}_K/\mathfrak{m})^\times$ mapping isomorphically onto the ray class group?
If $\mathfrak{m}$ is not divisible by the conductor of $\lambda$, $K(h(E[\mathfrak{m}]))$ is still the ray class field of conductor $\mathfrak{m}$, but I don't think my proof shows the reciprocity map into $\mathrm{Gal}(K(E[\mathfrak{m}])/K)$ kills principal ideals with a generator which is congruent to $1$ mod $\mathfrak{m}$. Are these still the same field? If not, $K(E[\mathfrak{m}])$ is some abelian extension of $K$, so it must sit inside $K(h(E[\mathfrak{n}]))$ for some $\mathfrak{n}$ - which one?
