Ogus's canonical F-isocrystal conjecture for relative rigid spaces

Let $X$ be a regular $p$-adic formal scheme, and let $Y_\eta\to X_\eta$ be a proper smooth rigid space with analytically good reduction over $X_\eta$. For each $i\in\mathbb{N}$, an $F$-isocrystal on $X_k$ is an isocrystal equipped with Frobenius; the $i$-th Gauss--Manin connection is the connection arising in degree $i$ from the relative cohomology of $Y_\eta/X_\eta$. Ogus's conjecture. For each $i\in\mathbb{N}$, there exists a canonical $F$-isocrystal $\mathcal{E}_{{\mathrm{crys}},i}$ on $X_k$ that enhances the $i$-th Gauss--Manin connection of $Y_\eta/X_\eta$. This conjecture asks for canonical crystalline-cohomological objects in the relative setting, independent of the chosen integral model; its canonicity was proved via the cycle class map in crystalline cohomology and the crystalline Riemann--Roch theorem, so the conjecture is solved.