Fix cMCP tutorial trust assumptions and clarify the reader path - #611
Merged
Conversation
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
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.
cMCP's documentation described the software demo as a real data leak blocked inside a TEE, used receipt-supplied hashes as approval inputs, and let a fresh
partially_verifiedresult pass a consuming-job example that printed “Claim verified.” Readers now get a clear first-demo path, an architecture diagram with explicit component boundaries, independently computed expected hashes, and a consumer gate that rejects every result below full verification.The longer quickstart includes environment setup, terminal roles, expected exit codes, and cleanup. The architecture explanation distinguishes TPM evidence from memory isolation and signed commitments from transcript replay. Search metadata and the model-facing description match the visible page.
Validation: strict MkDocs build passed. The Markdown-driven smoke check exercised a 403 denial, a 200 allowed mock call, the two-call signed summary, six passing software checks with independently computed hashes, and expected software-mode exit 1. The inspection example runs; the acceptance example rejects hardware-missing, policy-mismatch, and unverified results. Reproducing the old example confirmed it accepted fresh partial results with both missing hardware and a failed policy hash. New PR CI builds docs and runs the examples.
This changes documentation and its validation, not runtime authorization or cryptographic verification. Hardware platforms were not exercised. Diagram visual verification is pending deployment.