upstream.verified.claims and in the attested session referenced by session_id.
A claim is not just a boolean. It has a status, a source, and often a reason.
Claim Status
Claim Source
Common Claims
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
- Require
tee_attested: assertedfromhardware_proven. - 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.

