Struct RetainedFacts 

pub struct RetainedFacts { /* private fields */ }

A conforming token’s declared generation/imprint projection.

This deliberately carries no successful signature/trust verdict. Callers inspect and verify the token independently; only the complete timestamp checker may turn positive checks into evidence. Every retained allocation holds its charge after parser/token drop; no infallible deep Clone exists.

Implementations

impl RetainedFacts

pub fn try_copy_in<W: Work>(&self, work: &W) -> Result<Self>

Copies declared facts into independently charged current storage. Moving the owner needs no copy; a genuine deep copy admits new work and capacity before execution. Partial refusal leaves this source unchanged.

pub fn imprint(&self) -> &RetainedImprint

Declared complete imprint, requiring selected-provider resolution to use.

pub fn policy(&self) -> Oid<'_>

Original policy arcs; no product policy acceptance is implied.

pub fn serial(&self) -> &[u8]

Original serial INTEGER contents, never a narrowing numeric conversion.

pub fn nonce(&self) -> Option<&[u8]>

Original nonce INTEGER contents when one was written.

pub fn gen_time(&self) -> Reading

Original common UTC reading, not a fabricated exact instant.

pub fn compare_generation<W: Work>( &self, other: &Self, utc: &LeapTable<'_>, work: &W, ) -> Result<Ordering, GenerationOrderError>

Exact generation-time order, retaining arbitrary subnanosecond digits. This compares authenticated facts only when called on actual evidence; a same-TSA ordering assertion or accuracy rule is a separate precondition. Both UTC labels and complete comparison work are admitted before lookup.

pub fn accuracy(&self) -> Option<Accuracy>

Complete Accuracy absence remains distinct from a present zero value.

pub fn ordering(&self) -> bool

Original ordering assertion, which does not establish chronology itself.

pub fn source_span(&self) -> Span

Range in the original callback reader’s coordinates. When logical, keep its supplied SourceMap separately; this is not a physical document span.

Trait Implementations

impl Debug for RetainedFacts

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

Formats the value using the given formatter.