Background
#3714 moved DCAP verification into the tee-verifier contract, called from submit_participant_info via a cross-contract Promise. The sandbox tests from #3715 drive the real deployed verifier, but only for the failure verdicts; the Verified verdict and the store path are covered in-process only, because the fixture collateral is time-expired against the forward-only sandbox clock. A stub verifier was deliberately dropped in #3715, so the coverage must reuse the real contracts.
User Story
As an MPC contract maintainer, I need the Verified attestation path exercised against the real deployed verifier, so that wire-format, gas-budget, and storage regressions are caught in CI instead of on a live TDX deployment.
Acceptance Criteria
Resources & Additional Notes
Related: #3714, #3715, #3738, #3787, #3897. Testing section of docs/design/attestation-verifier-contract.md.
Background
#3714 moved DCAP verification into the
tee-verifiercontract, called fromsubmit_participant_infovia a cross-contract Promise. The sandbox tests from #3715 drive the real deployed verifier, but only for the failure verdicts; the Verified verdict and the store path are covered in-process only, because the fixture collateral is time-expired against the forward-only sandbox clock. A stub verifier was deliberately dropped in #3715, so the coverage must reuse the real contracts.User Story
As an MPC contract maintainer, I need the Verified attestation path exercised against the real deployed verifier, so that wire-format, gas-budget, and storage regressions are caught in CI instead of on a live TDX deployment.
Acceptance Criteria
submit_participant_infothrough the realtee-verifierWASM to a Verified verdict at the productionverifier_tera_gasbudget.Resources & Additional Notes
Related: #3714, #3715, #3738, #3787, #3897. Testing section of
docs/design/attestation-verifier-contract.md.