Question about the Lorenz gauge in classical electrodynamics

The Lorenz gauge is the gauge such that $$\nabla \cdot \mathbf{A} = -\mu_0\epsilon_0\frac{\partial\Phi}{\partial t}.$$ This condition dictates what $$\lambda$$ is in $$\mathbf{A}' = \mathbf{A} + \nabla \lambda.$$ However, $$\Phi$$ can be adjusted via the equation $$\Phi' = \Phi - \frac{\partial \lambda}{\partial t}.$$ This seems circular to me because $$\lambda$$ is found using $$\Phi$$ which itself depends on $$\lambda$$. I don't know if $$\lambda$$ can be solved for in this case. I'd appreciate it if someone would dispel my confusion.

The Maxwell equations are independent of the gauge function $$\lambda$$. Our gauge condition is given by

$$\nabla \cdot \mathbf{A} = -\frac{1}{c^2}\frac{\partial\Phi}{\partial t}$$

However, note that there is still a subspace of nontrivial gauge transformations that can be made when we take $$\mathbf{A} \to \mathbf{A}'$$ and $$\varphi \to \varphi'$$. Note that this still doesn't completely fix the gauge. Since we can can still make the transformations

$$\mathbf{A}' = \mathbf{A} + \nabla \lambda$$

$$\Phi' = \Phi - \frac{\partial \lambda}{\partial t}.$$

for some special kinds (but not uniquely defined) of $$\lambda$$s and still have a valid solution to Maxwell's equations. That is, if we can fix $$\lambda$$ then we fix the gauge.

But what do I mean by special? To figure that out we apply the gauge transformation to the Lorentz condition

\begin{align*} \nabla \cdot \mathbf{A} = -\frac{1}{c^2}\frac{\partial\Phi}{\partial t} \to &\nabla \cdot \mathbf{A'} = -\frac{1}{c^2}\frac{\partial\Phi'}{\partial t}\\ &= \nabla\cdot \mathbf{A} + \nabla^2\lambda= - \frac{1}{c^2}\frac{\partial\Phi}{\partial t} + \frac{1}{c^2} \frac{\partial^2 \lambda}{\partial t^2} \end{align*}

So we see that we still have the freedom to choose any function $$\lambda$$ that satisfies

$$\nabla^2\lambda = \frac{1}{c^2} \frac{\partial^2 \lambda}{\partial t^2} \tag{c}.$$

Note that any such $$\lambda$$ satisfying (c) is still a valid solution to Maxwell's equations (it should be clear that there is not just one $$\lambda$$ that does this). That is, there is still a redundancy in the theory. To completely fix the gauge you need to add boundary conditions to equation (c).