Under choice, the Niemytzki plane is Tychonoff and locally metrizable but not normal, paracompact, or metrizable

Tangent disks and ordinary disks satisfy [L1]: intersections at a positive-height point contain a small ordinary disk, and a tangent disk at a boundary point contains a smaller tangent disk. Distinct points have disjoint such members: use small ordinary disks above the boundary, and for a boundary point $(a,0)$ choose a sufficiently small tangent disk, whose closure is tangent only at $(a,0)$. Thus $M$ is Hausdorff and hence $T_1$ by the two disjoint opens. The boundary $D=\mathbb{R}\times \{0\}$ is closed and discrete, while $E=\mathbb{Q}\times {\mathbb{Q}}_{>0}$ is countable and dense by the rational-density property.

Suppose the plane were normal. Then [L2] gives an injection $\mathcal{P}(D)\to \mathcal{P}(E)$. For the cardinal bridge in [L3], binary sequences map bijectively to the Cantor set and hence inject into $\mathbb{R}$; $x\mapsto \{q\in \mathbb{Q}:\iota (q)<x\}$ injects $\mathbb{R}$ into $\mathcal{P}(\mathbb{Q})$ by rational density; $\mathbb{Q}\approx \mathbb{N}$ transports the latter to $\mathcal{P}(\mathbb{N})$; and characteristic functions identify $\mathcal{P}(\mathbb{N})$ with binary sequences. Schröder--Bernstein therefore gives $\mathbb{R}\approx \mathcal{P}(\mathbb{N})$, and the projection transports this to $D\approx \mathcal{P}(\mathbb{N})$. By [L4], an injection $E\to \mathbb{N}$ induces an injection $\mathcal{P}(E)\to \mathcal{P}(\mathbb{N})$, while the just-established bijection gives $\mathcal{P}(D)\approx \mathcal{P}(\mathcal{P}(\mathbb{N}))$. Their composite is therefore an injection $\mathcal{P}(\mathcal{P}(\mathbb{N}))\to \mathcal{P}(\mathbb{N})$. The singleton map supplies the reverse injection, so [L5] makes this impossible.

The tangent-disk coordinate charts obtained by radial projection from the tangency point give metrizable neighbourhoods at boundary points; Euclidean disks do so above the boundary. To separate a point $p$ from a closed $F$ not containing it, first take a basic neighbourhood of $p$ disjoint from $F$. If $p=(a,0)$, choose a tangent disk $T_r(p)$ disjoint from $F$ and define $f(p)=1$ and, for $(u,v)$ with $v>0$, $f(u,v)=\max \text{\hspace{0.17em}⁣}\{0,1-\frac{(u-a{)}^2+v^2}{rv}\}\mathrm{.}$ Its support is the smaller tangent disk $T_{r\mathrm{/}2}(p)$, and $f\to 1$ at $p$ because $(u-a{)}^2+v^2<\epsilon rv$ is exactly membership in a sufficiently small tangent disk. It is ordinarily continuous above the boundary and zero on a tangent neighbourhood of every other boundary point, so it is continuous on $M$ and vanishes on $F$. If $p$ has positive height, an ordinary Euclidean bump supported in a small disk disjoint from $F$ and from the boundary has the same properties, extended by zero elsewhere. Thus $M$ is completely regular; with the $T_1$ conclusion of step 1.1, [L6] makes it Tychonoff and locally metrizable.

Hence the plane is not normal. If it were paracompact, its Tychonoff property gives Hausdorffness and [L5] would make it normal; if it were metrizable, Stone's theorem, under choice: every metric space is paracompact would make it paracompact. Both are impossible.

This proves the stated profile.