You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Part of the attested-evaluation epic (#8534). The envelope schema, structural validator, and report-data binding helper are done as pure functions (#8541, 64-byte binding per #9140), but nothing runs an attested backtest replay end to end. Confidential Containers ships a no-TEE sample-attester path, so the entire harness can be built and CI-tested now, on existing hardware — real SNP hardware then becomes a configuration change, not new code. #8537 is rescoped to "first real attested run on SNP CoCo"; this issue is its software prerequisite.
Requirements
Pluggable attester interface with two implementations: sample (dev/no-TEE; deterministic fake report) and snp (real report via the CoCo attestation-agent path). Selected by config. The envelope records which attester produced it in a structural field — a sample-attested envelope must be impossible to present as real attestation (verifier fails it by default; see the verifier CLI issue).
Persistence: the envelope is stored beside the backtest-run record (migration as needed, contiguous numbering), linked by run id.
Fail-closed: if the runtime claims a TEE runtime class but report collection fails, the run is recorded attestation_failed — never silently unattested-ok. Both arms tested.
CI runs the full E2E with the sample attester — no hardware assumptions anywhere in tests.
while hardware is pending: attested-run E2E green in CI under the sample attester. On SNP day: flip attester config, record real measurements, produce the first real envelope (#8537).
Context
Part of the attested-evaluation epic (#8534). The envelope schema, structural validator, and report-data binding helper are done as pure functions (#8541, 64-byte binding per #9140), but nothing runs an attested backtest replay end to end. Confidential Containers ships a no-TEE sample-attester path, so the entire harness can be built and CI-tested now, on existing hardware — real SNP hardware then becomes a configuration change, not new code. #8537 is rescoped to "first real attested run on SNP CoCo"; this issue is its software prerequisite.
Requirements
sample(dev/no-TEE; deterministic fake report) andsnp(real report via the CoCo attestation-agent path). Selected by config. The envelope records which attester produced it in a structural field — a sample-attested envelope must be impossible to present as real attestation (verifier fails it by default; see the verifier CLI issue).report_dataper the calibration: attestation-evidence envelope — schema, pure structural validator, and report-data binding helper #8541 helper over corpus checksum + code SHAs + a freshness nonce.attestation_failed— never silently unattested-ok. Both arms tested.Deliverables
Expected outcome
while hardware is pending: attested-run E2E green in CI under the sample attester. On SNP day: flip attester config, record real measurements, produce the first real envelope (#8537).