Struct CheckTime 

pub struct CheckTime<'a, 'document> {
    pub utc: &'a LeapTable<'document>,
    pub reference: Option<Instant>,
}

Explicit UTC facts and optional caller-established comparison instant. No clock or tolerance is discovered implicitly. Without a usable reference the common TSP result keeps Unverified timeliness and cannot issue evidence; archived signature/math facts remain available independently in the report.

Fields

utc: &'a LeapTable<'document>

Qualified correction table covering every temporal comparison.

reference: Option<Instant>

Actual caller-supplied reference, never derived from the token itself.