Certifiably Robust RAG against Retrieval Corruption | Synapse