Enum VerificationResult 

#[non_exhaustive]
pub enum VerificationResult {
    Valid {
        fingerprint: String,
        status: TranscriptStatus,
        dry_run: bool,
        artifacts: Vec<ArtifactVerification>,
        image: Option<ImageManifest>,
        initrd: Option<InitrdMeasurements>,
        tpm_nonce: Option<String>,
        tpm_pcrs: BTreeMap<String, String>,
    },
    Invalid {
        expected: String,
        computed: String,
    },
    Incomplete {
        status: TranscriptStatus,
        events_count: usize,
    },
}

Result of transcript verification.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Valid

Transcript is valid and fingerprint matches.

Fields

fingerprint: String

Final SHA-256 fingerprint of the transcript chain.

status: TranscriptStatus

Completion status recorded in the final event.

dry_run: bool

Whether this was a dry run (no actual operations performed).

artifacts: Vec<ArtifactVerification>

Artifact file verification results.

image: Option<ImageManifest>

Build-time image manifest (from CeremonyStart).

initrd: Option<InitrdMeasurements>

Boot-time initrd measurements (from CeremonyStart).

tpm_nonce: Option<String>

Nonce from the first tpm_attest step evidence, if any.

tpm_pcrs: BTreeMap<String, String>

PCR values from the first tpm_attest step evidence, if any.

Uses BTreeMap for deterministic display order.

Invalid

Transcript has been tampered with.

Fields

expected: String

Expected hash (from the hash field of the final event).

computed: String

Computed hash (recomputed from transcript content).

Incomplete

Transcript is incomplete (no final fingerprint).

Fields

status: TranscriptStatus

Last recorded status.

events_count: usize

Number of events parsed before the transcript ends.

Trait Implementations

impl Debug for VerificationResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for VerificationResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.