Schneider's extension of the characteristic-zero comparison theorem to negative twists

Let $S$ be the open arithmetic scheme and let $A(n)$ denote the real Tate-twist object used in the source. Theorem 12.1(a) gives a comparison isomorphism for positive twists between the relevant $K$-theoretic object and continuous etale cohomology. Schneider's conjecture. Theorem 12.1(a) extends to negative twists $n<0$. The source attributes this expectation to Schneider and notes that negative twists behave differently from the characteristic-$p$ case.