usesuper::EvidencePathBindings;/// Prefix depth advances along the shortest-context DAG; position advances
/// along declared steps. Their sum strictly increases on every predecessor.
#[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord)]pub(super)structEvidencePathState{pubrole:usize,
pubposition:u32,
pubnode: String,
pubbindings: EvidencePathBindings,
pubcontext_hops:u32,
}