Uses claude-haiku-4-5. Only supported indicators/operators are allowed; the compiled spec is validated automatically.