Struct Checkpoint 

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

A checkpoint’s lazy observation. No tree walk occurs unless requested.

Implementations

impl Checkpoint<'_>

pub fn phase_id(&self) -> NodeId

Stable identity of the checking phase.

pub fn phase_name(&self) -> &str

Human-readable label; IDs disambiguate duplicate names.

pub fn summary(&self) -> Summary

Allocation-free whole-job observation. Walks the tree.

pub fn try_summary(&self) -> Option<Summary>

Whole-job observation without waiting for a metadata lock.

pub fn snapshot(&self) -> Snapshot

Copy the whole tree, allocating names and children.

pub fn try_snapshot(&self) -> Option<Snapshot>

Copy the tree only if metadata is immediately available.