Crystalline condition for $A_{\mathrm{inf}}$-cohomology and ramification bounds

For a prime $p>2$ and a smooth proper $p$-adic formal scheme $X$ over $\mathcal{O}_K$ where $K$ is a $p$-adic field, we study a series of conditions ($\mathrm{Cr}_s$), $s\geq 0$ that partially control the $G_K$-action on the image of the associated Breuil-Kisin prismatic cohomology $\mathrm{R}Γ_Δ(X/