Proximal Path-Specific Inference