Weibel vanishing and the projective bundle formula for mixed characteristic motivic cohomology | Synapse