2 problems

Twisting classification conjecture. There is a canonical isomorphism of anima

Scholze's uniqueness conjecture. The six-functor formalisms produced by the Liu–Zheng construction are exactly those for which every morphism in $P$ is cohomologically proper and e…