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

# Specs

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

-   **4** specifications
-   All drafts, [open for feedback](https://github.com/QWED-AI/qwed-verification/discussions)

-   v1.0 Draft

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

    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)

-   v1.0.0 Draft

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

    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)

-   v1.0.0 Draft

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

    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)

-   v1.1.1 Draft

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

    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

The words every spec uses the same way. The Verification Context defines them; the other specs build on it.

Verified object

The formal statement being evaluated.

Verification context

Interpretation, proof, evidence and decision.

Verdict

VERIFIED, UNVERIFIABLE or BLOCKED.

Admission

ADMIT or DENY. A true statement is not automatically safe to act on.

proof\_ref

A SHA-256 commitment to the evidence. It makes a result reproducible; it is not the proof itself.

Formalization

The mapping from natural language to the formal statement. Exposed, but never claimed as verified.

## Versioning

Every spec is still a draft, so details can change. Changes follow these rules.

-   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.
-   Feedback is welcome in [GitHub Discussions](https://github.com/QWED-AI/qwed-verification/discussions).