Conjecture $(\mathsf{FCD}) (\mathsf{RLD})_{\mathrm{out}} f = f$ for every funcoid $f$.
The counterexample is $f = {(=)}|_{\Omega}$ where $\Omega$ is the Fréchet filter.