An ambient extension can leave category O

Given: The setting above and the hypotheses in the statement refuted.

Fix a finite-dimensional complex semisimple Lie algebra $\mathfrak{g}$, a Cartan subalgebra $\mathfrak{h}$, and a positive Borel $\mathfrak{b}=\mathfrak{h}\oplus {\mathfrak{n}}^{+}$. Write $Q^{+}={\sum }_i{\mathbb{Z}}_{\ge 0}{\alpha }_i$, $\mu \le \lambda$ when $\lambda -\mu \in Q^{+}$, and $w\cdot \lambda =w(\lambda +\rho )-\rho$. The BGG category $\mathcal{O}$ is the full subcategory of left $U(\mathfrak{g})$-modules $M$ satisfying all three conditions: $M$ is finitely generated; $M={⨁}_{\mu \in {\mathfrak{h}}^{\ast }}{M}_{\mu }$ where $M_{\mu }=\{v:hv=\mu (h)v\text{ for all }h\in \mathfrak{h}\}$; and $U({\mathfrak{n}}^{+})v$ is finite dimensional for each $v\in M$. Its morphisms are all $\mathfrak{g}$-linear maps. The zero module is included, generated by the empty set. The enveloping and triangular conventions are those of thm-pbw-ordered-monomial-basis-for-the-enveloping-algebra and thm-triangular-decomposition-from-a-chosen-positive-root-system. (The classical BGG category O)

Let $x_1,\dots ,x_r$ be an ordered basis of a finite-dimensional complex Lie algebra $\mathfrak{g}$. Then the monomials $x_1^{a_1}{x}_2^{a_2}\cdots x_r^{a_r}(a_i\in {\mathbb{N}}_0)$ form a basis of $U(\mathfrak{g})$. In particular, multiplication identifies $\mathrm{gr}U(\mathfrak{g})$ with the symmetric algebra $S(\mathfrak{g})$ on the symbols of the $x_i$. (PBW gives an ordered monomial basis for the enveloping algebra)

For $\lambda \in {\mathfrak{h}}^{\ast }$, the Verma module is the induced $\mathfrak{g}$-module $M(\lambda ):=U(\mathfrak{g}){\otimes }_{U(\mathfrak{b})}{\mathbb{C}}_{\lambda },$ where $U(\mathfrak{g})$ is the quotient algebra of def-universal-enveloping-algebra-as-a-tensor-quotient and ${\mathbb{C}}_{\lambda }$ is def-one-dimensional-borel-module-of-weight-lambda. Write $v_{\lambda }:=1\otimes c_{\lambda }$. Thus $M(\lambda )$ is the quotient of $U(\mathfrak{g})$ by the left ideal generated by $x$ for $x\in {\mathfrak{n}}^{+}$ and $h-\lambda (h)$ for $h\in \mathfrak{h}$; in particular, ${\mathfrak{n}}^{+}{v}_{\lambda }=0$ and $h{v}_{\lambda }=\lambda (h)v_{\lambda }$. (Verma modules)