We prove a bilinear form sparse domination theorem that applies to many multi-scale operators beyond Calderón–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.