Module state 

VerifiedTrustState — the output of the trusted-evidence reducer.

Structs

BrokenEdge

Failing edge for VerifiedTrustState::Broken. invariant is a stable string from crate::invariant; detail is a human-readable explanation for operators and logs.

Enums

VerifiedTrustState

One of three outcomes per ADR 0041 §“Stable failure taxonomy”.