Methodologies and architectures that improve accuracy, reliability, and verifiability in Retrieval-Augmented Generation (RAG) systems