docs(spec): house-style cleanup (de-bold, remove dashes; no normative changes) - #59
Merged
Merged
Conversation
Formatting and voice pass only. No normative changes: code blocks, tables, schema field names, RFC-2119 keywords, and all values are preserved. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
imran-siddique
added a commit
that referenced
this pull request
Jul 27, 2026
#65) Three spec pages still described the repo as it stood around 0.1.0a1, and in places said the opposite of what ships. call-graph said the TDX and TPM backends are not implemented and that peer attestation is not wired into the call path. All three verifiers are implemented, and the handshake gates the seal on an appraised channel key. It also still listed the Cedar engine binding as pending. component-model said the sealed channel is a placeholder that fails closed and the TEE layer is interface-only, and had no entry at all for peer, policy, cedar, transport, node, attestation or trace_binding. Its error list was three codes short and the CLI had grown a third subcommand. attestation said real-hardware validation of the SEV-SNP and TDX paths remains open, which the runs recorded in docs/hardware-validation.md have now closed. TPM is called out explicitly as the one backend with no real quote behind it, rather than being left to look equivalent. The corrections go both ways: several understated what is built, and the TPM and live-call caveats are stated more sharply than before. No bold emphasis, per the house-style cleanup in #59. Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
House-style cleanup of the spec(s): removed markdown bold emphasis and em/en dashes. Formatting and voice pass only, no normative changes. Code blocks, JSON, tables, schema field names, RFC-2119 keywords, and all numeric values are preserved.
🤖 Generated with Claude Code