Zariski realization and torsion-freeness conjecture for etale motivic complexes

Let $\alpha$ be the morphism from the etale site to the Zariski site, and let ${\Bbb Z}_l(n)^c$ be the continuous etale Tate-twist complex. On the big Zariski site of $\operatorname{Spec}{\Bbb F}_p$, consider the natural morphism

$${\Bbb Z}(n)\otimes {\Bbb Z}_l\to \tau_{\le n}R\alpha_*{\Bbb Z}_l(n)^c.$$

Zariski realization conjecture. (a) This morphism is an isomorphism. (b) The Zariski sheaf $R^{n+1}\alpha_*{\Bbb Z}_l(n)^c$ is torsion-free. Under resolution of singularities and the Kato conjecture, this is related to finite generation statements for motivic cohomology.