  We prove a harmonic asymptotics density theorem for asymptotically flat
initial data sets with compact boundary that satisfy the dominant energy
condition. We use this to settle the spacetime positive mass theorem, with
rigidity, for initial data sets with apparent horizon boundary in dimensions
less than $8$ without a spin assumption.
