DGV Card Runner · Open source · No signup

Run the 89 test cards

Select a card to see its script, input, and expected result. 25 cards have unique scripts the WASM verifier evaluates directly. 30 cards share a common script but the CLI verifier produces different results per card via --simulate-case — the runner produces receipts from the expected results. 34 cards require the CLI verifier (28 declarative + 6 with ESCALATE/REFUSE/HOLD verdicts the WASM can't produce).

Total cards

WASM-verified (unique scripts)

Simulated (CLI --simulate-case)

CLI only (declarative + ESCALATE/REFUSE/HOLD)

What are the 28 declarative cards?

Declarative cards test infrastructure properties — TEE attestation, post-quantum key compliance, RAG corpus digest verification, HITL bypass prevention, cross-agent PHI boundaries. These cannot be evaluated by the in-browser WASM verifier because they require external systems (TPMs, key stores, network policies, attestation services).

To run all 89 cards including the declarative ones, use the CLI verifier bundle — it includes the simulated case handlers for all 28 declarative cards.

Verify a receipt Read the PSR-001 spec Browse the registry For auditors CLI verifier bundle