Chromatic redshift conjecture for the K-theory of algebraic integers

Let $n\ge1$, let $E_n$ be the $K(n)$-local Lubin–Tate ring spectrum with connective cover $e_n$, and let $\Omega_n$ be the $p$-completed homotopy colimit of the connected commutative $e_n$-algebras of integers $B$ described in the source. Let $F$ be a finite $p$-local spectrum admitting a $v_{n+1}$ self-map $v:\Sigma^dF\to F$, and let $L^f_{n+1}$ be the finite localization with $F_*L^f_{n+1}X\cong F_*X[1/v]$. Chromatic redshift conjecture. For $B\to\Omega_n$ as above, (a) multiplication by $v$ acts bijectively on $F_*K(B)$ for $*\gg0$, and $K(B)\to L^f_{n+1}K(B)$ is a $p$-adic equivalence in sufficiently high degrees; (b)

$$F_*K(\Omega_n)\cong F_*E_{n+1}$$

for $*\gg0$, and

$$\hat L_{n+1}K(\Omega_n)\simeq E_{n+1}.$$

This is the general chromatic-redshift prediction: algebraic $K$-theory should raise chromatic height by one. The source presents it as a conjectural statement, with no resolution supplied.