pub fn validate(sql: &str, contract: &AgentContract) -> Result<(), Violation>
Validate sql against contract. Ok(()) admits the query; Err carries a structured repair hint.
sql
contract
Ok(())
Err