01a02095 - Trim v1 assurance wording - #140
Merged
Merged
Conversation
Living assurance, conformance, and residual-review wording now points at those artefacts without extra restatements.
Keep the sentence on harness and in-spec arguments only.
Keep Gate C as the executable V.11 path and drop the non-action item from the P3 list.
Contributor
Author
|
EN: DE: DetailsPass 1 leftover aside in remediation. Pass 2 Gate-C aside and P3 non-action item. Pass 3 clean. A snapshot-versus-table wording note was declined: the same paragraph already names the register table as the living index. Head 0a99535 is verified. MERGEABLE. CI Build and CodeQL SUCCESS. |
TaprootFreak
marked this pull request as ready for review
August 20, 2026 22:14
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.
EN:
Living docs describe v1 assurance as the conformance harness and the in-spec soundness argument.
DE:
Die Living-Docs beschreiben v1-Assurance als Conformance-Harness und in-spec-Soundness-Argument.
Details
Edits assurance, paper-conformance analysis, paper-conformance remediation, and the residual-review note in the specification so v1 release wording names the harness and in-spec soundness. Merkle audit-path gadgets and auditable capped supply are unchanged.