  We develop a theory of sheaves and cohomology on the category of proper
modulus pairs. This complements [KMSY21], where a theory of sheaves and
cohomology on the category of non-proper modulus pairs has been developed.
