Harpaz's conjecture on the operadic nerve functor

Let $\mathsf{Op}_{\mathrm{Kan}}$ be the category of Kan-enriched operads and let $\mathsf{LQOp}$ be the category of Lurie quasioperads. Consider Lurie's operadic nerve functor

$$N_{\mathrm{Lurie}}\colon\mathsf{Op}_{\mathrm{Kan}}\to\mathsf{LQOp}.$$

Harpaz's conjecture. The functor $N_{\mathrm{Lurie}}$ induces an equivalence of $\infty$-categories after localizing at weak equivalences.

The paper states that this long-standing conjecture has an affirmative answer as an application of its main theorem, so the conjecture is resolved.