This is the motivation behind pg_agentichott, a PostgreSQL-oriented proof-carrying query optimization concept that combines agentic SQL rewriting with formal verification, signed proof certificates, ...