curl and jq can
inspect artifacts, but they do not verify a TDX quote, TLS SPKI binding, receipt signature, or exact
stream bytes by themselves.
Pi and OpenCode perform these checks automatically. The example below shows the same flow in a Node
or Bun application.
Run a verified request
connectAci() verifies the attestation before sending model traffic and pins TLS to a key in the
attested workload keyset. It records the exact request and response wire digests. verifyReceipt()
fetches the matching signed receipt, verifies those digests, and verifies the cited upstream session.
Release policy
The measured compose hash and the report’s source labels are different:
Without
acceptedComposeHashes, the client verifies that the measured compose ran in a genuine TDX
workload. It does not claim that RedPill reviewed that release. For reviewed-release enforcement,
load accepted hashes from authenticated release metadata:
What a passing audit proves
- the TDX quote binds the fresh challenge, workload keyset, and measured compose;
- the model request used hostname-validated TLS bound to an attested SPKI;
- the signed receipt binds the exact request and response bytes to that workload; and
- a required confidential upstream was verified and its cited session is valid.