ALE scaling-limit conjecture for boundary-touching curves in free boundary dimers

For any $z>0$, superimpose two independent free boundary dimer models in the upper half-plane, and consider the resulting collection of boundary-touching curves. Free-boundary dimer ALE conjecture. In the scaling limit, this collection converges to the Arc Loop Ensemble, denoted by $\mathrm{ALE}$. The Arc Loop Ensemble is the law identified with level lines of a Gaussian free field with Neumann boundary conditions; the source gives no resolution of this conjecture.