By [Tag 04C4](https://stacks.math.columbia.edu/tag/04C4) of the Stacks Project, for $f:X\rightarrow Y$ a closed immersion of schemes, the pushforward $f_*$ is exact  for abelian sheaves on the big syntomic site.
Is it also true for a finite flat morphism?