Metric rectifiability of $\mathbb{H}$-regular surfaces with H\"older continuous horizontal normal

Two definitions for the rectfiability of hypersurfaces in Heisenberg groups $\mathbb{H}^n$ have been proposed: one based on $\mathbb{H}$-regular surfaces, and the other on Lipschitz images of subsets of codimension-$1$ vertical subgroups. The equivalence between these notions remains an open problem. Recent partial results are due to Cole-Pauls, Bigolin-Vittone, and Antonelli-Le Donne. This paper makes progress in one direction: the metric Lipschitz rectifiability of $\mathbb{H}$-regular surfaces. We prove that $\mathbb{H}$-regular surfaces in $\mathbb{H}^{n}$ with $\alpha$-H\"older continuous horizontal normal, $\alpha > 0$, are metric bilipschitz rectifiable. This improves on the work by Antonelli-Le Donne, where the same conclusion was obtained for $C^{\infty}$-surfaces. In $\mathbb{H}^{1}$, we prove a slightly stronger result: every codimension-$1$ intrinsic Lipschitz graph with an $\epsilon$ of extra regularity in the vertical direction is metric bilipschitz rectifiable. All the proofs in the paper are based on a new general criterion for finding bilipschitz maps between "big pieces" of metric spaces.