Ten-dimensional localization

We construct equivariantly closed polyforms for the fluxes and the action of (massive) type IIA and type IIB supergravity directly in ten dimensions. We illustrate applications of our formalism to two distinct classes of solutions in massive type IIA. Our analysis straightforwardly reproduces and vastly generalizes all known results for on-shell actions in these classes, with no need for a consistent truncation. Where known, we match the corresponding field theory partition functions at leading order, and our results extend easily to other solutions of type II supergravity.