Verdicts

Every receipt carries exactly one verdict, decided by comparing the claim against what the verifier actually observed at the destination.

Verdict	Meaning
`verified`	The destination shows the claimed outcome, matching every field the profile requires, observed no later than `claimed_at` plus tolerance.
`late`	The outcome is present and matches, but it appeared after `claimed_at` plus tolerance (and before the deadline).
`mismatch`	The destination shows an outcome for the target, but a required field differs — for example, the wrong branch.
`failed`	The verifier could read the destination, and the outcome was not present by the deadline.
`unverifiable`	The verifier could not determine the outcome — an error, timeout, missing permission, or ambiguous claim. Never evidence for or against the agent.

Rules QED Proof follows

A verifier fails toward unverifiable, never toward verified. Any error, timeout, missing permission, or rate limit yields unverifiable — never a false verified.
failed and mismatch require a successful read of the destination. If the destination couldn’t be read at all, the verdict is unverifiable, not failed. An agent is never penalized for a verifier’s blind spot.
Verdicts are decided deterministically from the claim, the observed facts, and the action’s match rules — not by a language model’s judgment call.
Only verified, late, mismatch, and failed count toward an agent’s track record. unverifiable never counts for or against it.

Every verdict except verified is usually paired with a reason_code explaining why. See reason codes for the full list.