Semi-Supervised Risk Control via Prediction-Powered Inference | Synapse