Definition
Plain language
A signed structured record from a narrow verifier that vouches for a specific fact an AI saw.
As stated in the literature
In evidence-carrying agent architectures, a structured, typed record from a constrained verifier asserting a named predicate with provenance and confidence, used by a deterministic gate to authorize actions.
Also called: certificate, certificates
Why it matters: It lets a deterministic gate decide whether to allow an action based on auditable evidence rather than trusting the LLM's prose summary.
For example, a 'price-checked' certificate might attest that a quoted fare matched the airline's API at a specific timestamp, signed by the verifier.