upstream.verified.session_id; the canonical receipt event does not embed the full claim set.
A claim is not just a boolean. It has a status, a source, and often a reason.
Claim Status
Claim Source
Common Claims
Privatemode reports
tee_attested: asserted with source: verifier_derived under verifier
privatemode-proxy/co-deployed-contrast/v1. It relies on the measured co-deployed proxy and its
Contrast-attested secret path, rather than a provider quote verified directly by the gateway.
Its other common claims are unknown.
TCB Freshness
tcb_up_to_date is intentionally tri-state:
- Up-to-date evidence asserts the claim.
- Stale evidence refutes the claim and records the stale status.
- Missing evidence leaves the claim
unknown.
GPU Attestation
gpu_attested proves a confidential-computing GPU attestation was verified for the provider’s evidence. It does not by itself prove model weights, serving software, or CPU-to-GPU binding for every provider. Read it as supplemental evidence unless your policy says otherwise.
Suggested Policy
- For direct hardware proof, require
tee_attested: assertedfromhardware_proven. This policy excludes Privatemode’sverifier_derivedsessions. - Require
upstream.verified.result = verifiedandrequired = truefor sensitive prompts. - Treat
unknownas not proven. - Decide whether to reject
tcb_up_to_date: refuted. - Use
serving_software_known_goodandgpu_attestedto increase assurance when available.

