---
title: "Specs"
description: "The QWED protocol specifications: Verification Context, QWED-SPEC, QWED-Attestation and QWED-Agent."
url: https://qwedai.com/specs
---

# Specs

The documents that define what a QWED verification is, so that every engine, SDK, CLI and client speaks one protocol and anyone can implement it.

-   ## [Verification Context](https://docs.qwedai.com/specs/verification-context)

    v1.0 Draft

    The atomic record of one verification: the formal statement plus the interpretation, proof, evidence and decision needed to reproduce and trust it.

    [Read the spec](https://docs.qwedai.com/specs/verification-context) [Spec source](https://github.com/QWED-AI/qwed-verification/blob/main/spec/v1.0/verification-context.md) [JSON Schema](https://github.com/QWED-AI/qwed-verification/blob/main/spec/v1.0/schemas/verification-context.schema.json)

-   ## [QWED-SPEC](https://docs.qwedai.com/specs/qwed-spec)

    v1.0.0 Draft

    The standard interface for deterministic verification: request and response formats, engines, errors and status codes.

    [Read the spec](https://docs.qwedai.com/specs/qwed-spec)

-   ## [QWED-Attestation](https://docs.qwedai.com/specs/attestation)

    v1.0.0 Draft

    A standard format for cryptographic proof that a verification happened: attestation models, JWT format and verification chains.

    [Read the spec](https://docs.qwedai.com/specs/attestation)

-   ## [QWED-Agent](https://docs.qwedai.com/specs/agent)

    v1.1.1 Draft

    How AI agents verify actions before running them: registration, tool verification, budget limits and trust levels.

    [Read the spec](https://docs.qwedai.com/specs/agent)

## Core vocabulary

<table data-astro-cid-a6md54ot=""><tbody data-astro-cid-a6md54ot=""><tr data-astro-cid-a6md54ot=""><td class="mono nowrap" data-astro-cid-a6md54ot="">Verified object</td><td data-astro-cid-a6md54ot="">The formal statement being evaluated.</td></tr><tr data-astro-cid-a6md54ot=""><td class="mono nowrap" data-astro-cid-a6md54ot="">Verification context</td><td data-astro-cid-a6md54ot="">Interpretation, proof, evidence and decision.</td></tr><tr data-astro-cid-a6md54ot=""><td class="mono nowrap" data-astro-cid-a6md54ot="">Verdict</td><td data-astro-cid-a6md54ot="">VERIFIED, UNVERIFIABLE or BLOCKED.</td></tr><tr data-astro-cid-a6md54ot=""><td class="mono nowrap" data-astro-cid-a6md54ot="">Admission</td><td data-astro-cid-a6md54ot="">ADMIT or DENY. A true statement is not automatically safe to act on.</td></tr><tr data-astro-cid-a6md54ot=""><td class="mono nowrap" data-astro-cid-a6md54ot="">proof_ref</td><td data-astro-cid-a6md54ot="">A SHA-256 commitment to the evidence. It makes a result reproducible; it is not the proof itself.</td></tr><tr data-astro-cid-a6md54ot=""><td class="mono nowrap" data-astro-cid-a6md54ot="">Formalization</td><td data-astro-cid-a6md54ot="">The mapping from natural language to the formal statement. Exposed, but never claimed as verified.</td></tr></tbody></table>

## Versioning

-   Breaking changes bump the major version; additive changes bump the minor version.
-   A released version never changes. Each new version lives in its own directory.
-   Every spec is still a draft. Feedback is welcome in [GitHub Discussions](https://github.com/QWED-AI/qwed-verification/discussions).