Core specifications
What’s in a spec?
QWED-SPEC v1.0
The core specification defines:- Request/response format — JSON schemas for API
- Verification engines — Math, Logic, Code, SQL, etc.
- QWED-Logic DSL — Grammar for logical expressions
- Error codes — Standardized error taxonomy
- Versioning — Semantic versioning rules
Verification Context v1.0
The Verification Context specification defines:- Document format — the atomic JSON record of a verification
- Four context layers — interpretation, proof, evidence, decision
- Verdict invariants —
VERIFIEDrequires asha256proof_ref;UNVERIFIABLE/BLOCKEDrequirenull proof_ref— canonical RFC 8785 evidence commitment- Truth vs. admission — gate execution on
admission == "ADMIT"only
QWED-Attestation v1.0
The attestation specification defines:- JWT format — ES256 signed tokens
- Claims — Standard and custom JWT claims
- Trust anchors — Issuer verification
- Chain validation — Linked attestations
QWED-Agent v1.0
The agent specification defines:- Registration — Agent identity and permissions
- Action verification — Pre-execution checks
- Budget management — Cost and rate limits
- Trust levels — 0-3 autonomy scale
JSON schemas
Machine-readable schemas are available at:Implementing QWED
To implement the QWED protocol:- Parse requests per
request.v1.json - Route to appropriate verification engine
- Return responses per
response.v1.json - Optionally generate attestations per QWED-Attestation