Bounding ramification with coherent sheaves

Given a coherent sheaf E on a scheme of finite type X over a perfect field, we introduce a category of complexes of étale sheaves on X with logarithmic conductors bounded by E and study its compatibilities with finite push-forward.