> ## Documentation Index
> Fetch the complete documentation index at: https://docs.qwedai.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Releases

> QWED Protocol release history with download links, installation instructions, version notes, and upgrade guidance across Python, TypeScript, Go, and Rust SDKs.

## Current release

<Card title="v5.2.0 — Structured Verification Diagnostics" icon="shield-check" href="/changelog">
  Unified 3-layer DiagnosticResult model — agent-safe, developer, and proof diagnostics. Tri-state status (VERIFIED / UNVERIFIABLE / BLOCKED) with proof\_ref as the authority bit. Additive release — no existing engine return types changed.
</Card>

### Install

<CodeGroup>
  ```bash pip theme={null}
  pip install qwed==5.2.0
  ```

  ```bash docker theme={null}
  docker pull qwedai/qwed-verification:5.2.0
  ```

  ```bash npm theme={null}
  npm install @qwed-ai/sdk@5.2.0
  ```

  ```bash cargo theme={null}
  cargo add qwed@5.2.0
  ```

  ```bash go theme={null}
  go get github.com/QWED-AI/qwed-verification/sdk-go@v5.2.0
  ```
</CodeGroup>

***

## Release history

<AccordionGroup>
  <Accordion title="v5.2.0 — Structured Verification Diagnostics (June 19, 2026)" icon="shield-check" defaultOpen>
    Unified 3-layer `DiagnosticResult` model with `agent_message` (agent-safe), `developer_fields` (structured evidence), and `proof_ref` (sha256 proof hash — the authority bit). Tri-state status only (VERIFIED / UNVERIFIABLE / BLOCKED). Frozen dataclasses prevent post-construction bypass. Advisory checks structurally separated from verdicts. Migration helper for legacy engine dicts. 83 tests. Additive — no breaking changes.

    [Full Release Notes →](/changelog) · [GitHub Release ↗](https://github.com/QWED-AI/qwed-verification/releases/tag/v5.2.0)
  </Accordion>

  <Accordion title="v5.1.2 — SymPy Expression Injection Fix (June 14, 2026)" icon="shield-check">
    Emergency security patch fixing High severity (CVSS 8.8) authenticated RCE via unsafe SymPy `parse_expr()`. Added `safe_parse_expr()` wrapper with denylist, stripped `__builtins__`, allow-listed math namespace. Cache Redis fail-closed. CodSpeed benchmarks.

    [Full Release Notes →](/changelog) · [GitHub Release ↗](https://github.com/QWED-AI/qwed-verification/releases/tag/v5.1.2)
  </Accordion>

  <Accordion title="v5.1.1 — Trust Boundary Hardening (May 22, 2026)" icon="shield-check">
    Cache keys bound to full trust context (provider/model/policy/session) — prevents cross-context replay. Attestation path hardened with `AttestationStatus` enum and `is_issued` contract. Audit chain isolated per-org with `BEGIN IMMEDIATE` transactions. Reasoning proof prerequisites enforced. Symbolic/batch verifiers return `BLOCKED` on missing proof. Unknown agent actions denied. `additionalProperties: false` strictly enforced. SDK `5.1.1` across Python, TypeScript, Rust.

    [Full Release Notes →](/changelog) · [GitHub Release ↗](https://github.com/QWED-AI/qwed-verification/releases/tag/v5.1.1)
  </Accordion>

  <Accordion title="v5.1.0 — Agent State Governance and Fail-Closed Hardening (April 19, 2026)" icon="shield-check">
    AgentStateGuard for deterministic state verification · Legacy `CodeExecutor` hard-blocked · Default-deny for unknown tools · Bounded math tolerance · `verify_logic_rule` / `verify_identity` fail-closed · Ambiguous math expressions blocked · Schema `uniqueItems` fail-closed · SDK `5.1.0` across Python, TypeScript, Go.

    [Full Release Notes →](/changelog) · [GitHub Release ↗](https://github.com/QWED-AI/qwed-verification/releases/tag/v5.1.0)
  </Accordion>

  <Accordion title="v5.0.0 — Enforcement Boundary Hardening (April 4, 2026)" icon="shield-check">
    **98 commits** · Fail-closed verification boundary · `INCONCLUSIVE` status for LLM-translated math · `trust_boundary` metadata in responses · Mandatory `ActionContext` for agents · Replay/loop detection · Redis fail-closed rate limiting · Docker required for stats/consensus · `security_checks` field removed · Admin-only `/metrics` · SDK `5.0.0` across Python, TypeScript, Go.

    [Full Release Notes →](/changelog) · [GitHub Release ↗](https://github.com/QWED-AI/qwed-verification/releases/tag/v5.0.0)
  </Accordion>

  <Accordion title="v4.0.1 — Sentinel Guard Sync (March 23, 2026)" icon="arrows-rotate">
    TypeScript SDK alignment · `POST /verify/process` endpoint · Agent security checks (`exfiltration`, `mcp_poison`) · Security fixes (info disclosure, symbolic precision) · `@qwed-ai/sdk@4.0.1`.

    [Full Release Notes →](/changelog) · [GitHub Release ↗](https://github.com/QWED-AI/qwed-verification/releases/tag/v4.0.1)
  </Accordion>

  <Accordion title="v4.0.0 — Sentinel Edition (March 12, 2026)" icon="shield-check">
    **147 commits** · Agentic Security Guards (RAGGuard, ExfiltrationGuard, MCP Poison Guard) · SovereigntyGuard · ToxicFlowGuard · S-CoT Guard · Process Determinism (ProcessVerifier) · Critical security fixes (eval removal, sandbox escape, CVE patches) · Docker hardening · Sentry + CircleCI + SonarCloud + Snyk integration.

    [Full Release Notes →](/changelog) · [GitHub Release ↗](https://github.com/QWED-AI/qwed-verification/releases/tag/v4.0.0)
  </Accordion>

  <Accordion title="v3.0.1 — Ironclad Update (February 4, 2026)" icon="lock">
    Security patch — CodeQL remediation (50+ alerts), workflow permissions lockdown, PII protection, Snyk partner attribution.

    [GitHub Release ↗](https://github.com/QWED-AI/qwed-verification/releases/tag/v3.0.1)
  </Accordion>

  <Accordion title="v2.4.1 — The Reasoning Engine (January 20, 2026)" icon="brain">
    Optimization Engine, Vacuity Checker, Dockerized GitHub Action, improved logic verifier.

    [GitHub Release ↗](https://github.com/QWED-AI/qwed-verification/releases/tag/v2.4.1)
  </Accordion>
</AccordionGroup>

***

## Links

<CardGroup cols={3}>
  <Card title="PyPI" icon="python" href="https://pypi.org/project/qwed/">
    Python package
  </Card>

  <Card title="Docker Hub" icon="docker" href="https://hub.docker.com/r/qwedai/qwed-verification">
    Container image
  </Card>

  <Card title="npm" icon="npm" href="https://www.npmjs.com/package/@qwed-ai/sdk">
    TypeScript SDK
  </Card>

  <Card title="crates.io" icon="rust" href="https://crates.io/crates/qwed">
    Rust SDK
  </Card>

  <Card title="GitHub" icon="github" href="https://github.com/QWED-AI/qwed-verification/releases">
    All releases
  </Card>

  <Card title="Go Module" icon="golang" href="https://github.com/QWED-AI/qwed-verification/tree/main/sdk-go">
    Go SDK
  </Card>
</CardGroup>