  We prove a bilinear form sparse domination theorem that applies to many
multi-scale operators beyond Calder\'on-Zygmund theory, and also establish
necessary conditions. Among the applications, we cover large classes of Fourier
multipliers, maximal functions, square functions and variation norm operators.
