Run aproof attempt.

Submit the disputed claim and evidence. Verified runs a structured cross-model proof attempt, applies deterministic adjudication, and writes a signed proof-of-claim receipt.

Receipt anatomy

The receipt is the product. It captures the claim, evidence hashes, security decision, model identities, four results, adjudication, token cost, signature and ledger proof.

Claim and evidence

Security decision

Model identities

Adjudication result

Token cost and integrity

The Disputed Claim

State the claim in one sentence. The receipt will tie directly to this line.

Supporting Evidence

Choose a mode to expand the editor. The other mode stays collapsed.

Text input is sent directly to the verify pipeline.

Paste directly into any cell. Multi-cell paste distributes across the 100 × 100 spreadsheet grid, with 20 × 20 visible at a time.

Verified runs a primary model, verifier models, and an adjudicator. The receipt records the path, result, and immutable ledger hash.

Use truthful claims, permitted evidence, and API-key authenticated access. Receipts are proof of attempt, not a promise of truth or legal advice.

Prompt injection, malicious payloads, abuse, and hidden data are blocked. Fees and retries are enforced through the verification lane, and unsafe submissions may be rejected.

Search Immutable Ledger

Query historical verification events, latency metrics and audit artifacts.

⌵A(grafanacloud-internal-audit-ledger)

Explain

Metric

Label filters

›Options

Legend: Auto

Format: Time series

Step: auto

Type: Both

Exemplars: false

Immutable Ledger

2026-04-13 14:45:47.697INFOcategory="bad request",message="bad_data: invalid parameter "query": 1:38: parse error: unexpected ")" in aggregation"

2026-04-13 14:44:07.244INFOcategory="verification",message="VERIFIED: Proof produced for claim "Model X proved the disputed statement.""

2026-04-13 14:43:47.209INFOcategory="other",message="No data found for stack"