The weight-filtered $p$-adic invariant-cycles conjecture

Let $X$ be regular, and let $W_{i-1}$ denote the indicated weight filtration on the $p$-adic étale cohomology groups of the special and geometric generic fibres. Let $\operatorname{sp}$ be the étale specialization map. Weight-filtered invariant-cycles conjecture. The map

$$W_{i-1}H^i(X_{\bar s},\mathbb Q_p)\xrightarrow{\operatorname{sp}}W_{i-1}H^i(X_{\bar\eta},\mathbb Q_p)^I$$

is an isomorphism. The source says this follows by combining the preceding two conjectures and presents it as the resulting conjectural statement for $p$-adic étale cohomology.