Generalized Kashiwara conjecture for proper pushforwards

Let $f:Y'\to Y”$ be a proper map between schemes over an algebraically closed field, and let $\CF$ be an irreducible $\ell$-adic perverse sheaf on $Y'$ obtained by the six operations from a one-dimensional local system on a curve $X$. Generalized Kashiwara conjecture. The proper pushforward $f_!(\CF)$ is semi-simple and satisfies Hard Lefschetz. The source calls this extension of Kashiwara's conjecture very plausible and uses it as an additional expected input concerning perverse sheaves and proper maps. Its status is not resolved in the supplied text.