Struct RecordChecked 

pub struct RecordChecked<'prepared, 'm, 'd, 'path> { /* private fields */ }

Complete source-bound report, including every failed/uncertain participant. Mathematical TSA facts are reused for actors without a second signature verification. Modern baseline promotion still requires its independent complete status/material/coverage/chronology closure.

Implementations

impl<'prepared, 'm, 'd, 'path> Checked<'prepared, 'm, 'd, 'path>

pub fn checks( &self, ) -> impl DoubleEndedIterator<Item = &Checked<'m, 'd, 'path>> + ExactSizeIterator

Every actual TSA result, in original record order.

pub fn ordering(&self) -> &[OrderFinding]

Actual failed adjacent chronology comparisons.

pub fn verified(&self) -> Option<Verified<'_, 'prepared, 'm, 'd, 'path>>

Present only after the COMPLETE record, input, profiles and history hold.