Skip to content

docs(tee): correct the stale "not yet validated" list - #88

Merged
imran-siddique merged 1 commit into
mainfrom
docs/correct-stale-not-yet-validated
Aug 9, 2026
Merged

docs(tee): correct the stale "not yet validated" list#88
imran-siddique merged 1 commit into
mainfrom
docs/correct-stale-not-yet-validated

Conversation

@imran-siddique

Copy link
Copy Markdown
Member

The list still named the live attested peer binding and the cross-operator hardware run as pending. Both ran on 2026-07-27 and are recorded in the sections directly above it, so the document contradicted itself: a reader who skipped to the end would conclude the hardware work had not been done.

Replaced with what is actually outstanding:

  • Mutual simultaneous attestation. The cross-TEE run was one-directional (A appraised B, not the reverse) and both peers were driven by one operator harness.
  • The committed example harness. It stays on synthetic vectors because real captures embed per-CPU identifiers and cannot ship as fixtures, which is an evidence-distribution constraint rather than an implementation gap.

The removal is stated in the section rather than done silently, so the change is legible to anyone who read the old text.

Docs only, no code or behaviour change.

🤖 Generated with Claude Code

The list still named the live attested peer binding and the cross-operator
hardware run as pending. Both ran on 2026-07-27 and are recorded in the sections
directly above it, so the document contradicted itself and a reader who skipped
to the end would conclude the hardware work had not been done.

Replaced with what is actually outstanding: mutual simultaneous attestation (the
cross-TEE run was one-directional, and both peers were driven by one operator's
harness), and the committed example harness, which stays on synthetic vectors
because real captures embed per-CPU identifiers and cannot ship as fixtures.

The removal is stated in the section rather than done silently, so the change is
legible to anyone who read the old text.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@imran-siddique
imran-siddique merged commit 4ca0ae7 into main Aug 9, 2026
12 checks passed
@imran-siddique
imran-siddique deleted the docs/correct-stale-not-yet-validated branch August 9, 2026 05:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant