Solution
Use Conexus to verify the correctness of SQL code with respect to data integrity using mathematical algorithms to get 100% confidence.
Benefit
LLM-generated SQL code can now be trusted to run, or fed back to the LLM to try again.
Bonus
This capability can be used with arbitrary SQL code, not just code generated from LLMs.