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
apps/loopover-ui/content/docs/verify-this-review.mdx (route /docs/verify-this-review, #8231) documents the reproducibility posture and currently — correctly, today — names the trusted-execution boundary an explicit non-goal (line 96: the runtime itself is "an attestation problem — a trusted-execution boundary, not a replay"). Once the attested runner (blocked-by) persists real envelopes, that passage becomes stale and the walkthrough gains a second verification path that must be documented with the same "anyone can check this" rigor as the replay path.
Requirements
Update the non-goal passage: replay remains the universal path; attestation is the additional path for runs that carry an envelope.
New walkthrough section: given a persisted run's AttestationEnvelope, how a skeptic verifies it — recompute reportData from the published corpus checksum + SHAs via buildAttestationReportData, check it against the attestation report's user-data binding, and verify the report against AMD's certificate chain (link the standard tooling; do not vendor it).
Surface attestation status wherever backtest verdicts already render publicly (the public-rule-precision consumers / fairness page links) — a run shows unverified / verified / failed when an envelope is present, and renders exactly as today when absent.
Problem
apps/loopover-ui/content/docs/verify-this-review.mdx(route/docs/verify-this-review, #8231) documents the reproducibility posture and currently — correctly, today — names the trusted-execution boundary an explicit non-goal (line 96: the runtime itself is "an attestation problem — a trusted-execution boundary, not a replay"). Once the attested runner (blocked-by) persists real envelopes, that passage becomes stale and the walkthrough gains a second verification path that must be documented with the same "anyone can check this" rigor as the replay path.Requirements
AttestationEnvelope, how a skeptic verifies it — recomputereportDatafrom the published corpus checksum + SHAs viabuildAttestationReportData, check it against the attestation report's user-data binding, and verify the report against AMD's certificate chain (link the standard tooling; do not vendor it).public-rule-precisionconsumers / fairness page links) — a run showsunverified / verified / failedwhen an envelope is present, and renders exactly as today when absent.Deliverables
verify-this-review.mdxupdated (non-goal passage + attested-run section, both paths walkable end to end)Links & Resources
apps/loopover-ui/content/docs/verify-this-review.mdx,src/review/public-rule-precision.tsBoundaries
Docs + read-only rendering only. No scoring, gating, or persistence changes; no claims the envelope contents can't back.
maintainer-only — public accuracy-claims surface.