Kedlaya's minimal slope conjecture for overconvergent F-isocrystals

Let $X$ be a smooth connected scheme separated of finite type over $\operatorname{Spec} k$. Let $\mathcal M^\dagger$ and $\mathcal N^\dagger$ be irreducible overconvergent $F$-isocrystals on $X/K$, and let $\mathcal M$ and $\mathcal N$ be the associated convergent $F$-isocrystals. Suppose they admit slope filtrations $\{\mathcal M_i\}$ and $\{\mathcal N_j\}$, respectively. An isomorphism $h:\mathcal M_1\to\mathcal N_1$ is an isomorphism between their minimal-slope constituents. Kedlaya's minimal slope conjecture. If such an isomorphism $h$ exists, then there is a unique isomorphism $g^\dagger:\mathcal M^\dagger\to\mathcal N^\dagger$ of overconvergent $F$-isocrystals such that the induced diagram from $h$ and the associated isomorphism $g:\mathcal M\to\mathcal N$ commutes in the category of convergent $F$-isocrystals on $X/K$. The conjecture concerns whether the overconvergent objects are determined by the minimal-slope constituent of their slope filtrations. It is trivially true when $X$ is proper; over a finite field, Ambrosi and D'Addezio proved a rank-one case under a nontriviality hypothesis on $h$, while the stronger version without that hypothesis remains under study.