An Extensible and Verifiable Language for Query Rewrite Rules (ArXiv cs.DB Recent Papers, 2026)