Evergreen: Efficient Claim Verification for Semantic Aggregates (ArXiv cs.DB Recent Papers, 2026)