Struct Checked 

pub struct Checked<'a> { /* private fields */ }

Result for one original token; editing public facts cannot create a receipt.

Implementations

impl<'a> Checked<'a>

pub fn index(&self) -> usize

Original flat timestamp ordinal, independent of verification order.

pub fn timestamp(&self) -> &CheckedTimestamp<'_>

Complete common timestamp result, including negative/unsupported facts.

pub fn selection(&self) -> &Selection<'_>

Actual original selected candidate/key from that check.

pub fn historical(&self) -> Decision

Explicit caller-established historical answer.

pub fn into_parts( self, ) -> (usize, CheckedTimestamp<'a>, Selection<'a>, Decision)

Moves the SAME common result for a format adapter’s actor construction. No signature is rechecked and no retained evidence is copied. Selection references are deliberately discarded by adapters with their own sealed path model; callers must preserve this original index/source binding.