This is a sequel to arXiv:1908.02975 [math.AG]. We continue the theory of sheaves on modulus pairs, passing from the not necessarily proper case to the proper case. This involves a new and highly nontrivial Grothendieck topology on proper modulus pairs, which was developed in [2] and [9].