Additivity of non-acyclicity classes for constructible \'etale sheaves

Using a bivariant version of cohomological correspondences, we establish a categorical trace-like formula for the non-acyclicity classes introduced by Yang and Zhao (arXiv:2209.11086). As an application, we prove the additivity for the non-acyclicity classes.