  We show a spacetime positive mass theorem for asymptotically flat initial
data sets with a noncompact boundary. We develop a mass type invariant and a
boundary dominant energy condition. Our proof is based on spinors.
