Hardy–Stein identity for pure-jump Dirichlet forms

We prove the $L^p$ variant of the Hardy–Stein identity for Sobolev–Bregman forms associated with pure-jump Dirichlet forms with killing, under rather mild assumptions. Along the way, we obtain a general result in terms of the $p$-form defined in a more abstract way.