Formally verified bundling and appraisal of evidence for layered attestations

-