VEPA: Verified Evolving Formal Policy for Lifelong LLM Agent Guardrails | AIChainDay