A universal Bochner formula for scalar curvature

We introduce a universal Bochner formula for scalar curvature that contains, as special cases, the stability inequality for minimal slicings, a Schrödinger-Lichnerowicz-type formula, and a higher-dimensional version of Stern's level-set identity.