Epistemic Verification for RAG-Based Belief Acquisition in HADD Agents | Synapse