Attestation formats section plus verified properties #1552
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.
files:
att-general-model.md
att-provenance.md
att-build-provenance.md
att-verification_summary.md (change to hyphen?)
Note: the filenames needed to be changed to keep them separate from other similarly named files.
Introductions added and heads clarified for attestation format section files.
The Verified Properties topic (verified-properties.md) was added to the Verification Summary section because it fit better there. This aligns with the Cross Track section being eliminated in the the proposed new TOC from Issue #1545.
Also, these two art files seemed to be missing for the att-general-model.md file, so I put them in the images folder:
/images/attestation_layers.svg
/images/attestation_example_english.svg