Veritas: Testing Whether RAG Systems Truly Forget | Manifund