Skip to main content
Use a native ACI client when verification affects whether a request may proceed. 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:
Never copy a compose hash from the endpoint and trust it on first use.

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.
It does not prove that a release was reviewed unless an independently obtained compose allowlist was enforced.

Coding agents

Attestation report

Receipts

Attested sessions