Definability conjecture for non-forking formulas in dp-minimal theories

Assume that $T$ is dp-minimal. If the formula $\phi(x;b)$ does not fork over $M$, dp-minimal definability conjecture. it extends to an $M$-definable type. The paper states this as a stronger version of the central conjecture, while noting that it is confirmed under an additional assumption concerning definable extensions.