Definable extension conjecture for non-forking formulas in dp-minimal theories

Let $T$ be a dp-minimal theory, let $M$ be a model, and let $\phi(x;b)$ be a formula that does not fork over $M$.

Definable extension conjecture. The formula $\phi(x;b)$ extends to an $M$-definable type.

The paper presents this as a stronger version of its central conjecture in dp-minimal theories. Its status is not resolved in the supplied text.