Formally Verifiable Modular zkFHE Database for Agent Era