Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL

Semantic inspector for SQL — catches fan-out double-counting, additivity violations, wrong join keys, and policy breaches before the query runs. Found real bugs in the BIRD/Spider text-to-SQL bench...