Strictly pseudoconvex formal-embedding convergence conjecture

Let $N$ and $N'$ be integers with $2\le N\le N'$. Let $M\subset\mathbb C^N$ and $M'\subset\mathbb C^{N'}$ be real-analytic strictly pseudoconvex hypersurfaces, and let a formal embedding send $M$ into $M'$. Strictly pseudoconvex formal-embedding convergence conjecture. The formal embedding is convergent. This is presented as an accessible special case of the broader convergence conjecture; the source records a theorem for target dimension $N+1$, while the general dimensional range remains the conjectural case.