QWED quick start for deterministic verification

from qwed_sdk import QWEDClient

client = QWEDClient(api_key="qwed_your_key")

# Verify a math claim
result = client.verify("What is 15% of 200?")
print(result.verified)  # True
print(result.status)    # "VERIFIED"

# Check equations
result = client.verify_math("x**2 + 2*x + 1 = (x+1)**2")
print(result.verified)  # True (identity verified)

# Catch errors
result = client.verify_math("2 + 2 = 5")
print(result.verified)  # False
print(result.message)   # "Not equal: difference is 1"

# QWED-Logic DSL
result = client.verify_logic("(AND (GT x 5) (LT y 10))")
print(result.is_verified)                                # True
print(result.developer_fields["deterministic_verdict"])  # "SAT"
print(result.developer_fields["model"])                  # {"x": "6", "y": "9"}

# Unsatisfiable constraints — no model exists
result = client.verify_logic("(AND (GT x 10) (LT x 5))")
print(result.is_verified)                                # False
print(result.developer_fields["deterministic_verdict"])  # "UNSAT"

dangerous_code = """
import os
os.system('rm -rf /')
"""

result = client.verify_code(dangerous_code, language="python")
print(result.verified)  # False
print(result.status)    # "BLOCKED"
for vuln in result.vulnerabilities:
    print(f"- {vuln.severity}: {vuln.message}")

result = client.verify_sql(
    query="SELECT * FROM users WHERE id = 1",
    schema="CREATE TABLE users (id INT, name TEXT)"
)
print(result.verified)  # True

# Detect injection
result = client.verify_sql("SELECT * FROM users; DROP TABLE users; --")
print(result.status)  # "BLOCKED"

from qwed_sdk import VerificationType

results = client.verify_batch([
    {"query": "2+2=4", "type": VerificationType.MATH},
    {"query": "3*3=9", "type": VerificationType.MATH},
    {"query": "(AND (GT x 5))", "type": VerificationType.LOGIC},
])

print(f"Success rate: {results.summary.success_rate}%")

# One-time setup — engines, provider, and API key bootstrap
qwed init

# System health check — engines, provider, server, database
qwed doctor

# 12 deterministic tests — all must pass before production
qwed test

qwed verify "Is 2+2=5?"

# Verify with a specific provider
qwed verify "derivative of x^2" --provider openai

qwed init --non-interactive --provider openai --api-key "$OPENAI_API_KEY" --skip-tests